:root {
    --bg-primary: #050508;
    --bg-secondary: #0c0c12;
    --bg-tertiary: #14141e;
    --text-primary: #f0f0f5;
    --text-secondary: #8a8a9a;
    --text-muted: #5a5a6a;
    --accent: #6bb3ff;
    --accent-glow: rgba(107, 179, 255, 0.15);
    --accent-dim: #4a93dd;
    --border: #1e1e2a;
    --formula-bg: #08080e;
    --gradient-start: #6bb3ff;
    --gradient-end: #a78bfa;
}

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

html {
    scroll-behavior: smooth;
}

body {
    font-family: 'Inter', -apple-system, BlinkMacSystemFont, sans-serif;
    background: var(--bg-primary);
    color: var(--text-primary);
    line-height: 1.7;
    font-size: 16px;
}

header {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    background: rgba(5, 5, 8, 0.95);
    backdrop-filter: blur(12px);
    border-bottom: 1px solid var(--border);
    z-index: 100;
    padding: 1.2rem 3rem;
    display: flex;
    align-items: center;
    justify-content: space-between;
    max-width: 100%;
}

.wordmark {
    font-family: 'Inter', sans-serif;
    font-weight: 600;
    font-size: 1.05rem;
    letter-spacing: 0.3em;
    color: var(--text-primary);
}

nav {
    display: flex;
    gap: 2.2rem;
}

.nav-link {
    color: var(--text-secondary);
    text-decoration: none;
    font-size: 0.9rem;
    font-weight: 500;
    transition: color 0.2s;
}

.nav-link:hover {
    color: var(--accent);
}

main {
    max-width: 900px;
    margin: 0 auto;
    padding: 6rem 2rem 4rem;
}

section {
    margin-bottom: 5rem;
}

#hero {
    text-align: center;
    padding: 4rem 0 3rem;
    border-bottom: 1px solid var(--border);
    margin-bottom: 4rem;
}

h1 {
    font-size: 2.5rem;
    font-weight: 700;
    margin-bottom: 1rem;
    letter-spacing: -0.02em;
}

.subtitle {
    color: var(--text-secondary);
    font-size: 1.1rem;
}

h2 {
    font-size: 1.5rem;
    font-weight: 600;
    margin-bottom: 1.5rem;
    color: var(--text-primary);
    border-bottom: 1px solid var(--border);
    padding-bottom: 0.5rem;
}

h3 {
    font-size: 1.1rem;
    font-weight: 600;
    margin-bottom: 1rem;
    color: var(--text-primary);
}

.formula-box {
    background: var(--formula-bg);
    border: 1px solid var(--border);
    border-radius: 8px;
    padding: 2rem;
    margin: 1.5rem 0;
    text-align: center;
}

.formula-box.small {
    padding: 1rem 1.5rem;
    display: inline-block;
    margin: 1rem 0;
}

.main-formula {
    font-family: 'JetBrains Mono', monospace;
    font-size: 2rem;
    font-weight: 500;
    color: var(--accent);
    letter-spacing: 0.05em;
}

.formula {
    font-family: 'JetBrains Mono', monospace;
    font-size: 1.2rem;
    color: var(--accent);
}

.definition-table {
    width: 100%;
    border-collapse: collapse;
    margin: 1.5rem 0;
}

.definition-table th,
.definition-table td {
    padding: 1rem;
    text-align: left;
    border-bottom: 1px solid var(--border);
}

.definition-table th {
    font-weight: 600;
    color: var(--text-secondary);
    font-size: 0.85rem;
    text-transform: uppercase;
    letter-spacing: 0.05em;
}

.definition-table .symbol {
    font-family: 'JetBrains Mono', monospace;
    color: var(--accent);
    font-size: 1rem;
}

.interpretation {
    background: var(--bg-secondary);
    border-radius: 8px;
    padding: 1.5rem 2rem;
    margin-top: 2rem;
}

.interpretation ul {
    list-style: none;
}

.interpretation li {
    margin: 0.75rem 0;
    color: var(--text-secondary);
}

.interpretation strong {
    color: var(--text-primary);
    font-family: 'JetBrains Mono', monospace;
}

.derivation-block {
    background: var(--bg-secondary);
    border-radius: 8px;
    padding: 2rem;
    margin: 1.5rem 0;
}

.derivation-block p {
    color: var(--text-secondary);
    margin: 1rem 0;
}

.forms-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
    gap: 1.5rem;
    margin-top: 1.5rem;
}

.form-card {
    background: var(--bg-secondary);
    border: 1px solid var(--border);
    border-radius: 8px;
    padding: 1.5rem;
}

.form-card ul {
    margin-top: 1rem;
    padding-left: 1.5rem;
    color: var(--text-muted);
    font-size: 0.9rem;
}

.form-card li {
    margin: 0.5rem 0;
}

.application-card {
    background: var(--bg-secondary);
    border: 1px solid var(--border);
    border-radius: 8px;
    padding: 2rem;
    margin: 1.5rem 0;
}

.application-table {
    width: 100%;
    margin: 1rem 0;
}

.application-table td {
    padding: 0.75rem 1rem;
    border-bottom: 1px solid var(--border);
}

.application-table td:first-child {
    font-family: 'JetBrains Mono', monospace;
    color: var(--accent);
    width: 80px;
}

.example {
    background: var(--bg-tertiary);
    border-radius: 6px;
    padding: 1rem 1.5rem;
    margin-top: 1rem;
    font-size: 0.95rem;
    color: var(--text-secondary);
}

.state-mapping {
    margin-top: 1rem;
}

.state-mapping ul {
    padding-left: 1.5rem;
    margin-top: 0.5rem;
}

.state-mapping li {
    margin: 0.5rem 0;
    color: var(--text-secondary);
}

.properties-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(250px, 1fr));
    gap: 1.5rem;
}

.property {
    background: var(--bg-secondary);
    border-radius: 8px;
    padding: 1.5rem;
}

.property p {
    color: var(--text-secondary);
    font-size: 0.95rem;
    margin-top: 0.5rem;
}

.related-block {
    background: var(--bg-secondary);
    border-radius: 8px;
    padding: 2rem;
}

.related-block p {
    color: var(--text-secondary);
    margin-top: 1rem;
}

#contact {
    text-align: center;
    padding: 3rem;
    background: var(--bg-secondary);
    border-radius: 8px;
}

.contact-email a {
    color: var(--accent);
    text-decoration: none;
}

.contact-email a:hover {
    text-decoration: underline;
}

.copyright {
    font-size: 0.85rem;
    color: var(--text-muted);
    margin-top: 0.5rem;
}

.contact-name {
    font-size: 1.2rem;
    font-weight: 500;
    margin-top: 1rem;
}

footer {
    text-align: center;
    padding: 2rem;
    border-top: 1px solid var(--border);
    color: var(--text-muted);
    font-size: 0.9rem;
}

.timeline {
    position: relative;
    padding-left: 2rem;
    border-left: 2px solid var(--border);
}

.timeline-item {
    position: relative;
    padding-bottom: 2rem;
    padding-left: 1.5rem;
}

.timeline-item::before {
    content: '';
    position: absolute;
    left: -2.45rem;
    top: 0.25rem;
    width: 12px;
    height: 12px;
    background: var(--accent);
    border-radius: 50%;
    border: 2px solid var(--bg-primary);
}

.timeline-date {
    font-family: 'JetBrains Mono', monospace;
    color: var(--accent);
    font-size: 0.9rem;
    font-weight: 500;
    margin-bottom: 0.5rem;
}

.timeline-content {
    background: var(--bg-secondary);
    border-radius: 8px;
    padding: 1.5rem;
    border: 1px solid var(--border);
}

.timeline-content h3 {
    margin-bottom: 0.5rem;
}

.timeline-content p {
    color: var(--text-secondary);
    font-size: 0.95rem;
    margin: 0;
}

.section-intro {
    color: var(--text-secondary);
    font-size: 1.05rem;
    margin-bottom: 2rem;
}

.implications-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
    gap: 1.5rem;
}

.implication-card {
    background: var(--bg-secondary);
    border: 1px solid var(--border);
    border-radius: 8px;
    padding: 1.5rem;
}

.implication-card h3 {
    color: var(--text-primary);
    margin-bottom: 0.75rem;
    font-size: 1rem;
}

.implication-card p {
    color: var(--text-secondary);
    font-size: 0.9rem;
    line-height: 1.6;
    margin: 0;
}

.implications-note {
    margin-top: 2rem;
    padding: 1.5rem;
    background: var(--bg-tertiary);
    border-radius: 8px;
    border-left: 3px solid var(--accent);
}

.implications-note p {
    color: var(--text-secondary);
    font-size: 0.95rem;
    margin: 0;
}

.references-list {
    display: flex;
    flex-direction: column;
    gap: 1rem;
}

.reference {
    display: flex;
    gap: 1rem;
    padding: 1rem 1.5rem;
    background: var(--bg-secondary);
    border-radius: 8px;
    border: 1px solid var(--border);
}

.ref-number {
    font-family: 'JetBrains Mono', monospace;
    color: var(--accent);
    font-weight: 500;
    min-width: 30px;
}

.ref-text {
    color: var(--text-secondary);
    font-size: 0.95rem;
    line-height: 1.6;
}

.ref-text em {
    color: var(--text-primary);
}

.references-note {
    margin-top: 2rem;
    padding: 1.5rem;
    background: var(--bg-tertiary);
    border-radius: 8px;
    border-left: 3px solid var(--accent);
}

.references-note p {
    color: var(--text-secondary);
    font-size: 0.95rem;
    margin: 0;
}

@media (max-width: 768px) {
    header {
        flex-direction: column;
        padding: 1rem 1.5rem;
        gap: 0.8rem;
    }
    
    .wordmark {
        font-size: 0.95rem;
        letter-spacing: 0.25em;
    }
    
    nav {
        display: none;
    }
    
    h1 {
        font-size: 1.6rem;
    }
    
    .subtitle {
        font-size: 0.95rem;
    }
    
    .main-formula {
        font-size: 1.3rem;
    }
    
    .formula {
        font-size: 0.95rem;
    }
    
    main {
        padding: 5rem 1.2rem 3rem;
    }
    
    .definition-table {
        font-size: 0.85rem;
    }
    
    .definition-table th,
    .definition-table td {
        padding: 0.6rem 0.4rem;
    }
    
    section {
        margin-bottom: 3rem;
    }
    
    h2 {
        font-size: 1.3rem;
    }
}