:root {
  color-scheme: dark;
  --bg: #04090d;
  --panel: #09131a;
  --panel-hi: #0d1c25;
  --line: #18303c;
  --ink: #d9e4ee;
  --muted: #708593;
  --cyan: #4de6ff;
  --blue: #5d8cff;
  --violet: #a875ff;
  --orange: #ffb45e;
  --green: #6ee7ac;
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  background: var(--bg);
  color: var(--ink);
}

* { box-sizing: border-box; }
html, body { overflow-x: hidden; margin: 0; min-height: 100%; background: var(--bg); }
body { padding: 22px; background-image: radial-gradient(circle at 68% 30%, #0a222c 0, transparent 35%), linear-gradient(#04090d, #050c11); }
button, select, input { font: inherit; }

.topbar { display: flex; flex-wrap: wrap; gap: 14px; align-items: center; justify-content: space-between; max-width: 1600px; margin: 0 auto 18px; }
.eyebrow, .panel-index, .panel-note, .live-dot, .counter span, .subheading, .speed-label { color: var(--muted); font: 600 10px/1.25 ui-monospace, SFMono-Regular, Menlo, monospace; letter-spacing: .12em; text-transform: uppercase; }
h1, h2, p { margin: 0; }
h1 { margin-top: 0; font: 500 clamp(21px, 2.2vw, 33px)/1 ui-monospace, SFMono-Regular, Menlo, monospace; letter-spacing: -.06em; color: var(--ink); }
h1 span { color: var(--cyan); }
.run-meta { display: flex; min-width: 0; flex: 0 1 auto; align-items: center; gap: 10px; overflow: hidden; font: 11px ui-monospace, SFMono-Regular, Menlo, monospace; }
.run-meta select { min-width: 0; max-width: min(34vw, 520px); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.mode-badge { border: 1px solid var(--cyan); color: var(--cyan); padding: 7px 8px 6px; font: 700 10px ui-monospace, monospace; letter-spacing: .12em; }
.mode-badge.replay { color: var(--orange); border-color: var(--orange); }
.mode-badge.live { color: var(--green); border-color: var(--green); }
.mode-badge.testnet { color: var(--green); border-color: var(--green); background: rgba(110,231,172,.08); }
.mode-badge.modelled { color: var(--violet); border-color: var(--violet); background: rgba(168,117,255,.08); }
.virtual-time { color: var(--muted); }
select { border: 1px solid var(--line); background: #0b1820; color: var(--ink); padding: 8px 10px; cursor: pointer; font: 700 10px ui-monospace, monospace; letter-spacing: .08em; }
select:focus { border-color: var(--cyan); color: var(--cyan); }
.speed-label { margin-left: 7px; }
select { padding-right: 20px; }

.stunt-grid { display: grid; grid-template-columns: minmax(0, 270px) minmax(0, 1fr) minmax(0, 305px); grid-template-areas: "transcript map rail"; gap: 12px; max-width: 1600px; margin: 0 auto; }
.panel { min-width: 0; position: relative; overflow: hidden; border: 1px solid var(--line); background: linear-gradient(135deg, rgba(11, 27, 36, .94), rgba(6, 14, 20, .98)); box-shadow: 0 18px 60px rgba(0,0,0,.18); }
.panel::before { position: absolute; inset: 0; pointer-events: none; content: ""; background: linear-gradient(90deg, transparent 0, rgba(77,230,255,.03) 50%, transparent 100%); }
.panel-heading { height: 45px; display: flex; align-items: center; justify-content: space-between; padding: 0 14px; border-bottom: 1px solid var(--line); }
.panel-heading > div { display: flex; align-items: center; gap: 9px; }
h2 { color: var(--ink); font: 700 12px ui-monospace, SFMono-Regular, Menlo, monospace; letter-spacing: .08em; text-transform: uppercase; }
.panel-index { color: var(--cyan); }
.panel-note { font-size: 9px; letter-spacing: .08em; }
.live-dot { color: var(--green); }
.live-dot::before { display: inline-block; width: 5px; height: 5px; margin: 0 5px 1px 0; border-radius: 50%; content: ""; background: var(--green); box-shadow: 0 0 10px var(--green); }
.transcript-panel { grid-area: transcript; }
.map-panel { grid-area: map; display: flex; min-width: 0; flex-direction: column; }
.rail-panel { grid-area: rail; }
.prompt-line { min-height: 47px; padding: 15px 14px 8px; color: var(--orange); font: 10px/1.55 ui-monospace, monospace; word-break: break-word; }
.token-strip { display: flex; flex-wrap: wrap; align-content: flex-start; gap: 6px; min-height: 120px; padding: 8px 14px 14px; }
.token { display: inline-flex; align-items: center; min-height: 25px; border: 1px solid #24424f; padding: 4px 6px; color: var(--ink); background: #0c222d; font: 10px ui-monospace, monospace; }
.token-space { display: inline-block; min-width: .55em; margin: 0 .03em; color: #b8a6db; background: rgba(168,117,255,.15); border-radius: 2px; text-align: center; }
.prompt-token { border-color: #895d28; color: var(--orange); background: #241c11; }
.generated-token { border-color: #66499c; color: #cfb8ff; background: #1b1530; animation: token-slam .34s ease-out; }
.pending-token { border-style: dashed; color: var(--cyan); background: transparent; animation: pending-pulse 1.3s ease-in-out infinite; }
.prompt-inline-token, .flourish-token { display: inline-block; white-space: nowrap; }
.prompt-inline-token { padding: 1px 2px; border-radius: 2px; background: rgba(255,180,94,.08); }
.flourish-token { color: var(--ink); }
.logit-flourish { margin: 12px 14px; border-left: 2px solid var(--violet); padding: 8px 9px; color: #ae96db; background: rgba(168,117,255,.07); font: 9px/1.5 ui-monospace, monospace; letter-spacing: .05em; }
.logit-flourish.flourish-live { animation: flourish .75s ease-out; }
.transcript-foot { position: absolute; right: 14px; bottom: 13px; left: 14px; display: flex; justify-content: space-between; gap: 8px; color: var(--muted); font: 9px ui-monospace, monospace; }
.transcript-foot span:first-child { color: var(--cyan); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.transcript-foot span:last-child { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }

.map-visual { display: grid; min-width: 0; gap: 12px; padding: 14px; }
.map-workbench { display: grid; min-width: 0; grid-template-columns: minmax(0, 160px) minmax(0, 1fr); align-items: start; gap: 12px; }
.map-overview, .map-lens, .trace-block { min-width: 0; border: 1px solid #17303b; background: #071117; }
.map-overview { padding: 10px; }
.map-subheading, .map-lens-heading { display: flex; align-items: center; justify-content: space-between; gap: 9px; color: var(--muted); font: 600 9px/1.25 ui-monospace, monospace; letter-spacing: .08em; text-transform: uppercase; }
.map-subheading > span, .map-lens-heading > span { min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.map-subheading > span:first-child, .map-lens-heading > span:first-child { flex: 1 1 auto; }
.map-subheading > span:last-child, .map-lens-heading > span:last-child { flex: 0 1 52%; text-align: right; }
.map-strips { display: grid; gap: 4px; min-width: 0; padding-top: 10px; }
.map-strips.wrapped { grid-template-columns: repeat(var(--map-cols, 1), minmax(0, 1fr)); gap: 8px; align-items: start; }
.map-strip-column { display: grid; gap: 4px; min-width: 0; }
.map-strip { display: grid; grid-template-columns: 42px minmax(0, 1fr); align-items: center; min-width: 0; gap: 7px; padding: 4px 6px; border: 1px solid #17303b; background: #091b24; }
.map-strip.cursor-layer { border-color: var(--cyan); box-shadow: 0 0 12px rgba(77,230,255,.24); }
.map-strip-label { width: 100%; overflow: hidden; color: var(--muted); font: 600 8px/1.25 ui-monospace, monospace; text-align: left; text-overflow: clip; white-space: nowrap; }
.map-strip.cursor-layer .map-strip-label { color: var(--ink); }
.map-strip-stages { display: flex; min-width: 0; gap: 4px; overflow-x: auto; padding: 1px 0; scrollbar-color: var(--line) transparent; }
.map-seg { position: relative; display: block; flex: 1 1 0; height: 10px; min-width: 0; overflow: hidden; border: 1px solid #14303c; background: #0d222d; opacity: .82; transition: border-color 500ms ease-out, box-shadow 500ms ease-out, opacity 500ms ease-out; }
.map-seg[data-group="resid"] { flex: .45 1 0; }
.map-seg-fill { position: absolute; inset: 0; width: 0%; background: rgba(77,230,255,.55); transition: width 90ms linear; }
.map-seg.active { border-color: var(--cyan); box-shadow: 0 0 8px rgba(77,230,255,.4); opacity: 1; transition-duration: 0s; }
.map-lens { display: flex; width: 100%; max-height: 780px; flex-direction: column; overflow: hidden; padding: 10px; }
.map-lens-heading { color: var(--cyan); }
.map-lens-ops { display: grid; grid-auto-rows: max-content; flex: 1 1 auto; min-width: 0; min-height: 0; gap: 4px; overflow-y: auto; padding-top: 9px; scrollbar-color: var(--line) transparent; }
.map-lens-ops.two-col { grid-template-columns: repeat(2, minmax(0, 1fr)); grid-auto-flow: column; grid-template-rows: repeat(var(--lens-rows, 12), max-content); }
.map-lens-op { width: 100%; min-width: 0; overflow: hidden; border: 1px solid #17303b; padding: 4px 6px; color: var(--muted); background: #0b1b24; font: 9px/1.25 ui-monospace, monospace; text-overflow: ellipsis; white-space: nowrap; }
.map-lens-op.pending { border-color: #17303b; color: var(--muted); }
.map-lens-op.active { border-color: var(--cyan); color: var(--ink); background: #17485b; box-shadow: 0 0 12px rgba(77,230,255,.2); }
.map-lens-op.landed { border-color: #28528a; color: #9eb9ff; background: #0d2038; }
.map-lens-empty { color: var(--muted); font: 9px ui-monospace, monospace; }
.trace-block { aspect-ratio: 2.25; overflow: hidden; }
.caption-line { min-height: 34px; overflow: hidden; padding: 8px 13px 0; color: var(--orange); font: 11px/1.35 ui-monospace, monospace; letter-spacing: .02em; text-overflow: ellipsis; white-space: nowrap; }
canvas { display: block; width: 100%; height: 100%; }
.map-legend { display: flex; flex-wrap: wrap; justify-content: flex-end; gap: 6px 11px; padding: 0 13px 8px; color: var(--muted); font: 9px ui-monospace, monospace; }
.legend-swatch { display: inline-block; width: 6px; height: 6px; margin-right: 3px; background: var(--cyan); }
.legend-swatch.blue { background: var(--blue); }
.legend-swatch.dim { background: #18303c; }
.legend-swatch.violet { background: var(--violet); }

.cursor-grid { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); border-bottom: 1px solid var(--line); }
.counter-grid { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); border-bottom: 1px solid var(--line); }
.counter { min-height: 56px; padding: 9px 11px; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.cursor-grid .counter:nth-child(2n) { border-right: 0; }
.cursor-grid .counter:nth-last-child(-n+2) { border-bottom: 0; }
.counter:nth-child(2n) { border-right: 0; }
.counter:nth-last-child(-n+2) { border-bottom: 0; }
.counter span { display: block; margin-bottom: 5px; font-size: 8px; letter-spacing: .07em; }
.counter strong { display: flex; align-items: baseline; gap: 4px; overflow: hidden; color: var(--ink); font: 600 16px ui-monospace, monospace; text-overflow: ellipsis; white-space: nowrap; }
.counter strong .counter-value { min-width: 0; overflow: hidden; text-overflow: ellipsis; }
.run-constants { min-height: 42px; overflow: hidden; padding: 8px 12px; border-bottom: 1px solid var(--line); color: var(--muted); font: 8px/1.4 ui-monospace, monospace; }
.testnet-summary { border-bottom: 1px solid var(--line); padding: 12px; background: rgba(110,231,172,.035); }
.testnet-summary[hidden] { display: none; }
.testnet-summary h3 { margin: 0 0 9px; color: var(--green); font: 700 9px ui-monospace, monospace; letter-spacing: .09em; text-transform: uppercase; }
.testnet-summary-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 6px; }
.testnet-summary-grid div { min-width: 0; border: 1px solid #1b4539; padding: 6px; }
.testnet-summary-grid span, .testnet-timeline span { display: block; color: var(--muted); font: 8px ui-monospace, monospace; letter-spacing: .05em; text-transform: uppercase; }
.testnet-summary-grid strong { display: block; overflow: hidden; margin-top: 3px; color: var(--ink); font: 600 11px ui-monospace, monospace; text-overflow: ellipsis; white-space: nowrap; }
.testnet-timeline { display: grid; gap: 5px; margin: 10px 0 0; padding: 0; list-style: none; }
.testnet-timeline li { position: relative; padding-left: 10px; color: var(--ink); font: 8px/1.35 ui-monospace, monospace; }
.testnet-timeline li::before { position: absolute; left: 0; top: .35em; width: 4px; height: 4px; border-radius: 50%; content: ""; background: var(--green); }
.testnet-timeline li.upgrade::before { background: var(--orange); }
.testnet-timeline li.refusal::before { background: #ff718d; }
.spark-wrap { padding: 13px 13px 11px; border-bottom: 1px solid var(--line); }
.subheading { display: flex; justify-content: space-between; color: var(--muted); font-size: 9px; }
.subheading strong { color: var(--cyan); font: 10px ui-monospace, monospace; }
#tx-sparkline { height: 42px; margin-top: 7px; background: repeating-linear-gradient(90deg, transparent 0, transparent 24px, rgba(77,230,255,.035) 25px), repeating-linear-gradient(0deg, transparent 0, transparent 13px, rgba(77,230,255,.035) 14px); }
.verification { padding: 13px; }
.verify-banner { margin: 13px 0; border: 1px solid var(--line); padding: 10px; color: var(--muted); background: #08151c; font: 700 10px ui-monospace, monospace; letter-spacing: .08em; }
.verify-banner.ok { border-color: var(--green); color: var(--green); background: rgba(110,231,172,.08); }
.verify-banner.bad { border-color: #d45b76; color: #ff9caf; background: rgba(255,113,141,.08); }
.verify-list { margin: 0; }
.verify-list div { display: grid; grid-template-columns: 98px 1fr; gap: 7px; margin: 10px 0; font: 9px ui-monospace, monospace; }
.verify-list dt { color: var(--muted); }
.verify-list dd { overflow: hidden; margin: 0; color: var(--ink); text-overflow: ellipsis; white-space: nowrap; }
.entry-explorer { color: var(--cyan); }
.verify-value.ok { color: var(--green); }
.verify-value.bad { color: #ff9caf; }
.verify-value.pending { color: var(--muted); }

.demo-mode #model-select,
.demo-mode #speed-label, .demo-mode #speed-select { display: none; }

.error-line { max-width: 1600px; min-height: 18px; margin: 8px auto 0; color: #ff9caf; font: 10px ui-monospace, monospace; }
@keyframes pending-pulse { 0%, 100% { opacity: .48; box-shadow: 0 0 0 transparent; } 50% { opacity: 1; box-shadow: 0 0 18px rgba(77,230,255,.22); } }
@keyframes token-slam { from { transform: translateY(-8px) scale(1.13); opacity: 0; } to { transform: translateY(0) scale(1); opacity: 1; } }
@keyframes flourish { 0% { transform: translateX(-5px); opacity: .2; } 30% { color: var(--ink); } 100% { transform: translateX(0); opacity: 1; } }

@media (max-width: 1100px) {
  body { padding: 13px; }
  .topbar { gap: 13px; }
  .stunt-grid { grid-template-columns: 220px 1fr; grid-template-areas: "transcript map" "rail rail"; }
}

@media (max-width: 700px) {
  body { padding: 8px; }
  .topbar { display: block; }
  .run-meta { margin-top: 13px; justify-content: flex-start; flex-wrap: wrap; }
  .stunt-grid { display: flex; flex-direction: column; min-height: 0; }
}

.topk-list { margin-top: 7px; display: grid; gap: 3px; }
.topk-row { position: relative; height: 14px; display: flex; align-items: center; }
.topk-bar { position: absolute; left: 0; top: 0; bottom: 0; background: rgba(168,117,255,.16); border-left: 2px solid rgba(168,117,255,.55); }
.topk-winner .topk-bar { background: rgba(126,231,135,.18); border-left-color: var(--green, #7ee787); }
.topk-text { position: relative; padding-left: 6px; color: #ae96db; }
.topk-winner .topk-text { color: #b8f0bd; }

.prompt-token.prefilling { border-color: var(--cyan); color: var(--cyan); background: #0a2430; animation: prefill-pulse 0.9s ease-in-out infinite; }
@keyframes prefill-pulse { 0%, 100% { box-shadow: 0 0 0 0 rgba(77,230,255,.0); } 50% { box-shadow: 0 0 8px 1px rgba(77,230,255,.35); } }

.demo-copy { display: grid; gap: 7px; padding: 14px; border-bottom: 1px solid var(--line); }
.demo-copy-label, .demo-progress-heading, .decode-strip-heading, .demo-counters-heading { display: flex; justify-content: space-between; gap: 9px; color: var(--muted); font: 600 9px/1.25 ui-monospace, monospace; letter-spacing: .08em; text-transform: uppercase; }
.demo-copy-label:first-child { color: var(--orange); }
.completion-label { margin-top: 8px; color: var(--violet); }
.demo-prompt { color: var(--orange); font: 13px/1.45 ui-monospace, monospace; }
.demo-prompt-token.filled { color: #a6debf; }
.demo-prompt-token.prefilling { color: var(--cyan); background: #0a3947; box-shadow: 0 0 5px var(--cyan); }
.demo-gap-note { display: block; padding: 0 11px 8px; color: var(--muted); font: 9px/1.4 ui-monospace, monospace; }
.demo-completion { min-height: 102px; max-height: 205px; overflow: auto; padding: 9px 10px; border: 1px solid #2c2150; color: #eadfff; background: rgba(168,117,255,.06); font: 12px/1.55 ui-monospace, monospace; white-space: pre-wrap; word-break: break-word; scrollbar-color: var(--violet) transparent; }
.demo-completion::after { color: var(--cyan); content: " ▌"; animation: cursor-blink 1s step-end infinite; }
.demo-completion.complete::after { display: none; }
.demo-progress { display: grid; gap: 8px; padding: 11px 14px 13px; border-bottom: 1px solid var(--line); background: rgba(77,230,255,.025); }
.demo-progress-heading { color: var(--cyan); }
.demo-progress-heading span:last-child { color: var(--muted); }
.demo-progress-bar { height: 5px; overflow: hidden; border: 1px solid #164252; background: #081820; }
.demo-progress-bar span { display: block; width: 0%; height: 100%; background: linear-gradient(90deg, var(--cyan), var(--blue)); box-shadow: 0 0 12px rgba(77,230,255,.55); transition: width 80ms linear; }
.demo-progress-grid { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 5px; }
.demo-progress-grid div { min-width: 0; border: 1px solid #17303b; padding: 6px; }
.demo-progress-grid span { display: block; color: var(--muted); font: 8px ui-monospace, monospace; letter-spacing: .06em; }
.demo-progress-grid strong { display: block; overflow: hidden; margin-top: 3px; color: var(--ink); font: 600 10px ui-monospace, monospace; text-overflow: ellipsis; white-space: nowrap; }
.decode-strip { display: grid; gap: 8px; padding: 11px 14px 47px; }
.decode-strip-heading { color: var(--violet); }
.decode-records { display: grid; gap: 5px; max-height: 170px; overflow-y: auto; padding-right: 3px; scrollbar-color: var(--violet) transparent; }
.decode-record { display: grid; grid-template-columns: 38px minmax(0, 1fr) 50px 50px 48px; gap: 7px; align-items: center; min-width: 0; border: 1px solid #2c2150; padding: 6px 7px; background: #0e0b1d; font: 9px ui-monospace, monospace; }
.decode-record.latest { border-color: var(--cyan); background: #101d29; box-shadow: 0 0 12px rgba(77,230,255,.13); }
.decode-record span { min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.decode-record .record-position { color: var(--cyan); font-weight: 700; }
.decode-record .record-label { display: block; color: var(--muted); font-size: 7px; letter-spacing: .05em; text-transform: uppercase; }
.decode-record .record-value { display: block; margin-top: 2px; color: var(--ink); }
.decode-record .record-argmax .record-value { color: #cdb7ff; }
.decode-record .record-argmax { grid-column: 1 / -1; }
.decode-record.chain { grid-template-columns: 34px 44px minmax(0, 1fr) 46px 54px 96px 44px 74px; }
.decode-record.chain .record-explorer { grid-column: 1 / -1; }
.decode-record.chain .record-explorer .record-value { color: #cdb7ff; }
.decode-record .entry-explorer { color: var(--cyan); text-decoration: none; }
.decode-record .entry-explorer:hover { text-decoration: underline; }
.demo-counters { border-bottom: 1px solid var(--line); background: rgba(168,117,255,.035); }
.demo-counters-heading { padding: 10px 11px 8px; color: var(--violet); }
.demo-counters .counter-grid { border-top: 1px solid var(--line); border-bottom: 0; }
.demo-counters .counter { min-height: 52px; }
.llm-demo .prompt-line, .llm-demo .token-strip { display: none; }
.llm-demo .logit-flourish { margin: 10px 14px; }
.chain-demo #demo-progress-grid, .chain-demo #run-constants { display: none; }
.chain-demo .counter.unavailable { display: none; }
.counter strong .counter-unit { flex: none; white-space: nowrap; }
.demo-completion-token { transition: none; }
.demo-completion-token.landing { border-radius: 2px; outline: 1px solid rgba(77,230,255,.75); background: rgba(77,230,255,.16); box-shadow: 0 0 12px rgba(77,230,255,.35); color: var(--ink); }

.llm-demo .transcript-panel { min-height: 520px; }
.llm-demo .transcript-foot { bottom: 13px; }
@keyframes cursor-blink { 0%, 45% { opacity: 1; } 46%, 100% { opacity: 0; } }

@media (max-width: 700px) {
  .demo-progress-grid { grid-template-columns: 1fr 1fr; }
  .decode-record { grid-template-columns: 42px 1fr 1fr; }
  .decode-record .record-seconds, .decode-record .record-occupancy { display: none; }
  .decode-record.chain { grid-template-columns: 42px 1fr 1fr; }
  .decode-record.chain .record-seconds, .decode-record.chain .record-tx { display: none; }
}

/* Chain replay: seek controls, dropped boxes, newest-first transaction list. */
.seek-button { display: none; margin-left: 6px; border: 1px solid var(--line); padding: 4px 8px; color: var(--cyan); background: transparent; font: 600 10px ui-monospace, monospace; letter-spacing: .08em; cursor: pointer; }
.seek-button:hover, .seek-button:focus-visible { border-color: var(--cyan); outline: none; }
.chain-demo .seek-button { display: inline-block; }
.chain-demo .counter-fees { display: none; }
.chain-demo .caption-line { display: none; }
.chain-demo .transcript-foot { display: none; }
.chain-demo .decode-strip { padding-bottom: 14px; }
.chain-demo .decode-records { max-height: none; overflow: visible; padding-right: 0; }
.chain-demo .decode-record.chain { grid-template-columns: 28px minmax(0, 1fr) 58px 80px; gap: 6px; }
.chain-demo .decode-record.chain .record-explorer { grid-column: 1 / -1; }
.chain-demo .decode-record.chain .record-slot .record-value { color: var(--ink); }
.chain-demo #demo-gap-note { display: none; }
body:not(.show-menu) #model-select { display: none; }
.chain-demo .topbar { flex-wrap: nowrap; }
.chain-demo #map-lens-state { display: none; }