:root {
  /* Typography note: IBM Plex Mono appears as sparse mathematical notation rather than a dominant tech-mono style for proposition numbers. */
  --indigo: #151B35;
  --blue: #405E8C;
  --black: #171612;
  --plaster: #F4EFE3;
  --umber: #9B5B32;
  --gold: #C6A15B;
  --graphite: #B8B0A2;
  --fraunces: "Fraunces", serif;
  --literata: "Literata", serif;
  --commissioner: "Commissioner", sans-serif;
  --mono: "IBM Plex Mono", monospace;
}

* { box-sizing: border-box; }

html { scroll-behavior: smooth; }

body {
  margin: 0;
  background: var(--plaster);
  color: var(--black);
  font-family: var(--literata);
  overflow-x: hidden;
}

button { font: inherit; color: inherit; }

.plaster-field {
  position: fixed;
  inset: 0;
  z-index: -3;
  background:
    radial-gradient(circle at 15% 18%, rgba(198,161,91,.16), transparent 26%),
    radial-gradient(circle at 88% 40%, rgba(184,176,162,.22), transparent 32%),
    linear-gradient(105deg, rgba(255,255,255,.42), transparent 44%),
    var(--plaster);
}

.plaster-field::before {
  content: "";
  position: absolute;
  inset: 0;
  opacity: .34;
  background-image:
    linear-gradient(rgba(184,176,162,.22) 1px, transparent 1px),
    linear-gradient(90deg, rgba(184,176,162,.16) 1px, transparent 1px);
  background-size: 72px 72px, 72px 72px;
  mask-image: linear-gradient(to bottom, transparent, #000 18%, #000 72%, transparent);
}

.thesis-line {
  position: absolute;
  left: 0;
  top: 0;
  width: 100%;
  height: 500vh;
  z-index: 3;
  pointer-events: none;
  overflow: visible;
}

#thesisPath, #ghostPath {
  fill: none;
  stroke: var(--black);
  stroke-width: 3.2;
  stroke-linecap: round;
  stroke-linejoin: round;
  opacity: .72;
  stroke-dasharray: 1;
  stroke-dashoffset: 1;
}

#ghostPath { stroke: var(--blue); stroke-width: 1.4; opacity: .34; }

.constellation-lines line {
  stroke: var(--gold);
  stroke-width: 1.4;
  opacity: 0;
  transition: opacity 1.3s ease;
}

body.near-proof .constellation-lines line { opacity: .72; }

.room {
  position: relative;
  min-height: 100vh;
  padding: clamp(34px, 6vw, 92px);
  display: grid;
  overflow: hidden;
  isolation: isolate;
}

.room::after {
  content: attr(data-room);
  position: absolute;
  right: clamp(24px, 4vw, 70px);
  bottom: clamp(22px, 4vw, 60px);
  font-family: var(--mono);
  color: var(--graphite);
  letter-spacing: .18em;
  font-size: 12px;
}

.kicker, .room-threshold, .stair-label, .coordinate-mark, .margin-note, .marble-ledge span {
  font-family: var(--commissioner);
  text-transform: uppercase;
  letter-spacing: .16em;
  font-size: clamp(10px, .9vw, 13px);
}

h1, h2 { font-family: var(--fraunces); font-weight: 520; line-height: .96; margin: 0; }
h2 { font-size: clamp(48px, 7.4vw, 122px); letter-spacing: -.055em; }
p { font-size: clamp(18px, 1.55vw, 25px); line-height: 1.55; margin: 0; }

.antechamber {
  grid-template-columns: 1.05fr .95fr;
  align-items: end;
  background: linear-gradient(180deg, rgba(244,239,227,.2), rgba(244,239,227,.84));
}

.room-threshold { position: absolute; top: 44px; right: 9vw; color: var(--umber); }

.marble-ledge {
  position: relative;
  width: min(560px, 80vw);
  margin: 0 0 10vh 5vw;
  padding: 34px 42px 24px;
  border-bottom: 14px solid rgba(198,161,91,.36);
  background: linear-gradient(100deg, rgba(255,255,255,.5), rgba(184,176,162,.14));
  box-shadow: 0 22px 60px rgba(23,22,18,.10), inset 0 -1px 0 rgba(23,22,18,.16);
}

.marble-ledge h1 {
  font-size: clamp(50px, 8vw, 112px);
  letter-spacing: -.075em;
  color: rgba(23,22,18,.85);
  text-shadow: 0 1px 0 rgba(255,255,255,.75), 0 -1px 0 rgba(23,22,18,.14);
}

.quiet-statement {
  align-self: center;
  max-width: 430px;
  margin-left: auto;
  margin-right: 7vw;
  color: rgba(23,22,18,.72);
}

.premise-cloud .proposition,
.star {
  position: absolute;
  border: 1px solid rgba(184,176,162,.5);
  background: rgba(244,239,227,.5);
  padding: 8px 10px;
  font-family: var(--mono);
  font-size: 12px;
  color: var(--umber);
  cursor: crosshair;
  transition: transform .5s ease, border-color .5s ease, color .5s ease;
}

.premise-cloud .proposition:hover, .star:hover { transform: rotate(0deg) scale(1.08); border-color: var(--gold); color: var(--blue); }
.premise-cloud .proposition:nth-child(1) { top: 18vh; left: 10vw; transform: rotate(-7deg); }
.premise-cloud .proposition:nth-child(2) { top: 31vh; right: 12vw; transform: rotate(4deg); }
.premise-cloud .proposition:nth-child(3) { bottom: 18vh; right: 34vw; transform: rotate(-3deg); }
.margin-note.note-left { position: absolute; left: 28px; top: 46vh; writing-mode: vertical-rl; color: var(--graphite); }

.model-room {
  grid-template-columns: .85fr 1.15fr;
  gap: 6vw;
  align-items: center;
  background: linear-gradient(180deg, rgba(244,239,227,.82), rgba(64,94,140,.10));
}

.room-copy { max-width: 590px; transform: translateY(5vh); }
.room-copy .kicker, .garden-text .kicker, .observatory-copy .kicker { color: var(--blue); display: block; margin-bottom: 22px; }
.room-copy p, .garden-text p, .observatory-copy p { max-width: 560px; margin-top: 28px; color: rgba(23,22,18,.74); }

.glass-stack { position: relative; min-height: 620px; }
.glass-pane, .vellum-slip {
  position: absolute;
  border: 1px solid rgba(64,94,140,.28);
  background: linear-gradient(135deg, rgba(244,239,227,.36), rgba(64,94,140,.18));
  box-shadow: 0 34px 90px rgba(64,94,140,.16), inset 0 1px 0 rgba(255,255,255,.62);
  backdrop-filter: blur(6px);
}

.glass-pane { width: min(480px, 44vw); padding: 28px; }
.pane-one { top: 36px; left: 4vw; transform: rotate(-4deg); }
.pane-two { top: 268px; right: 1vw; transform: rotate(5deg); }
.mono { font-family: var(--mono); color: var(--blue); }
.glass-pane svg { width: 100%; margin: 22px 0 10px; overflow: visible; }
.glass-pane svg path, .glass-pane svg circle { fill: none; stroke: var(--blue); stroke-width: 3; }
.glass-pane svg circle { fill: rgba(244,239,227,.8); }
.glass-pane p, .vellum-slip span { font-family: var(--commissioner); font-size: 13px; letter-spacing: .07em; color: var(--black); }
.vellum-slip { right: 18vw; bottom: 42px; width: 250px; padding: 24px; background: rgba(244,239,227,.76); border-color: rgba(198,161,91,.44); transform: rotate(-9deg); }
.vellum-slip strong { display: block; font-family: var(--fraunces); font-size: 32px; color: var(--umber); margin-bottom: 10px; }
.bracket-tree { height: 130px; margin: 32px 0; position: relative; border-left: 2px solid var(--blue); border-top: 2px solid var(--blue); }
.bracket-tree i { position: absolute; width: 42%; height: 1px; background: var(--blue); left: 18%; }
.bracket-tree i:nth-child(1) { top: 20%; } .bracket-tree i:nth-child(2) { top: 42%; } .bracket-tree i:nth-child(3) { top: 64%; } .bracket-tree i:nth-child(4) { top: 86%; }
.coordinate-mark { position: absolute; left: 8vw; bottom: 8vh; color: var(--graphite); }

.contradiction-stair {
  background: linear-gradient(180deg, rgba(64,94,140,.10), rgba(155,91,50,.10) 58%, rgba(244,239,227,.92));
  align-items: center;
}

.stair-label { position: absolute; left: 8vw; top: 10vh; color: var(--umber); }
.stair-statements { width: min(980px, 88vw); margin: auto; }
.step {
  position: relative;
  width: fit-content;
  max-width: 760px;
  font-family: var(--fraunces);
  font-size: clamp(32px, 5.2vw, 86px);
  line-height: 1.04;
  margin: 5vh 0;
  transition: transform 1s ease, opacity 1s ease;
}
.step-a { margin-left: 4vw; }
.step-b { margin-left: 18vw; color: var(--umber); transform: rotate(-2deg); }
.step-b span { background-image: linear-gradient(12deg, transparent 46%, var(--umber) 48%, var(--umber) 52%, transparent 54%); }
.step-c { margin-left: 32vw; color: var(--blue); }
.step-d { margin-left: 12vw; font-size: clamp(26px, 3.6vw, 62px); }
.slash-field span { position: absolute; width: 2px; height: 28vh; background: var(--umber); opacity: .28; transform: rotate(35deg); }
.slash-field span:nth-child(1) { top: 20vh; right: 22vw; } .slash-field span:nth-child(2) { top: 42vh; left: 24vw; } .slash-field span:nth-child(3) { bottom: 12vh; right: 35vw; }
.footnote-ladder { position: absolute; right: 9vw; top: 24vh; display: grid; gap: 9vh; font-family: var(--mono); color: var(--graphite); }

.abstraction-garden {
  grid-template-columns: .9fr 1.1fr;
  align-items: center;
  background: radial-gradient(circle at 72% 48%, rgba(198,161,91,.18), transparent 30%), linear-gradient(180deg, rgba(244,239,227,.92), rgba(244,239,227,.74));
}
.garden-text { max-width: 660px; z-index: 2; }
.forms-field { position: relative; min-height: 680px; }
.form { position: absolute; display: grid; place-items: center; font-family: var(--mono); color: var(--blue); }
.circle-form { width: 190px; height: 190px; border: 1px solid var(--blue); border-radius: 50%; top: 12%; left: 18%; background: rgba(244,239,227,.42); }
.cone-form { width: 0; height: 0; border-left: 90px solid transparent; border-right: 90px solid transparent; border-bottom: 260px solid rgba(64,94,140,.18); top: 28%; right: 18%; filter: drop-shadow(0 20px 24px rgba(64,94,140,.14)); }
.cone-form span { position: absolute; top: 158px; left: -8px; }
.ruled-form { width: 320px; height: 150px; bottom: 14%; left: 8%; border: 1px solid var(--graphite); border-radius: 50%; background: repeating-linear-gradient(100deg, transparent 0 18px, rgba(64,94,140,.26) 19px 20px); transform: rotate(-11deg); }
.paper-plane { width: 190px; height: 120px; right: 12%; bottom: 17%; background: linear-gradient(145deg, rgba(244,239,227,.82) 0 49%, rgba(198,161,91,.24) 50%); clip-path: polygon(0 0, 100% 42%, 18% 100%, 34% 48%); transform: rotate(14deg); }
.brass-pin { width: 18px; height: 18px; border-radius: 50%; background: var(--gold); top: 51%; left: 54%; box-shadow: 0 0 0 12px rgba(198,161,91,.14), 0 18px 26px rgba(23,22,18,.18); }
.reader-shadow { position: absolute; width: 180px; height: 420px; left: 8vw; bottom: -90px; border-radius: 50% 50% 10% 10%; background: linear-gradient(90deg, rgba(23,22,18,.12), transparent); filter: blur(10px); transform: skewX(-14deg); }

.proof-observatory {
  background: radial-gradient(circle at 68% 17%, rgba(198,161,91,.18), transparent 25%), linear-gradient(180deg, rgba(21,27,53,.94), var(--indigo));
  color: var(--plaster);
  align-items: end;
}
.proof-observatory::before { content: ""; position: absolute; inset: 0; background-image: radial-gradient(circle, rgba(244,239,227,.66) 1px, transparent 1.5px); background-size: 94px 78px; opacity: .18; }
.sky-constellation { position: absolute; inset: 0; }
.star { left: var(--x); top: var(--y); color: var(--plaster); background: rgba(244,239,227,.06); border-color: rgba(198,161,91,.44); box-shadow: 0 0 24px rgba(198,161,91,.18); }
.observatory-copy { width: min(880px, 86vw); margin: 0 0 7vh 6vw; position: relative; z-index: 2; }
.observatory-copy .kicker { color: var(--gold); }
.observatory-copy p { color: rgba(244,239,227,.72); }

.footnote-reveal {
  position: fixed;
  left: 24px;
  bottom: 24px;
  z-index: 8;
  max-width: 330px;
  padding: 14px 16px;
  border: 1px solid rgba(198,161,91,.44);
  background: rgba(244,239,227,.86);
  color: var(--umber);
  font-family: var(--commissioner);
  font-size: 13px;
  letter-spacing: .04em;
  opacity: 0;
  transform: translateY(14px);
  transition: opacity .35s ease, transform .35s ease;
  pointer-events: none;
}
.footnote-reveal.visible { opacity: 1; transform: translateY(0); }
body.near-proof .footnote-reveal { background: rgba(21,27,53,.82); color: var(--plaster); }

.room.in-view .glass-pane, .room.in-view .vellum-slip { animation: paneDrift 7s ease-in-out infinite alternate; }
.room.in-view .form { animation: gardenFloat 8s ease-in-out infinite alternate; }
.room.in-view .step { transform: translateX(0) rotate(0deg); }

@keyframes paneDrift { from { translate: 0 0; } to { translate: 0 -18px; } }
@keyframes gardenFloat { from { translate: 0 0; rotate: 0deg; } to { translate: 14px -18px; rotate: 2deg; } }

@media (max-width: 820px) {
  .room, .antechamber, .model-room, .abstraction-garden { grid-template-columns: 1fr; }
  .quiet-statement { margin: 6vh 0 0 8vw; }
  .glass-pane { width: min(420px, 82vw); }
  .pane-two { right: 4vw; }
  h2 { font-size: clamp(42px, 13vw, 82px); }
  .step-a, .step-b, .step-c, .step-d { margin-left: 0; }
}