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

:root {
    --deep-navy: #0a1628;
    --dark-navy: #0c1a30;
    --navy: #0f2240;
    --mid-navy: #142d54;
    --accent-blue: #2a5494;
    --steel: #8a9bb5;
    --light-steel: #c0cfe0;
    --pale: #e8eef5;
}

html {
    scroll-behavior: smooth;
}

body {
    background-color: var(--deep-navy);
    color: var(--light-steel);
    font-family: 'Nunito Sans', sans-serif;
    font-weight: 400;
    overflow-x: hidden;
}

.progress-bar {
    position: fixed;
    top: 0;
    left: 0;
    height: 2px;
    width: 0%;
    background: linear-gradient(90deg, var(--accent-blue), var(--steel));
    z-index: 1000;
    transition: width 0.1s linear;
}

.section {
    position: relative;
    width: 100%;
    min-height: 100vh;
    display: flex;
    align-items: center;
    justify-content: center;
    overflow: hidden;
}

.section-content {
    position: relative;
    z-index: 2;
    text-align: center;
    padding: 2rem;
}

.section-label {
    font-family: 'IBM Plex Mono', monospace;
    font-size: 0.75rem;
    letter-spacing: 0.2em;
    text-transform: uppercase;
    color: var(--steel);
    display: block;
    margin-bottom: 2rem;
    opacity: 0;
    transform: translateY(20px);
    transition: opacity 0.8s ease, transform 0.8s ease;
}

.section.visible .section-label {
    opacity: 1;
    transform: translateY(0);
}

.section-curves {
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    z-index: 1;
    pointer-events: none;
}

.curve {
    fill: none;
    stroke: var(--accent-blue);
    stroke-width: 1;
    opacity: 0.3;
    stroke-dasharray: 2000;
    stroke-dashoffset: 2000;
    transition: stroke-dashoffset 2s ease;
}

.section.visible .curve {
    stroke-dashoffset: 0;
}

/* Section 1 - Axiom */
.section-axiom {
    background: linear-gradient(180deg, var(--dark-navy) 0%, var(--navy) 100%);
}

.axiom-statement {
    font-family: 'Jost', sans-serif;
    font-weight: 500;
    font-size: clamp(2.5rem, 8vw, 7rem);
    letter-spacing: 0.06em;
    color: var(--pale);
    line-height: 1.1;
    opacity: 0;
    transform: translateY(40px);
    transition: opacity 1.2s ease 0.3s, transform 1.2s ease 0.3s;
}

.section-axiom.visible .axiom-statement {
    opacity: 1;
    transform: translateY(0);
}

.axiom-symbol {
    font-family: 'Jost', sans-serif;
    font-size: 15rem;
    position: absolute;
    bottom: 5%;
    right: 8%;
    color: var(--mid-navy);
    opacity: 0.15;
    z-index: 1;
}

/* Section 2 - Premise */
.section-premise {
    background: linear-gradient(180deg, var(--navy) 0%, var(--mid-navy) 100%);
}

.premise-statement {
    font-family: 'Jost', sans-serif;
    font-weight: 300;
    font-size: clamp(1.5rem, 4vw, 3rem);
    letter-spacing: 0.04em;
    color: var(--light-steel);
    line-height: 1.4;
    opacity: 0;
    transform: translateY(30px);
    transition: opacity 1s ease 0.3s, transform 1s ease 0.3s;
}

.section-premise.visible .premise-statement {
    opacity: 1;
    transform: translateY(0);
}

.premise-lines {
    margin-top: 3rem;
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 0.75rem;
}

.premise-line {
    height: 1px;
    background: var(--steel);
    opacity: 0;
    transition: opacity 0.8s ease, width 1.2s ease;
    width: 0;
}

.section-premise.visible .premise-line {
    opacity: 0.4;
    width: 200px;
}

.section-premise.visible .premise-line:nth-child(2) {
    width: 160px;
    transition-delay: 0.2s;
}

.section-premise.visible .premise-line:nth-child(3) {
    width: 120px;
    transition-delay: 0.4s;
}

/* Section 3 - Inference */
.section-inference {
    background: var(--mid-navy);
}

.inference-statement {
    font-family: 'Jost', sans-serif;
    font-weight: 500;
    font-size: clamp(2rem, 6vw, 5rem);
    color: var(--pale);
    letter-spacing: 0.06em;
    opacity: 0;
    transition: opacity 1s ease 0.4s;
}

.section-inference.visible .inference-statement {
    opacity: 1;
}

.inference-body {
    font-family: 'Nunito Sans', sans-serif;
    font-size: clamp(1rem, 2vw, 1.4rem);
    color: var(--steel);
    margin-top: 1.5rem;
    line-height: 1.8;
    opacity: 0;
    transform: translateY(20px);
    transition: opacity 1s ease 0.8s, transform 1s ease 0.8s;
}

.section-inference.visible .inference-body {
    opacity: 1;
    transform: translateY(0);
}

.inference-symbol {
    font-size: 4rem;
    color: var(--accent-blue);
    margin-top: 2rem;
    opacity: 0;
    transition: opacity 1s ease 1.2s;
}

.section-inference.visible .inference-symbol {
    opacity: 0.7;
}

.curve-converge-1,
.curve-converge-2,
.curve-converge-3,
.curve-converge-4 {
    stroke: var(--steel);
    opacity: 0.2;
}

/* Section 4 - Theorem */
.section-theorem {
    background: linear-gradient(180deg, var(--mid-navy) 0%, var(--dark-navy) 100%);
}

.theorem-statement {
    font-family: 'Jost', sans-serif;
    font-weight: 500;
    font-size: clamp(3rem, 10vw, 9rem);
    letter-spacing: 0.06em;
    color: var(--pale);
    line-height: 1.05;
    opacity: 0;
    transform: scale(0.95);
    transition: opacity 1.5s ease 0.3s, transform 1.5s ease 0.3s;
}

.section-theorem.visible .theorem-statement {
    opacity: 1;
    transform: scale(1);
}

.theorem-qed {
    margin-top: 3rem;
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 4px;
}

.qed-line {
    height: 2px;
    width: 0;
    background: var(--accent-blue);
    transition: width 1s ease 1s;
}

.section-theorem.visible .qed-line {
    width: 60px;
}

/* Section 5 - Corollary */
.section-corollary {
    background: var(--deep-navy);
}

.corollary-statement {
    font-family: 'Jost', sans-serif;
    font-weight: 300;
    font-size: clamp(1.2rem, 3vw, 2.2rem);
    color: var(--steel);
    line-height: 1.6;
    letter-spacing: 0.04em;
    opacity: 0;
    transition: opacity 1s ease 0.3s;
}

.section-corollary.visible .corollary-statement {
    opacity: 1;
}

.corollary-grid {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    gap: 2rem;
    margin-top: 3rem;
    width: 120px;
    margin-left: auto;
    margin-right: auto;
}

.grid-node {
    width: 8px;
    height: 8px;
    border-radius: 50%;
    background: var(--accent-blue);
    opacity: 0;
    transition: opacity 0.5s ease;
}

.section-corollary.visible .grid-node {
    opacity: 0.6;
}

.section-corollary.visible .grid-node:nth-child(1) { transition-delay: 0.1s; }
.section-corollary.visible .grid-node:nth-child(2) { transition-delay: 0.2s; }
.section-corollary.visible .grid-node:nth-child(3) { transition-delay: 0.3s; }
.section-corollary.visible .grid-node:nth-child(4) { transition-delay: 0.4s; }
.section-corollary.visible .grid-node:nth-child(5) { transition-delay: 0.5s; }
.section-corollary.visible .grid-node:nth-child(6) { transition-delay: 0.6s; }
.section-corollary.visible .grid-node:nth-child(7) { transition-delay: 0.7s; }
.section-corollary.visible .grid-node:nth-child(8) { transition-delay: 0.8s; }
.section-corollary.visible .grid-node:nth-child(9) { transition-delay: 0.9s; }

.domain-name {
    font-family: 'IBM Plex Mono', monospace;
    font-size: 0.8rem;
    letter-spacing: 0.3em;
    color: var(--steel);
    opacity: 0.4;
    margin-top: 4rem;
}