bundle/v0/presentation/styles.css

:root {
  --ink: #152b38;
  --ink-deep: #0c202a;
  --paper: #f2ebdd;
  --vellum: #fbf7ed;
  --grid: #b9c8c2;
  --teal: #126f6b;
  --teal-bright: #62c7bb;
  --coral: #a33b30;
  --brass: #80550d;
  --brass-bright: #f2bb5e;
  --muted: #55676b;
  --shadow: 9px 9px 0 rgba(21, 43, 56, .16);
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  color: var(--ink);
  background-color: var(--paper);
  background-image:
    linear-gradient(rgba(21, 43, 56, .045) 1px, transparent 1px),
    linear-gradient(90deg, rgba(21, 43, 56, .045) 1px, transparent 1px);
  background-size: 28px 28px;
  font-family: "Trebuchet MS", "Segoe UI", sans-serif;
  line-height: 1.55;
}

button, summary, input { font: inherit; }
button { color: inherit; min-height: 44px; min-width: 44px; }
summary, a { min-height: 44px; }
summary { display: flex; align-items: center; }
input[type="range"] { min-height: 44px; }
[hidden] { display: none !important; }
button:disabled, button[aria-busy="true"] { cursor: wait; opacity: 1; filter: none; }
.skip { position: absolute; left: -10000px; top: 1rem; background: var(--vellum); padding: .65rem 1rem; z-index: 20; }
.skip:focus { left: 1rem; }

.masthead {
  min-height: 88vh;
  padding: clamp(2rem, 6vw, 6rem);
  display: grid;
  grid-template-columns: minmax(0, 1.05fr) minmax(320px, .95fr);
  align-items: center;
  gap: clamp(2rem, 6vw, 7rem);
  color: var(--vellum);
  background: var(--ink);
  border-bottom: 10px solid var(--brass);
  position: relative;
  overflow: hidden;
}

.mast-grid {
  position: absolute;
  inset: 0;
  opacity: .13;
  background-image:
    linear-gradient(rgba(251, 247, 237, .55) 1px, transparent 1px),
    linear-gradient(90deg, rgba(251, 247, 237, .55) 1px, transparent 1px);
  background-size: 40px 40px;
  transform: rotate(-3deg) scale(1.1);
}
.mast-copy, .atlas-mark { position: relative; z-index: 1; }
.kicker, .scene-no, .console-label, .game-topline span, .step-readout span, .game-caption, .receipt-line, footer {
  font-family: "Cascadia Mono", Consolas, monospace;
}
.kicker { color: var(--brass-bright); text-transform: uppercase; letter-spacing: .16em; font-size: .76rem; }
h1, h2, .map-reading b { font-family: Georgia, "Times New Roman", serif; font-weight: 500; }
h1 { margin: .5rem 0 1.2rem; font-size: clamp(4rem, 9vw, 8rem); line-height: .84; letter-spacing: -.065em; max-width: 8ch; }
.dek { font-family: Georgia, "Times New Roman", serif; font-size: clamp(1.25rem, 2.35vw, 1.9rem); max-width: 34rem; color: #dce8e3; }
.enter-lab {
  display: inline-flex;
  margin-top: 1.4rem;
  padding: .85rem 1.15rem;
  color: var(--ink-deep);
  background: var(--brass-bright);
  border: 1px solid var(--vellum);
  box-shadow: 7px 7px 0 rgba(0, 0, 0, .25);
  font-weight: 800;
  text-decoration: none;
}
.enter-lab:hover { transform: translate(-2px, -2px); box-shadow: 9px 9px 0 rgba(0, 0, 0, .25); }

.atlas-mark { border: 1px solid rgba(251, 247, 237, .28); background: rgba(251, 247, 237, .04); box-shadow: 14px 14px 0 rgba(0, 0, 0, .2); }
.atlas-mark svg { display: block; width: 100%; }
.atlas-mark ellipse { fill: none; stroke: #59b5aa; stroke-width: 2; }
.atlas-mark .round { opacity: .48; }
.atlas-mark .learned { animation: contour-drift 14s ease-in-out infinite alternate; }
.atlas-mark .route { fill: none; stroke: var(--brass-bright); stroke-width: 4; stroke-dasharray: 7 8; }
.atlas-mark .decision { fill: var(--coral); stroke: var(--vellum); stroke-width: 3; }
.atlas-mark text { fill: #dce8e3; font-family: "Cascadia Mono", Consolas, monospace; font-size: 12px; }

main { max-width: 1220px; margin: 0 auto; }
.dev-gate {
  display: inline-flex;
  align-items: center;
  gap: .5rem;
  min-height: 32px;
  margin-bottom: 1rem;
  padding: .35rem .55rem;
  color: #dce8e3;
  background: rgba(255,255,255,.08);
  border: 1px solid rgba(255,255,255,.32);
  font-family: "Cascadia Mono", Consolas, monospace;
  font-size: .7rem;
}
.dev-gate span { color: var(--brass-bright); text-transform: uppercase; letter-spacing: .1em; }
.scene { display: grid; grid-template-columns: 160px minmax(0, 1fr); gap: clamp(1rem, 4vw, 5rem); padding: clamp(4rem, 9vw, 8rem) clamp(1rem, 4vw, 3rem); border-bottom: 1px solid var(--grid); }
.scene-no { text-transform: uppercase; letter-spacing: .08em; color: var(--muted); font-size: .73rem; }
.scene-no b { display: block; color: var(--ink); font-size: 3.1rem; line-height: 1; letter-spacing: -.12em; margin-bottom: .7rem; }
.scene h2 { font-size: clamp(2.2rem, 5vw, 4.7rem); line-height: .98; letter-spacing: -.045em; max-width: 17ch; margin: 0 0 1.4rem; }
.lede { font-family: Georgia, "Times New Roman", serif; font-size: clamp(1.05rem, 2vw, 1.35rem); max-width: 58rem; }
.margin-note { max-width: 58rem; border-left: 5px solid var(--brass); background: rgba(251, 247, 237, .72); padding: 1rem 1.2rem; margin: 2rem 0; }
.mission-brief { display: grid; grid-template-columns: repeat(3, 1fr); margin: 2rem 0; border-top: 4px solid var(--ink); background: rgba(251, 247, 237, .68); }
.mission-brief div { padding: 1rem; border-right: 1px solid var(--grid); }
.mission-brief div:last-child { border-right: 0; }
.mission-brief span, .mission-brief b { display: block; }
.mission-brief span { color: var(--teal); font-family: "Cascadia Mono", Consolas, monospace; font-size: .68rem; letter-spacing: .08em; text-transform: uppercase; }
.mission-brief b { margin-top: .45rem; font-family: Georgia, "Times New Roman", serif; font-size: 1.03rem; line-height: 1.25; }
.paper-move { max-width: 58rem; margin: 2rem 0; padding: 1.2rem 1.3rem; color: var(--vellum); background: var(--ink); box-shadow: 8px 8px 0 rgba(21, 43, 56, .18); }
.paper-move span, .paper-move strong { display: block; }
.paper-move span { color: var(--brass-bright); font-family: "Cascadia Mono", Consolas, monospace; font-size: .7rem; letter-spacing: .09em; text-transform: uppercase; }
.paper-move strong { max-width: 34rem; margin-top: .55rem; font-family: Georgia, "Times New Roman", serif; font-size: clamp(1.35rem, 2.5vw, 2rem); line-height: 1.08; }
.paper-move p { max-width: 46rem; margin: .8rem 0 0; color: #c8dbd6; }
.first-question { max-width: 58rem; margin: 2rem 0; padding: .2rem 0 .2rem 1.2rem; border-left: 5px solid var(--coral); }
.first-question span, .first-question strong { display: block; }
.first-question span { color: var(--coral); font-family: "Cascadia Mono", Consolas, monospace; font-size: .7rem; letter-spacing: .09em; text-transform: uppercase; }
.first-question strong { max-width: 42rem; margin-top: .45rem; font-family: Georgia, "Times New Roman", serif; font-size: clamp(1.25rem, 2.3vw, 1.8rem); line-height: 1.2; }
.terms { display: grid; grid-template-columns: repeat(3, 1fr); border-top: 4px solid var(--teal); background: rgba(251, 247, 237, .55); }
.terms details { padding: 1rem; border-right: 1px solid var(--grid); }
.terms details:last-child { border-right: 0; }
.terms summary { cursor: pointer; font-family: "Cascadia Mono", Consolas, monospace; color: var(--teal); }
.terms p { color: var(--muted); font-size: .84rem; }

.starter-lab { display: grid; grid-template-columns: minmax(260px, .72fr) minmax(0, 1.35fr); margin: 2.2rem 0; border: 1px solid var(--grid); background: var(--vellum); box-shadow: var(--shadow); }
.starter-console { padding: 1.3rem; border-right: 1px solid var(--grid); }
.starter-console .console-label { color: var(--muted); }
.starter-console label { display: flex; justify-content: space-between; align-items: baseline; font-family: Georgia, "Times New Roman", serif; font-size: 1.25rem; }
.starter-console output { color: var(--coral); font-family: "Cascadia Mono", Consolas, monospace; font-weight: bold; }
.starter-console input { width: 100%; margin: 1rem 0 .55rem; accent-color: var(--coral); }
.allocation-bar { display: flex; height: 22px; overflow: hidden; border: 1px solid var(--ink); }
#stable-share { width: 40%; background: var(--teal); }
#growth-share { width: 60%; background: var(--coral); }
.allocation-labels { display: flex; justify-content: space-between; margin-top: .35rem; color: var(--muted); font-size: .76rem; }
.allocation-labels i { font-style: normal; }
.forecast-card { margin-top: 1.2rem; padding: .8rem; border: 1px solid var(--grid); background: var(--paper); }
.forecast-card span, .forecast-card strong, .forecast-card small { display: block; }
.forecast-card span { color: var(--muted); font-size: .68rem; letter-spacing: .08em; text-transform: uppercase; }
.forecast-card strong { margin: .2rem 0; color: var(--teal); font-family: Georgia, "Times New Roman", serif; font-size: 1.7rem; }
.forecast-card small { color: var(--muted); }
.shift-label { margin-top: 2rem; }
.shift-buttons { display: grid; grid-template-columns: 1fr 1fr; gap: .6rem; }
.shift-buttons button { padding: .75rem; border: 1px solid var(--grid); background: var(--paper); text-align: left; cursor: pointer; }
.shift-buttons button b, .shift-buttons button span { display: block; }
.shift-buttons button b { color: var(--ink); }
.shift-buttons button span { color: var(--muted); font-size: .74rem; }
.shift-buttons button[aria-pressed="true"] { color: var(--vellum); border-color: var(--ink); background: var(--ink); box-shadow: inset 4px 0 0 var(--brass-bright); }
.shift-buttons button[aria-pressed="true"] b, .shift-buttons button[aria-pressed="true"] span { color: inherit; }
.starter-map { min-width: 0; padding: 1rem; }
.starter-map svg { display: block; width: 100%; min-height: 310px; }
.starter-axis { fill: none; stroke: var(--grid); stroke-width: 2; }
.starter-map svg text { fill: var(--muted); font-family: "Cascadia Mono", Consolas, monospace; font-size: 13px; }
.distance-ring { fill: rgba(25, 124, 120, .035); stroke: var(--teal); stroke-width: 2; stroke-dasharray: 7 7; }
.observed-point { fill: var(--ink); stroke: var(--vellum); stroke-width: 3; }
.shift-path { fill: none; stroke: var(--brass); stroke-width: 3; stroke-dasharray: 6 7; opacity: .58; }
.starter-point circle { fill: var(--paper); stroke: var(--brass); stroke-width: 4; transition: fill .2s ease, filter .2s ease; }
.starter-point.active circle { fill: var(--brass-bright); filter: drop-shadow(0 0 8px rgba(193, 138, 49, .65)); }
.starter-point.danger circle { fill: var(--coral); stroke: var(--coral); }
.starter-point.active text, .starter-point.danger text { fill: var(--ink); font-weight: bold; }
.loss-comparison { display: grid; grid-template-columns: 1fr 1fr; border-top: 4px solid var(--teal); background: var(--paper); }
.loss-comparison div { padding: .8rem 1rem; border-right: 1px solid var(--grid); }
.loss-comparison div:last-child { border-right: 0; }
.loss-comparison span, .loss-comparison strong { display: block; }
.loss-comparison span { color: var(--muted); font-size: .7rem; text-transform: uppercase; letter-spacing: .08em; }
.loss-comparison strong { margin-top: .25rem; font-family: Georgia, "Times New Roman", serif; font-size: 1.3rem; }
.starter-message { min-height: 48px; margin: .8rem 0 0; color: var(--muted); }

button { transition: transform .16s ease, box-shadow .16s ease, background .16s ease, border-color .16s ease; }
button:focus-visible, summary:focus-visible, input:focus-visible, a:focus-visible { outline: 3px solid var(--coral); outline-offset: 3px; }
.game-scene { background: rgba(251, 247, 237, .48); }
.atlas-game { margin-top: 2rem; border: 1px solid #526873; background: var(--ink-deep); color: var(--vellum); box-shadow: 14px 14px 0 rgba(21, 43, 56, .18); }
.game-topline { display: grid; grid-template-columns: repeat(3, 1fr); border-bottom: 1px solid #526873; }
.game-topline div { padding: .9rem 1.1rem; border-right: 1px solid #526873; }
.game-topline div:last-child { border-right: 0; }
.game-topline span { display: block; color: #9eb8b3; text-transform: uppercase; letter-spacing: .09em; font-size: .68rem; }
.game-topline strong { display: block; color: var(--brass-bright); font-size: 1.35rem; letter-spacing: .04em; }
.game-layout { display: grid; grid-template-columns: minmax(0, 1.65fr) minmax(260px, .72fr); }
.game-map-wrap { min-width: 0; border-right: 1px solid #526873; }
#game-map { display: block; width: 100%; min-height: 430px; background: #102832; }
.loss-coast { fill: none; stroke: rgba(217, 85, 66, .42); stroke-width: 44; stroke-linecap: round; }
.safe-route { fill: none; stroke: var(--brass-bright); stroke-width: 4; stroke-dasharray: 8 9; }
.game-samples circle { fill: #b8d5ce; opacity: .76; }
#game-contours { transform-origin: 374px 224px; transition: transform .5s ease; }
#game-contours ellipse { fill: rgba(98, 199, 187, .035); stroke: var(--teal-bright); stroke-width: 3; transform-origin: 374px 224px; transition: transform .5s ease, stroke .3s ease; }
#game-contours.game-shape-tail ellipse { stroke: var(--brass-bright); }
#game-contours.game-shape-learned ellipse { stroke: #ff7762; }
#game-map text { fill: #9eb8b3; font-family: "Cascadia Mono", Consolas, monospace; font-size: 13px; }
#decision-token circle { fill: var(--coral); stroke: var(--vellum); stroke-width: 3; }
#decision-token path { fill: none; stroke: var(--vellum); stroke-width: 3; stroke-linecap: round; stroke-linejoin: round; }
.probe { transition: transform .9s cubic-bezier(.2, .9, .3, 1); }
.probe circle:first-child { fill: var(--brass-bright); filter: url(#glow); }
.probe-ring { fill: none; stroke: var(--brass-bright); stroke-width: 2; opacity: .55; animation: probe-pulse 1.4s ease-out infinite; }
.probe.hit circle:first-child { fill: #ff7762; }
.probe.safe circle:first-child { fill: var(--teal-bright); }
.game-caption { padding: .55rem 1rem; color: #9eb8b3; font-size: .66rem; border-top: 1px solid #526873; }
.game-console { padding: 1.2rem; }
.console-label { margin: 0 0 .7rem; color: #9eb8b3; text-transform: uppercase; letter-spacing: .08em; font-size: .68rem; }
.map-controls { display: grid; gap: .6rem; }
.map-controls button { width: 100%; padding: .8rem; text-align: left; color: var(--vellum); background: #152f3a; border: 1px solid #526873; cursor: pointer; }
.map-controls button b, .map-controls button span { display: block; }
.map-controls button span { color: #9eb8b3; font-size: .75rem; margin-top: .2rem; }
.map-controls button[aria-pressed="true"] { border-color: var(--brass-bright); background: #23434b; box-shadow: inset 4px 0 0 var(--brass-bright); }
.budget-control { display: grid; grid-template-columns: 1fr 48px; align-items: center; gap: .4rem 1rem; margin: 1.35rem 0; }
.budget-control span { grid-column: 1 / -1; color: #c8dbd6; font-size: .82rem; }
.budget-control input { width: 100%; accent-color: var(--coral); }
.budget-control output { color: var(--brass-bright); font-family: "Cascadia Mono", Consolas, monospace; text-align: right; }
.launch-button, .quiet-button, .prediction-grid button {
  border: 1px solid var(--ink);
  background: var(--vellum);
  padding: .78rem 1rem;
  cursor: pointer;
  box-shadow: 4px 4px 0 rgba(21, 43, 56, .14);
}
.launch-button { width: 100%; color: var(--ink-deep); background: var(--brass-bright); font-weight: 800; }
.quiet-button { width: 100%; margin-top: .6rem; color: #b8cdc7; background: transparent; border-color: #526873; box-shadow: none; }
.launch-button:hover, .prediction-grid button:hover { transform: translate(-2px, -2px); box-shadow: 6px 6px 0 rgba(0, 0, 0, .23); }
.game-message { margin-top: 1rem; min-height: 72px; padding-top: .8rem; border-top: 1px solid #526873; color: #c8dbd6; font-size: .85rem; }
.game-message b { color: var(--brass-bright); }

.prediction { background: rgba(251, 247, 237, .48); }
.prediction-grid { display: flex; flex-wrap: wrap; gap: .7rem; margin: 2rem 0; }
.prediction-grid button.selected { background: var(--ink); color: var(--vellum); }
.reveal { min-height: 92px; padding: 1.2rem; border: 1px dashed var(--muted); background: rgba(251, 247, 237, .75); }
.reveal.open { border: 2px solid var(--teal); box-shadow: 7px 7px 0 rgba(25, 124, 120, .3); }

.training-board { display: grid; grid-template-columns: minmax(0, 1.55fr) minmax(270px, .72fr); margin-top: 2rem; background: var(--ink-deep); color: var(--vellum); border: 1px solid #526873; box-shadow: 14px 14px 0 rgba(21, 43, 56, .18); }
.training-visual { min-width: 0; border-right: 1px solid #526873; }
#training-svg { display: block; width: 100%; min-height: 400px; }
.instrument-grid { fill: #102832; stroke: none; }
.dial-ring { fill: none; stroke: #405c65; stroke-width: 1; stroke-dasharray: 4 7; }
#training-ellipse { fill: rgba(98, 199, 187, .05); stroke: var(--teal-bright); stroke-width: 4; transition: rx .55s ease, ry .55s ease, transform .55s ease, stroke .3s ease; }
#metric-axis { stroke: var(--brass-bright); stroke-width: 4; transition: transform .55s ease; }
.metric-dial text, .decision-dial text, .loss-meter text, .gradient-label { fill: #9eb8b3; font-family: "Cascadia Mono", Consolas, monospace; font-size: 13px; }
.signal-line { fill: none; stroke: #526873; stroke-width: 3; stroke-dasharray: 7 8; }
.loss-arc { fill: none; stroke: var(--coral); stroke-width: 8; stroke-linecap: round; }
#decision-needle { stroke: var(--brass-bright); stroke-width: 5; stroke-linecap: round; transform-origin: 0 0; transition: transform .55s ease; }
.decision-dial circle { fill: var(--vellum); }
.loss-meter rect:first-of-type { fill: none; stroke: #526873; stroke-width: 1; }
#loss-fill { fill: var(--coral); transition: y .55s ease, height .55s ease, fill .3s ease; }
#loss-value { fill: var(--brass-bright); font-size: 18px; font-weight: bold; }
.gradient-arrow { fill: none; stroke: var(--brass-bright); stroke-width: 4; stroke-dasharray: 9 8; opacity: .16; transition: opacity .3s ease; }
.gradient-label { opacity: .18; transition: opacity .3s ease; }
#training-svg[data-stage="3"] .gradient-arrow, #training-svg[data-stage="3"] .gradient-label { opacity: 1; }
.training-console { padding: 1.25rem; }
.step-readout { display: flex; align-items: baseline; justify-content: space-between; padding-bottom: .7rem; border-bottom: 1px solid #526873; }
.step-readout span { color: #9eb8b3; text-transform: uppercase; letter-spacing: .08em; font-size: .68rem; }
.step-readout strong { color: var(--brass-bright); }
.training-console h3 { font-family: Georgia, "Times New Roman", serif; font-size: 1.65rem; line-height: 1.05; margin: 1.4rem 0 .6rem; }
.training-console p { min-height: 100px; color: #c8dbd6; font-size: .86rem; }
.training-trace { display: grid; grid-template-columns: repeat(4, 1fr); gap: .3rem; margin: 1rem 0; }
.training-trace button { min-width: 0; padding: .55rem .2rem; border: 1px solid #526873; background: #152f3a; color: #9eb8b3; cursor: pointer; font-size: .7rem; }
.training-trace button.active { color: var(--ink-deep); border-color: var(--brass-bright); background: var(--brass-bright); }
.technical-drawer { margin-top: 1rem; border: 1px solid var(--grid); background: rgba(251, 247, 237, .6); }
.technical-drawer summary { padding: .9rem 1rem; cursor: pointer; color: var(--teal); font-family: "Cascadia Mono", Consolas, monospace; }
.drawer-boundary { margin: 0; padding: 1rem 1.2rem; color: var(--muted); border-top: 1px solid var(--grid); }
.equation { display: grid; grid-template-columns: 70px 1fr; gap: .35rem 1rem; padding: 1.2rem; background: var(--ink); color: var(--vellum); font-family: Georgia, "Times New Roman", serif; }
.equation span { color: var(--brass-bright); font-family: "Cascadia Mono", Consolas, monospace; font-size: .75rem; text-transform: uppercase; }
.technical-equations code { color: var(--vellum); white-space: normal; }
.route-table { display: grid; grid-template-columns: repeat(2, 1fr); gap: 1px; background: var(--grid); }
.route-table div { padding: 1rem; background: var(--vellum); }
.route-table b, .route-table span { display: block; }
.route-table span { color: var(--muted); font-size: .82rem; }

.contract-grid { display: grid; grid-template-columns: repeat(4, 1fr); gap: .8rem; margin: 2rem 0; }
.contract-grid article { background: var(--vellum); border-top: 5px solid var(--teal); padding: 1rem; min-height: 165px; }
.contract-grid b, .contract-grid span { display: block; }
.contract-grid b { color: var(--muted); font-size: .78rem; text-transform: uppercase; letter-spacing: .08em; }
.contract-grid strong { display: block; font-family: Georgia, "Times New Roman", serif; font-size: 2.5rem; margin: .5rem 0; }
.contract-grid span { font-size: .82rem; color: var(--muted); }
.receipt-line { padding: 1rem; border: 1px solid var(--grid); font-size: .78rem; background: rgba(251, 247, 237, .55); }
.claim-map { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1px; margin: 2.4rem 0; background: var(--grid); border: 1px solid var(--grid); }
.claim-map article { padding: 1.2rem; background: var(--paper); }
.claim-map span, .matrix-state > span, .claim-results article > span, .figure-results article > span,
.censoring-result span, .theorem-limit > span, .extension-intro > span {
  color: var(--teal);
  font-family: "Cascadia Mono", Consolas, monospace;
  font-size: .68rem;
  letter-spacing: .08em;
  text-transform: uppercase;
}
.claim-map h3 { min-height: 4.2em; margin: .6rem 0; font-family: Georgia, "Times New Roman", serif; font-size: 1.25rem; line-height: 1.12; }
.claim-map p { margin-bottom: 0; color: var(--muted); font-size: .82rem; }
.matrix-state { margin: 2rem 0; padding: 1.2rem; color: #6b2b24; border: 2px solid var(--coral); background: #fff0e9; box-shadow: 7px 7px 0 rgba(217, 85, 66, .18); }
.matrix-state strong, .matrix-state p { display: block; }
.matrix-state strong { margin: .3rem 0; font-family: Georgia, "Times New Roman", serif; font-size: 1.55rem; }
.matrix-state p { margin: 0; }
.matrix-state[data-state="verified"] { color: var(--ink); border-color: var(--teal); background: #e7f4ef; box-shadow-color: rgba(25, 124, 120, .18); }
.claim-results { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1rem; margin: 2.2rem 0; }
.claim-results article { min-height: 190px; padding: 1rem; border-top: 5px solid var(--grid); background: var(--vellum); }
.claim-results strong, .claim-results p { display: block; }
.claim-results strong { margin: .55rem 0; font-family: Georgia, "Times New Roman", serif; font-size: 1.35rem; line-height: 1.1; }
.claim-results p { color: var(--muted); }
.claim-results article[data-verdict="verified"] { border-color: var(--teal); }
.claim-results article[data-verdict="partially_verified"] { border-color: var(--brass); }
.claim-results article[data-verdict="falsified"] { border-color: var(--coral); }
.claim-verdict { display: inline-block; color: var(--ink); font-family: "Cascadia Mono", Consolas, monospace; font-size: .68rem; text-transform: uppercase; }
.claim-results details { margin-top: .8rem; font-size: .78rem; }
.claim-results details ul { padding-left: 1.2rem; }
.claim-metrics { display: grid; grid-template-columns: minmax(92px, auto) 1fr; gap: .25rem .7rem; font-size: .72rem; }
.claim-metrics dt { color: var(--muted); }
.claim-metrics dd { margin: 0; overflow-wrap: anywhere; }
.figure-results { display: grid; gap: 1.2rem; margin-top: 2.4rem; }
.figure-results article { padding: 1.2rem; border: 1px solid var(--grid); background: rgba(251, 247, 237, .72); }
.figure-results h3 { margin: .3rem 0 1rem; font-family: Georgia, "Times New Roman", serif; font-size: 1.8rem; }
.figure-empty { min-height: 220px; display: grid; place-items: center; color: var(--muted); border: 1px dashed var(--grid); font-family: "Cascadia Mono", Consolas, monospace; font-size: .75rem; }
.geometry-panels { display: grid; grid-template-columns: repeat(auto-fit, minmax(190px, 1fr)); gap: 1px; background: var(--grid); border: 1px solid var(--grid); }
.geometry-panels > div { min-width: 0; padding: 1rem; background: var(--paper); }
.geometry-panels strong, .geometry-panels small { display: block; }
.geometry-panels small { margin-top: .6rem; color: var(--muted); }
.metric-matrix { display: grid; grid-template-columns: repeat(var(--matrix-size), minmax(0, 1fr)); gap: 1px; margin-top: .7rem; background: var(--grid); border: 1px solid var(--grid); }
.metric-matrix span { padding: .45rem .25rem; color: var(--ink); background: var(--vellum); font-family: "Cascadia Mono", Consolas, monospace; font-size: .68rem; text-align: center; }
.evidence-chart { display: block; width: 100%; min-height: 320px; background: var(--paper); border: 1px solid var(--grid); }
.chart-axis { stroke: var(--muted); stroke-width: 1.5; }
.chart-label, .chart-tick { fill: #45595d; font-family: "Cascadia Mono", Consolas, monospace; font-size: 12px; }
.series-line { fill: none; stroke-width: 3; }
.series-point { stroke: var(--paper); stroke-width: 2; }
.uncertainty-band { opacity: .13; }
.series-0 { color: var(--teal); fill: var(--teal); stroke: var(--teal); }
.series-1 { color: var(--coral); fill: var(--coral); stroke: var(--coral); }
.series-2 { color: var(--brass); fill: var(--brass); stroke: var(--brass); }
.series-3 { color: var(--ink); fill: var(--ink); stroke: var(--ink); }
.chart-legend { display: flex; flex-wrap: wrap; gap: .5rem 1rem; padding: .7rem 0; font-family: "Cascadia Mono", Consolas, monospace; font-size: .7rem; }
.chart-legend span::before { content: ""; display: inline-block; width: 1.2rem; height: 3px; margin-right: .4rem; vertical-align: middle; background: currentColor; }
.figure-caption { margin: .3rem 0 0; color: var(--muted); font-size: .75rem; }
.paper-comparison { padding: .75rem; border-left: 4px solid var(--brass); background: rgba(128,85,13,.08); font-size: .78rem; }
.provenance-results { margin-top: 2rem; padding: 1.2rem; border: 1px solid var(--grid); background: var(--vellum); }
.provenance-results > span { color: var(--teal); font-family: "Cascadia Mono", Consolas, monospace; font-size: .68rem; text-transform: uppercase; }
.provenance-results h3 { font-family: Georgia, "Times New Roman", serif; }
.provenance-results dl { display: grid; grid-template-columns: 140px 1fr; gap: .55rem 1rem; }
.provenance-results dt { color: var(--muted); }
.provenance-results dd { margin: 0; overflow-wrap: anywhere; }

.claim-nav { position: sticky; top: 0; z-index: 4; display: grid; grid-template-columns: repeat(6, 1fr); margin: 2.2rem 0 0; border: 1px solid var(--grid); background: rgba(251,247,237,.96); backdrop-filter: blur(8px); }
.claim-nav a { min-height: 44px; display: grid; place-items: center; padding: .55rem; color: var(--ink); border-right: 1px solid var(--grid); font-family: "Cascadia Mono", Consolas, monospace; font-size: .68rem; text-decoration: none; text-align: center; }
.claim-nav a:last-child { border-right: 0; }
.claim-nav a:hover { color: var(--paper); background: var(--teal); }
.claim-pages { border: 1px solid var(--grid); border-top: 0; }
.claim-page { scroll-margin-top: 64px; display: grid; grid-template-columns: 90px minmax(0, 1.5fr) minmax(220px, .72fr); gap: 1.4rem; padding: 2rem 1.3rem; border-bottom: 1px solid var(--grid); background: rgba(251,247,237,.72); }
.claim-page:last-child { border-bottom: 0; }
.claim-index { color: var(--grid); font-family: Georgia, "Times New Roman", serif; font-size: 3.6rem; line-height: .9; }
.claim-page[data-verdict="partially_verified"] .claim-index { color: var(--brass); }
.claim-page[data-verdict="inconclusive"] .claim-index { color: var(--coral); }
.claim-copy h3 { margin: .45rem 0 .7rem; font-family: Georgia, "Times New Roman", serif; font-size: clamp(1.45rem, 2.4vw, 2rem); line-height: 1.04; }
.claim-copy .claim-answer { margin: 0; color: var(--muted); }
.claim-copy details { margin-top: 1rem; border-top: 1px solid var(--grid); font-size: .78rem; }
.claim-copy summary { min-height: 44px; display: flex; align-items: center; color: var(--teal); cursor: pointer; font-family: "Cascadia Mono", Consolas, monospace; }
.claim-copy .official-claim { color: var(--ink); }
.claim-copy .claim-downgrade { padding-left: .8rem; color: #6b2b24; border-left: 4px solid var(--coral); }
.claim-facts { align-content: start; display: grid; grid-template-columns: 1fr auto; gap: .55rem .8rem; margin: 0; padding: 1rem; background: var(--vellum); border-top: 5px solid var(--brass); font-size: .72rem; }
.claim-facts dt { color: var(--muted); }
.claim-facts dd { margin: 0; font-family: "Cascadia Mono", Consolas, monospace; text-align: right; }

.evidence-lab { background: var(--ink); color: var(--vellum); max-width: none; }
.evidence-lab .scene-no, .evidence-lab .scene-no b { color: #b7d2c9; }
.evidence-lab .lede { color: #d3e0dc; }
.evidence-instrument { display: grid; grid-template-columns: minmax(250px, .6fr) minmax(0, 1.4fr); margin: 2rem 0; border: 1px solid #526873; background: #102832; box-shadow: 14px 14px 0 rgba(0,0,0,.2); }
.instrument-controls { padding: 1.2rem; border-right: 1px solid #526873; }
.instrument-controls [role="group"] { display: grid; grid-template-columns: 1fr 1fr; gap: .5rem; }
.instrument-controls button { min-height: 44px; color: #d3e0dc; border: 1px solid #526873; background: #152f3a; cursor: pointer; }
.instrument-controls button[aria-pressed="true"] { color: var(--ink-deep); border-color: var(--brass-bright); background: var(--brass-bright); }
.instrument-controls label { display: flex; justify-content: space-between; margin-top: 2rem; color: #b7d2c9; font-size: .78rem; }
.instrument-controls input { width: 100%; margin: 1rem 0; accent-color: var(--coral); }
.evidence-readout { padding-top: 1rem; border-top: 1px solid #526873; }
.evidence-readout span, .evidence-readout strong { display: block; }
.evidence-readout span { color: #9eb8b3; font-family: "Cascadia Mono", Consolas, monospace; font-size: .72rem; }
.evidence-readout strong { margin: .35rem 0; color: var(--brass-bright); font-family: Georgia, "Times New Roman", serif; font-size: 2.7rem; }
.evidence-readout p { color: #d3e0dc; font-size: .82rem; }
.instrument-chart { min-width: 0; padding: 1rem; }
#evidence-chart { display: block; width: 100%; min-height: 360px; }
.chart-grid { stroke: #2b4954; stroke-width: 1; }
.target-line { stroke: var(--coral); stroke-width: 3; stroke-dasharray: 8 7; }
.target-label { fill: #ff9a88; font-family: "Cascadia Mono", Consolas, monospace; font-size: 12px; }
.sealed-band { fill: rgba(98,199,187,.16); }
.sealed-line { fill: none; stroke: var(--teal-bright); stroke-width: 4; }
.chart-point line { stroke: #8bd7cd; stroke-width: 2; }
.chart-point circle { fill: var(--ink-deep); stroke: var(--teal-bright); stroke-width: 3; }
.chart-point.selected circle { fill: var(--brass-bright); stroke: var(--paper); }
.evidence-lab .chart-tick { fill: #b7d2c9; }

.boundary { background: var(--ink); color: var(--vellum); max-width: none; }
.boundary .scene-no, .boundary .scene-no b { color: #b7d2c9; }
.boundary-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1rem; }
.boundary-grid div { border-top: 5px solid var(--brass); background: rgba(251, 247, 237, .06); padding: 1.2rem; }
.boundary-grid b { color: var(--brass-bright); }
.boundary-grid p { color: #d3e0dc; }
.censoring-result { display: grid; grid-template-columns: minmax(230px, .8fr) minmax(0, 1.2fr); gap: 1.5rem; margin: 2rem 0; padding: 1.2rem; color: #f8ddd8; border: 1px solid #8a4940; background: rgba(217, 85, 66, .12); }
.censoring-result strong { display: block; margin-top: .4rem; color: var(--vellum); font-family: Georgia, "Times New Roman", serif; font-size: 1.35rem; line-height: 1.15; }
.censoring-result p { margin: 0; color: #d3e0dc; }
.censoring-result[data-state="verified"] { border-color: var(--teal-bright); background: rgba(98, 199, 187, .09); }
.theorem-limit { margin: 3rem 0; padding: 1.5rem 0; border-top: 1px solid #526873; border-bottom: 1px solid #526873; }
.theorem-limit > span, .extension-intro > span { color: var(--brass-bright); }
.theorem-limit h3, .extension-intro h3 { max-width: 32ch; margin: .5rem 0; font-family: Georgia, "Times New Roman", serif; font-size: clamp(1.7rem, 3vw, 2.45rem); line-height: 1.08; }
.theorem-limit p, .extension-intro p { max-width: 58rem; color: #d3e0dc; }
#theorem-result { margin-top: 1rem; padding: 1rem; color: #d3e0dc; border-left: 5px solid var(--brass); background: rgba(251, 247, 237, .05); }
.extension-results { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1px; margin-top: 1.4rem; background: #526873; border: 1px solid #526873; }
.extension-results article { padding: 1.1rem; background: #112a35; }
.extension-results b, .extension-results span { display: block; }
.extension-results b { color: var(--vellum); font-family: Georgia, "Times New Roman", serif; font-size: 1.15rem; }
.extension-results p { color: #d3e0dc; font-size: .82rem; }
.extension-results span { color: var(--brass-bright); font-family: "Cascadia Mono", Consolas, monospace; font-size: .68rem; text-transform: uppercase; }
.extension-results article[data-state="analyzed"] span { color: var(--teal-bright); }
.closing { margin-top: 3rem; font-family: Georgia, "Times New Roman", serif; font-size: clamp(1.4rem, 3vw, 2.3rem); color: var(--brass-bright); }
footer { display: flex; justify-content: space-between; gap: 1rem; padding: 2rem clamp(1rem, 4vw, 4rem); background: #0e202a; color: #b7d2c9; font-size: .72rem; }

@keyframes contour-drift { to { transform: rotate(-28deg) translate(6px, -4px); } }
@keyframes probe-pulse { from { transform: scale(.55); opacity: .75; } to { transform: scale(1.45); opacity: 0; } }

@media (max-width: 980px) {
  .starter-lab, .game-layout, .training-board { grid-template-columns: 1fr; }
  .starter-console { border-right: 0; border-bottom: 1px solid var(--grid); }
  .game-map-wrap, .training-visual { border-right: 0; border-bottom: 1px solid #526873; }
}
@media (max-width: 900px) {
  .masthead { grid-template-columns: 1fr; min-height: auto; }
  .atlas-mark { max-width: 650px; }
  .scene { grid-template-columns: 1fr; }
  .scene-no b { display: inline; margin-right: .6rem; }
  .contract-grid { grid-template-columns: repeat(2, 1fr); }
  .claim-map, .claim-results, .extension-results { grid-template-columns: 1fr; }
  .claim-map h3 { min-height: 0; }
  .boundary-grid { grid-template-columns: 1fr; }
  .claim-nav { grid-template-columns: repeat(3, 1fr); }
  .claim-page { grid-template-columns: 64px 1fr; }
  .claim-facts { grid-column: 2; }
  .evidence-instrument { grid-template-columns: 1fr; }
  .instrument-controls { border-right: 0; border-bottom: 1px solid #526873; }
}
@media (max-width: 600px) {
  .masthead { padding: 4rem 1.1rem; }
  h1 { font-size: 4rem; }
  .route-table { grid-template-columns: 1fr; }
  .mission-brief, .terms, .contract-grid { grid-template-columns: 1fr; }
  .mission-brief div { border-right: 0; border-bottom: 1px solid var(--grid); }
  .terms details { border-right: 0; border-bottom: 1px solid var(--grid); }
  .game-topline { grid-template-columns: 1fr 1fr; }
  .game-topline div:last-child { grid-column: 1 / -1; border-top: 1px solid #526873; }
  #game-map, #training-svg { min-height: auto; }
  .training-trace { grid-template-columns: repeat(2, 1fr); }
  .censoring-result { grid-template-columns: 1fr; }
  footer { flex-direction: column; }
  .provenance-results dl { grid-template-columns: 1fr; }
  .claim-nav { position: static; grid-template-columns: repeat(2, 1fr); }
  .claim-page { grid-template-columns: 1fr; }
  .claim-index { font-size: 2.4rem; }
  .claim-facts { grid-column: auto; }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { animation: none !important; transition: none !important; }
}