style.css

:root {
    --primary-color: #2563eb;
    --secondary-color: #0ea5e9;
    --success-color: #10b981;
    --warning-color: #f59e0b;
    --error-color: #ef4444;
    --bg-color: #f8fafc;
    --card-bg: #ffffff;
    --text-primary: #1e293b;
    --text-secondary: #64748b;
    --border-color: #e2e8f0;
    --shadow: 0 1px 3px rgba(0, 0, 0, 0.1);
    --shadow-lg: 0 4px 6px rgba(0, 0, 0, 0.1);
}

* {
    margin: 0;
    padding: 0;
    box-sizing: border-box;
}

body {
    font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, 'Helvetica Neue', Arial, sans-serif;
    background-color: var(--bg-color);
    color: var(--text-primary);
    line-height: 1.6;
}

header {
    background: linear-gradient(135deg, var(--primary-color), var(--secondary-color));
    color: white;
    padding: 2rem;
    text-align: center;
    box-shadow: var(--shadow-lg);
}

header h1 {
    font-size: 2.5rem;
    margin-bottom: 0.5rem;
}

header p {
    font-size: 1.1rem;
    opacity: 0.9;
}

.attribution {
    margin-top: 1rem;
    font-size: 0.9rem;
}

.attribution a {
    color: white;
    text-decoration: underline;
    font-weight: 500;
}

main {
    max-width: 1200px;
    margin: 2rem auto;
    padding: 0 1rem;
}

section {
    background: var(--card-bg);
    padding: 1.5rem;
    margin-bottom: 1.5rem;
    border-radius: 12px;
    box-shadow: var(--shadow);
}

h2 {
    color: var(--text-primary);
    margin-bottom: 1rem;
    font-size: 1.5rem;
}

.model-status {
    background: linear-gradient(135deg, #f0f9ff, #e0f2fe);
}

.status-container {
    display: flex;
    flex-direction: column;
    gap: 0.5rem;
}

.status-item {
    display: flex;
    justify-content: space-between;
    align-items: center;
    padding: 0.5rem;
    background: white;
    border-radius: 6px;
}

.status {
    font-weight: 600;
    padding: 0.25rem 0.75rem;
    border-radius: 20px;
    font-size: 0.9rem;
}

.status.pending {
    background: #fef3c7;
    color: #92400e;
}

.status.ready {
    background: #d1fae5;
    color: #065f46;
}

.progress-container {
    margin-top: 1rem;
    background: var(--border-color);
    border-radius: 8px;
    height: 24px;
    position: relative;
    overflow: hidden;
}

.progress-bar {
    height: 100%;
    background: linear-gradient(90deg, var(--primary-color), var(--secondary-color));
    width: 0%;
    transition: width 0.3s ease;
}

#progressText {
    position: absolute;
    top: 50%;
    left: 50%;
    transform: translate(-50%, -50%);
    font-size: 0.8rem;
    font-weight: 600;
    color: var(--text-primary);
}

.hidden {
    display: none !important;
}

.upload-area {
    border: 2px dashed var(--border-color);
    border-radius: 8px;
    padding: 2rem;
    text-align: center;
    transition: all 0.3s ease;
    cursor: pointer;
}

.upload-area:hover, .upload-area.dragover {
    border-color: var(--primary-color);
    background: #f0f9ff;
}

.upload-label {
    display: flex;
    flex-direction: column;
    gap: 0.5rem;
    cursor: pointer;
}

.upload-label span {
    font-size: 1.1rem;
    font-weight: 500;
}

.upload-label small {
    color: var(--text-secondary);
}

#fileInput {
    display: none;
}

.content-grid {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 1.5rem;
}

.panel {
    max-height: 500px;
    overflow-y: auto;
}

.document-list, .axiom-list {
    display: flex;
    flex-direction: column;
    gap: 1rem;
}

.document-item, .axiom-item {
    background: #f8fafc;
    padding: 1rem;
    border-radius: 8px;
    border-left: 4px solid var(--primary-color);
}

.doc-header, .axiom-header {
    display: flex;
    justify-content: space-between;
    align-items: center;
    margin-bottom: 0.5rem;
}

.remove-btn {
    background: var(--error-color);
    color: white;
    border: none;
    padding: 0.25rem 0.75rem;
    border-radius: 4px;
    cursor: pointer;
    font-size: 0.8rem;
}

.remove-btn:hover {
    opacity: 0.9;
}

.doc-info {
    display: flex;
    gap: 1rem;
    font-size: 0.9rem;
    color: var(--text-secondary);
    margin-bottom: 0.5rem;
}

.doc-preview, .axiom-text {
    font-size: 0.9rem;
    color: var(--text-secondary);
    line-height: 1.5;
}

.generation-controls {
    display: flex;
    flex-direction: column;
    gap: 1rem;
}

#queryInput {
    padding: 1rem;
    border: 2px solid var(--border-color);
    border-radius: 8px;
    font-size: 1rem;
    resize: vertical;
    font-family: inherit;
}

#queryInput:focus {
    outline: none;
    border-color: var(--primary-color);
}

.generation-options {
    display: flex;
    gap: 1.5rem;
    flex-wrap: wrap;
}

.generation-options label {
    display: flex;
    align-items: center;
    gap: 0.5rem;
    cursor: pointer;
}

#generateBtn {
    background: var(--primary-color);
    color: white;
    border: none;
    padding: 0.75rem 2rem;
    border-radius: 8px;
    font-size: 1rem;
    font-weight: 600;
    cursor: pointer;
    transition: all 0.3s ease;
}

#generateBtn:hover:not(:disabled) {
    background: var(--secondary-color);
    transform: translateY(-2px);
    box-shadow: var(--shadow-lg);
}

#generateBtn:disabled {
    opacity: 0.5;
    cursor: not-allowed;
}

.result-container {
    margin-top: 1.5rem;
    padding: 1.5rem;
    background: #f0f9ff;
    border-radius: 8px;
    border: 1px solid #bae6fd;
}

.response-text {
    background: white;
    padding: 1rem;
    border-radius: 6px;
    margin-top: 0.5rem;
    white-space: pre-wrap;
    line-height: 1.6;
}

.context-info {
    margin-top: 1rem;
}

.context-info summary {
    cursor: pointer;
    font-weight: 600;
    color: var(--primary-color);
}

.context-item {
    background: white;
    padding: 0.75rem;
    margin: 0.5rem 0;
    border-radius: 6px;
    border-left: 3px solid var(--secondary-color);
}

.context-header {
    display: flex;
    justify-content: space-between;
    margin-bottom: 0.5rem;
    font-size: 0.9rem;
}

.similarity {
    color: var(--success-color);
    font-weight: 600;
}

.context-text {
    font-size: 0.85rem;
    color: var(--text-secondary);
}

.actions {
    display: flex;
    gap: 1rem;
    justify-content: center;
}

button {
    padding: 0.75rem 1.5rem;
    border: none;
    border-radius: 8px;
    font-size: 1rem;
    cursor: pointer;
    transition: all 0.3s ease;
}

.danger {
    background: var(--error-color);
    color: white;
}

button:not(.danger) {
    background: var(--success-color);
    color: white;
}

button:hover {
    opacity: 0.9;
    transform: translateY(-1px);
}

.empty-state {
    text-align: center;
    color: var(--text-secondary);
    font-style: italic;
    padding: 2rem;
}

.notification {
    position: fixed;
    top: 1rem;
    right: 1rem;
    padding: 1rem 1.5rem;
    border-radius: 8px;
    color: white;
    font-weight: 600;
    box-shadow: var(--shadow-lg);
    transform: translateX(400px);
    transition: transform 0.3s ease;
    z-index: 1000;
}

.notification.show {
    transform: translateX(0);
}

.notification.success {
    background: var(--success-color);
}

.notification.error {
    background: var(--error-color);
}

.notification.warning {
    background: var(--warning-color);
}

.notification.info {
    background: var(--primary-color);
}

.loading {
    color: var(--primary-color);
    font-weight: 600;
}

.loading::after {
    content: '...';
    animation: dots 1.5s infinite;
}

@keyframes dots {
    0%, 20% { content: '.'; }
    40% { content: '..'; }
    60%, 100% { content: '...'; }
}

@media (max-width: 768px) {
    .content-grid {
        grid-template-columns: 1fr;
    }
    
    header h1 {
        font-size: 2rem;
    }
    
    .generation-options {
        flex-direction: column;
        gap: 0.5rem;
    }
}