/* === RESET & BASE === */
*, *::before, *::after {
    margin: 0;
    padding: 0;
    box-sizing: border-box;
}

:root {
    --cream: #f7f0e8;
    --cream-dark: #ede3d5;
    --burgundy-deep: #4a1520;
    --burgundy: #6b1d2a;
    --burgundy-mid: #8b4f5e;
    --rose: #d4a0aa;
    --gold: #c4a27a;
    --near-black: #3a2024;
    --font-display: 'Cormorant Garamond', Georgia, serif;
    --font-body: 'Inter', -apple-system, sans-serif;
    --font-mono: 'Space Mono', monospace;
    --font-grotesk: 'Space Grotesk', sans-serif;
    --font-code: 'Fira Code', monospace;
    --black: #000;
    --white: #fff;
}

html {
    scroll-behavior: smooth;
}

body {
    background-color: var(--cream);
    color: var(--near-black);
    font-family: var(--font-grotesk);
    font-weight: 400;
    line-height: 1.7;
    overflow-x: hidden;
}

/* === SECTION LAYOUT === */
.section {
    position: relative;
    padding: 6rem 2rem;
}

.section--full {
    min-height: 100vh;
    display: flex;
    align-items: center;
    justify-content: center;
    flex-direction: column;
}

.section--narrow {
    max-width: 680px;
    margin: 0 auto;
    padding: 5rem 2rem;
}

.section--wide {
    max-width: 1000px;
    margin: 0 auto;
    padding: 5rem 2rem;
}

.section__label {
    display: block;
    font-family: var(--font-mono);
    font-size: 0.75rem;
    letter-spacing: 0.15em;
    text-transform: uppercase;
    color: var(--burgundy-mid);
    margin-bottom: 1.5rem;
}

.section__heading {
    font-family: var(--font-display);
    font-weight: 700;
    font-style: italic;
    font-size: clamp(2.5rem, 6vw, 5rem);
    line-height: 1.1;
    letter-spacing: -0.02em;
    color: var(--burgundy-deep);
    margin-bottom: 2rem;
}

.section__body {
    font-size: 1.05rem;
    line-height: 1.8;
    color: var(--near-black);
    max-width: 600px;
}

.section__body--centered {
    text-align: center;
    margin: 2rem auto 0;
}

/* === OPENING PROPOSITION === */
#opening {
    background-color: var(--cream);
    overflow: hidden;
}

.opening__bg {
    position: absolute;
    inset: 0;
    z-index: 0;
}

.crystal-bg {
    width: 100%;
    height: 100%;
}

.opening__content {
    position: relative;
    z-index: 1;
    text-align: center;
}

.opening__symbol {
    font-family: var(--font-display);
    font-size: 4rem;
    color: var(--gold);
    margin-bottom: 1rem;
    opacity: 0;
    animation: fadeInDown 1s ease 0.3s forwards;
}

.opening__title {
    font-family: var(--font-display);
    font-weight: 700;
    font-style: italic;
    font-size: clamp(4rem, 12vw, 10rem);
    letter-spacing: -0.03em;
    color: var(--burgundy-deep);
    line-height: 1;
    opacity: 0;
    animation: fadeInUp 1s ease 0.6s forwards;
}

.opening__dot {
    color: var(--gold);
}

.opening__subtitle {
    font-family: var(--font-mono);
    font-size: clamp(0.8rem, 1.5vw, 1rem);
    letter-spacing: 0.2em;
    text-transform: uppercase;
    color: var(--burgundy-mid);
    margin-top: 1.5rem;
    opacity: 0;
    animation: fadeIn 1s ease 1s forwards;
}

.opening__scroll-hint {
    margin-top: 4rem;
    opacity: 0;
    animation: fadeIn 1s ease 1.5s forwards;
}

.scroll-arrow {
    font-size: 1.5rem;
    color: var(--gold);
    animation: bob 2s ease-in-out infinite;
}

@keyframes fadeInDown {
    from { opacity: 0; transform: translateY(-20px); }
    to { opacity: 1; transform: translateY(0); }
}

@keyframes fadeInUp {
    from { opacity: 0; transform: translateY(20px); }
    to { opacity: 1; transform: translateY(0); }
}

@keyframes fadeIn {
    from { opacity: 0; }
    to { opacity: 1; }
}

@keyframes bob {
    0%, 100% { transform: translateY(0); }
    50% { transform: translateY(8px); }
}

/* === DIVIDERS === */
.divider {
    display: flex;
    justify-content: center;
    padding: 2rem 0;
}

.divider__svg {
    width: min(80%, 600px);
    height: 60px;
}

/* === LOGIC SYMBOLS FLOAT === */
.logic-symbols {
    display: flex;
    justify-content: center;
    gap: 2rem;
    margin-top: 3rem;
    flex-wrap: wrap;
}

.logic-symbol {
    font-family: var(--font-display);
    font-size: 2.5rem;
    color: var(--burgundy);
    opacity: 0;
    transform: translateY(10px);
    transition: opacity 0.6s ease, transform 0.6s ease, color 0.3s ease;
}

.logic-symbol.visible {
    opacity: 1;
    transform: translateY(0);
}

.logic-symbol:hover {
    color: var(--gold);
    transform: translateY(-4px) scale(1.1);
}

/* === TRUTH TABLE === */
.truth-table-container {
    overflow-x: auto;
    margin-top: 2rem;
}

.truth-table {
    width: 100%;
    border-collapse: collapse;
    font-family: var(--font-mono);
    font-size: 0.9rem;
}

.truth-table th {
    font-family: var(--font-display);
    font-weight: 700;
    font-style: italic;
    font-size: 1.2rem;
    color: var(--burgundy-deep);
    padding: 1rem 1.5rem;
    border-bottom: 2px solid var(--gold);
    text-align: center;
}

.truth-table td {
    padding: 0.85rem 1.5rem;
    text-align: center;
    border-bottom: 1px solid var(--cream-dark);
    transition: background-color 0.3s ease;
}

.truth-table tr:hover td {
    background-color: var(--cream-dark);
}

.val-t {
    color: var(--burgundy);
    font-weight: 700;
}

.val-f {
    color: var(--burgundy-mid);
    font-weight: 400;
}

/* === SYLLOGISM CARDS === */
.syllogism-cards {
    display: grid;
    grid-template-columns: 1fr;
    gap: 2.5rem;
    margin-top: 2rem;
}

.syllogism-card {
    position: relative;
    background: var(--cream);
    border: 1px solid var(--cream-dark);
    padding: 2.5rem 2rem;
    transition: transform 0.4s ease, box-shadow 0.4s ease;
    opacity: 0;
    transform: translateY(20px);
}

.syllogism-card.visible {
    opacity: 1;
    transform: translateY(0);
}

.syllogism-card:hover {
    transform: translateY(-4px);
    box-shadow: 0 8px 30px rgba(74, 21, 32, 0.08);
}

.syllogism-card__frame {
    position: absolute;
    inset: 0;
    pointer-events: none;
    overflow: hidden;
}

.card-crystal {
    width: 100%;
    height: 100%;
}

.syllogism-card__content {
    position: relative;
    z-index: 1;
}

.syllogism-card__premise {
    font-family: var(--font-display);
    font-size: 1.3rem;
    font-style: italic;
    color: var(--near-black);
    margin-bottom: 0.5rem;
}

.syllogism-card__conclusion {
    font-family: var(--font-display);
    font-size: 1.4rem;
    font-weight: 700;
    font-style: italic;
    color: var(--burgundy);
    margin-top: 1rem;
    padding-top: 1rem;
    border-top: 1px solid var(--gold);
}

.syllogism-card__label {
    display: block;
    margin-top: 1.5rem;
    font-family: var(--font-mono);
    font-size: 0.7rem;
    letter-spacing: 0.1em;
    color: var(--burgundy-mid);
    text-transform: uppercase;
}

/* === PARADOX GRID === */
.paradox-grid {
    display: grid;
    grid-template-columns: repeat(2, 1fr);
    gap: 2rem;
    margin-top: 2.5rem;
}

@media (max-width: 700px) {
    .paradox-grid {
        grid-template-columns: 1fr;
    }
}

.paradox-card {
    background: var(--cream-dark);
    padding: 2rem;
    position: relative;
    overflow: hidden;
    transition: transform 0.4s ease;
    opacity: 0;
    transform: translateY(15px);
}

.paradox-card.visible {
    opacity: 1;
    transform: translateY(0);
}

.paradox-card:hover {
    transform: translateY(-3px);
}

.paradox-card__number {
    font-family: var(--font-mono);
    font-size: 0.7rem;
    color: var(--gold);
    letter-spacing: 0.1em;
    margin-bottom: 0.75rem;
}

.paradox-card__title {
    font-family: var(--font-display);
    font-weight: 700;
    font-style: italic;
    font-size: 1.6rem;
    color: var(--burgundy-deep);
    margin-bottom: 0.75rem;
}

.paradox-card__text {
    font-size: 0.95rem;
    line-height: 1.7;
    color: var(--near-black);
}

.paradox-card__symbol {
    position: absolute;
    bottom: -10px;
    right: 10px;
    font-family: var(--font-display);
    font-size: 5rem;
    color: var(--gold);
    opacity: 0.12;
    pointer-events: none;
}

/* === PROOF BLOCK === */
.proof-block {
    background: var(--cream-dark);
    padding: 2.5rem 2rem;
    margin-top: 2rem;
    border-left: 3px solid var(--gold);
}

.proof-line {
    display: flex;
    align-items: baseline;
    gap: 1.5rem;
    padding: 0.6rem 0;
    opacity: 0;
    transform: translateX(-10px);
    transition: opacity 0.5s ease, transform 0.5s ease;
}

.proof-line.visible {
    opacity: 1;
    transform: translateX(0);
}

.proof-line__number {
    font-family: var(--font-mono);
    font-size: 0.8rem;
    color: var(--burgundy-mid);
    min-width: 2rem;
}

.proof-line__statement {
    font-family: var(--font-display);
    font-size: 1.5rem;
    font-style: italic;
    color: var(--near-black);
    flex: 1;
}

.proof-line__justification {
    font-family: var(--font-mono);
    font-size: 0.75rem;
    color: var(--burgundy-mid);
    letter-spacing: 0.05em;
}

.proof-line--conclusion {
    margin-top: 0.5rem;
    padding-top: 1rem;
    border-top: 1px solid var(--gold);
}

.proof-line--conclusion .proof-line__statement {
    color: var(--burgundy);
    font-weight: 700;
}

/* === VENN DIAGRAM === */
.venn-container {
    display: flex;
    justify-content: center;
    margin-top: 2rem;
}

.venn-svg {
    width: min(100%, 500px);
    height: auto;
}

.venn-circle {
    fill: none;
    stroke-width: 2;
    transition: stroke-width 0.3s ease;
}

.venn-circle--a {
    stroke: var(--burgundy);
}

.venn-circle--b {
    stroke: var(--burgundy-mid);
}

.venn-label {
    font-family: 'Cormorant Garamond', serif;
    font-size: 28px;
    font-style: italic;
    font-weight: 700;
    fill: var(--burgundy-deep);
    text-anchor: middle;
    dominant-baseline: central;
}

.venn-label--intersection {
    font-size: 18px;
    fill: var(--gold);
}

.venn-caption {
    font-family: 'Inter', sans-serif;
    font-size: 13px;
    fill: var(--burgundy-mid);
    text-anchor: middle;
}

/* === CLOSING === */
.section--closing {
    background-color: var(--burgundy-deep);
    color: var(--cream);
}

.closing__content {
    text-align: center;
}

.closing__qed {
    font-family: var(--font-mono);
    font-size: 0.8rem;
    letter-spacing: 0.3em;
    text-transform: uppercase;
    color: var(--gold);
    margin-bottom: 2rem;
}

.closing__title {
    font-family: var(--font-display);
    font-weight: 700;
    font-style: italic;
    font-size: clamp(2.5rem, 6vw, 5rem);
    color: var(--cream);
    letter-spacing: -0.02em;
    margin-bottom: 1.5rem;
}

.closing__text {
    font-size: 1.1rem;
    line-height: 1.8;
    color: var(--rose);
    max-width: 500px;
    margin: 0 auto;
}

.closing__symbol {
    font-size: 2rem;
    color: var(--gold);
    margin-top: 3rem;
}

/* === FOOTER === */
.footer {
    background-color: var(--near-black);
    padding: 2rem;
    text-align: center;
}

.footer__inner {
    display: flex;
    justify-content: center;
    align-items: center;
    gap: 1rem;
    flex-wrap: wrap;
}

.footer__domain {
    font-family: var(--font-display);
    font-weight: 700;
    font-style: italic;
    font-size: 1.1rem;
    color: var(--cream);
}

.footer__separator {
    color: var(--gold);
}

.footer__tagline {
    font-family: var(--font-code);
    font-size: 0.75rem;
    color: var(--burgundy-mid);
    letter-spacing: 0.05em;
}

/* Watermark notation symbols */
.section--wide::before {
    content: '∀∃→¬∧∨⊢≡';
    position: absolute;
    top: 50%;
    left: 50%;
    transform: translate(-50%, -50%);
    font-family: var(--font-code);
    font-size: clamp(15vw, 20vw, 30vw);
    opacity: 0.04;
    color: var(--burgundy);
    pointer-events: none;
    white-space: nowrap;
    letter-spacing: 0.05em;
}

/* === REVEAL ANIMATIONS === */
.reveal {
    opacity: 0;
    transform: translateY(20px);
    transition: opacity 0.7s ease, transform 0.7s ease;
}

.reveal.visible {
    opacity: 1;
    transform: translateY(0);
}