:root {
  --bg: #070b16; --bg2: #0c1324; --card: #0f1830; --card2: #131e3a; --line: #22305a; --line2: #2c3c6c;
  --text: #e6ebff; --muted: #9aa6c8; --dim: #6c7799; --accent: #7cc6fe; --gold: #f5c86a; --ok: #6fe0a1; --bad: #ff7b8a; --warn: #f5b25a;
  --radius: 12px; --mono: ui-monospace, SFMono-Regular, Menlo, monospace;
  color-scheme: dark;
}
* { box-sizing: border-box; }
html, body { margin: 0; min-height: 100%; }
/* Fixed and non-repeating: a tiled gradient left a visible seam one viewport down the page once the content scrolled. */
body { background: radial-gradient(1200px 600px at 70% -10%, #142046 0%, transparent 60%) no-repeat fixed, var(--bg); color: var(--text);
  font: 14px/1.45 -apple-system, BlinkMacSystemFont, "Segoe UI", Inter, Roboto, sans-serif; -webkit-font-smoothing: antialiased; }
h1, h2, h3 { margin: 0; font-weight: 650; letter-spacing: -0.01em; }
h2 { font-size: 15px; }
h3 { font-size: 13px; margin: 14px 0 6px; color: var(--muted); text-transform: none; }
p { margin: 6px 0; }
b { font-weight: 650; }
button { font: inherit; color: inherit; }
.tiny { font-size: 12px; color: var(--muted); }
.sub { color: var(--muted); font-size: 12.5px; margin: 2px 0 0; }
.mono { font-family: var(--mono); font-size: 12px; }
.gold { color: var(--gold); }
.warn-text { color: var(--warn); }
.row { display: flex; gap: 8px; align-items: center; }
.row.sp { justify-content: space-between; }
.row.end { justify-content: flex-end; }
.row.wrap { flex-wrap: wrap; }
.grow { flex: 1; }
.boot, .fatal { display: grid; place-items: center; height: 100vh; color: var(--muted); }

/* ---- buttons ---- */
.btn { border: 1px solid var(--line2); background: var(--card2); padding: 7px 12px; border-radius: 9px; cursor: pointer; transition: background .15s, border-color .15s; white-space: nowrap; }
.btn:hover:not(:disabled) { border-color: var(--accent); }
.btn:disabled { opacity: .55; cursor: default; }
.btn.primary { background: linear-gradient(180deg, #3f8ee0, #2a6fc0); border-color: #4f9cf0; color: #fff; font-weight: 600; }
.btn.primary:hover:not(:disabled) { background: linear-gradient(180deg, #4b9af0, #2f78cc); }
.btn.big { padding: 12px 22px; font-size: 16px; border-radius: 11px; }
.btn.sm { padding: 5px 10px; font-size: 12.5px; }
.btn.ghost { background: transparent; }
.chip { border: 1px solid var(--line2); background: transparent; border-radius: 999px; padding: 4px 10px; font-size: 12px; cursor: pointer; color: var(--muted); }
.chip.on, .chip:hover { color: var(--text); border-color: var(--accent); }
.link { background: none; border: 0; color: var(--accent); cursor: pointer; padding: 0; font-size: 12px; }
.chk { display: inline-flex; gap: 6px; align-items: center; font-size: 12.5px; color: var(--muted); }
.spin { display: inline-block; width: 12px; height: 12px; border: 2px solid rgba(255,255,255,.25); border-top-color: #fff; border-radius: 50%; animation: spin .8s linear infinite; vertical-align: -2px; }
@keyframes spin { to { transform: rotate(360deg); } }

/* ---- landing ---- */
.landing { min-height: 100vh; display: grid; place-items: center; padding: 32px; }
.hero { max-width: 800px; }
.hero h1 { font-size: 42px; line-height: 1.1; margin: 6px 0 14px; letter-spacing: -0.02em; }
.eyebrow { margin: 22px 0 0; font-size: 12px; text-transform: uppercase; letter-spacing: .1em; color: var(--accent); }
.lede { font-size: 16.5px; line-height: 1.55; color: #cdd5f3; margin: 0 0 18px; max-width: 740px; }
.lede b { color: var(--text); }
.contrast { margin: 4px 0 20px; padding: 14px 16px 8px; border: 1px solid var(--line); border-radius: 12px; background: rgba(255,255,255,.015); }
.contrast figcaption { font-size: 11.5px; color: var(--dim); margin-top: 2px; }
.contrast .tick { stroke: rgba(255,170,90,.55); stroke-width: 1; }
.contrast .c-label { fill: var(--muted); font-size: 12.5px; }
.contrast .c-label.ok, .contrast .c-num.ok { fill: var(--ok); }
.contrast .c-num { fill: #ffb27a; font-size: 13px; font-weight: 650; }
.contrast .c-rest { stroke: rgba(111,224,161,.45); stroke-width: 2; stroke-dasharray: 2 5; }
.contrast .c-ask { fill: var(--ok); filter: drop-shadow(0 0 6px var(--ok)); }
.beats { margin: 0 0 22px; padding-left: 20px; display: grid; gap: 7px; color: #cdd5f3; font-size: 15px; }
.beats b { color: var(--text); }
.claims { list-style: none; padding: 0; margin: 0 0 26px; display: grid; gap: 10px; font-size: 16px; color: #cdd5f3; }
.claims li { padding-left: 22px; position: relative; }
.claims li::before { content: ""; position: absolute; left: 2px; top: 8px; width: 8px; height: 8px; border-radius: 50%; background: var(--accent); box-shadow: 0 0 12px var(--accent); }
.cta { display: flex; gap: 10px; align-items: center; margin-bottom: 14px; }
.cta input { padding: 11px 12px; border-radius: 10px; border: 1px solid var(--line2); background: var(--bg2); color: var(--text); }
.fine { color: var(--muted); font-size: 13px; }
.fine a { color: var(--accent); }
.brand { display: flex; align-items: center; gap: 8px; font-weight: 750; letter-spacing: .06em; font-size: 14px; }
.brand.big { font-size: 18px; }
.brand .thin { font-weight: 400; letter-spacing: .02em; color: var(--muted); }
.mark { width: 16px; height: 16px; border-radius: 50%; border: 3px solid var(--accent); box-shadow: 0 0 14px rgba(124,198,254,.6); position: relative; }
.mark::after { content: ""; position: absolute; inset: 2px; border-radius: 50%; background: #f2a65a; }

/* ---- app layout ---- */
.app { display: flex; flex-direction: column; min-height: 100vh; }
.top { display: flex; align-items: center; gap: 16px; padding: 10px 18px; border-bottom: 1px solid var(--line); background: rgba(7,11,22,.85); position: sticky; top: 0; z-index: 5; backdrop-filter: blur(8px); }
.clock { display: flex; flex-direction: column; line-height: 1.15; }
.clock b { font-size: 15px; font-family: var(--mono); }
.lbl { font-size: 10.5px; text-transform: uppercase; letter-spacing: .09em; color: var(--dim); }
.tz { font-size: 11px; color: var(--dim); }
.advance { display: flex; gap: 6px; align-items: center; }
.model { display: flex; gap: 6px; align-items: center; font-size: 12.5px; color: var(--muted); border: 1px solid var(--line2); padding: 5px 10px; border-radius: 999px; }
.dot { width: 8px; height: 8px; border-radius: 50%; display: inline-block; }
.dot.ok { background: var(--ok); box-shadow: 0 0 8px var(--ok); }
.dot.warn { background: var(--warn); }
.budget { width: 250px; font-size: 12px; }
.bud-row { display: flex; justify-content: space-between; gap: 8px; white-space: nowrap; }
.bar { height: 6px; background: var(--bg2); border-radius: 6px; overflow: hidden; margin: 3px 0; border: 1px solid var(--line); }
.bar i { display: block; height: 100%; background: linear-gradient(90deg, #3f8ee0, #7cc6fe); border-radius: 6px; }
.bar i.hot { background: linear-gradient(90deg, #f5b25a, #ff7b8a); }
.bar.big { height: 12px; }
.bar i.actual { background: linear-gradient(90deg, #6fe0a1, #3fbf83); }
.bar i.baseline { background: linear-gradient(90deg, #f5b25a, #ff8a6b); }

.cols { display: grid; grid-template-columns: 330px minmax(0, 1fr) 360px; gap: 14px; padding: 14px; align-items: start; }
.left, .right, .center { display: flex; flex-direction: column; gap: 14px; min-width: 0; }
.card { background: linear-gradient(180deg, var(--card), #0d1529); border: 1px solid var(--line); border-radius: var(--radius); padding: 14px; }
.card.flash { box-shadow: 0 0 0 2px var(--gold); transition: box-shadow .3s; }
@media (max-width: 1280px) { .cols { grid-template-columns: 300px minmax(0, 1fr); } .right { grid-column: 1 / -1; display: grid; grid-template-columns: 1fr 1fr; } }
@media (max-width: 900px) {
  .cols { grid-template-columns: 1fr; } .right { display: flex; } .top { flex-wrap: wrap; position: static; }
  /* One column: the stage, then the chronicle where a click lands, then the guided list and the cast, then the meter and the log. */
  .center { order: 1; } .left { order: 2; } .right { order: 3; }
  .proof { font-size: 14px; } .hero h1 { font-size: 32px; }
}

/* ---- tour ---- */
.steps { list-style: none; margin: 10px 0 0; padding: 0; display: grid; gap: 6px; }
.step { border: 1px solid transparent; border-radius: 10px; padding: 7px 8px; }
.step.next { border-color: var(--line2); background: var(--card2); }
.step-h { display: flex; gap: 8px; align-items: center; }
.step .n { width: 22px; height: 22px; border-radius: 50%; display: grid; place-items: center; font-size: 12px; border: 1px solid var(--line2); color: var(--muted); flex: none; }
.step.done .n { background: rgba(111,224,161,.15); border-color: var(--ok); color: var(--ok); }
.step.next .n { background: var(--accent); color: #04101f; border-color: var(--accent); font-weight: 700; }
.step.todo { color: var(--muted); }
.step-b { margin: 6px 0 2px 30px; color: #cdd5f3; font-size: 13px; }
.step-b .result { color: var(--muted); font-size: 12.5px; }
.step-b .btn { margin-top: 6px; }

/* ---- cast ---- */
.who { display: flex; width: 100%; gap: 10px; align-items: center; text-align: left; padding: 8px; margin-top: 8px; border-radius: 10px; border: 1px solid transparent; background: transparent; cursor: pointer; }
.who:hover { background: var(--card2); }
.who.on { border-color: var(--line2); background: var(--card2); }
.av { width: 34px; height: 34px; border-radius: 50%; display: grid; place-items: center; color: #08101e; font-weight: 800; flex: none; }
.who-main { display: flex; flex-direction: column; flex: 1; min-width: 0; }
.who-side { display: flex; flex-direction: column; align-items: flex-end; gap: 2px; }
.state { font-size: 11px; padding: 1px 7px; border-radius: 999px; border: 1px solid var(--line2); color: var(--muted); }
.state.awake { color: var(--ok); border-color: var(--ok); }

/* ---- chronicle ---- */
.chron-head { display: flex; justify-content: space-between; align-items: flex-end; gap: 12px; margin-bottom: 8px; flex-wrap: wrap; }
#chron { width: 100%; overflow-x: auto; overflow-y: hidden; }   /* the timeline needs ~640px; on a phone it pans instead of being cut off */
svg.chron { display: block; }
svg .grid { stroke: rgba(130,150,210,.10); }
svg .axis { fill: var(--dim); font-size: 11px; }
svg .axis.small { font-size: 9.5px; }
svg .lane { fill: rgba(255,255,255,.012); }
svg .lane.odd { fill: rgba(255,255,255,.03); }
svg .lane-name { fill: var(--text); font-size: 12.5px; font-weight: 650; }
svg .lane-sub { fill: var(--dim); font-size: 10.5px; }
svg .fog { fill: url(#fogp); }
svg .quiet { fill: rgba(124,198,254,.09); stroke: rgba(124,198,254,.25); stroke-dasharray: 2 3; }
svg .plan { fill: none; stroke-width: 1.5; }
svg .plan.agreement { stroke-dasharray: 3 2; }
svg .plan.fulfilled { opacity: .45; }
svg .plan.cancelled, svg .plan.breached { opacity: .3; stroke-dasharray: 1 3; }
svg .ev { cursor: pointer; }
svg .ev.canonical rect { filter: drop-shadow(0 1px 4px rgba(0,0,0,.4)); }
svg .ev.proposed rect { stroke-width: 1.6; stroke-dasharray: 4 3; }
svg .ev.superseded rect { opacity: .3; }
svg .ev.rejected rect { fill: rgba(255,123,138,.12); stroke: var(--bad); stroke-dasharray: 2 2; }
svg .ev.rejected .x { fill: var(--bad); font-size: 11px; text-anchor: middle; font-weight: 700; }
/* Selection adds a white outline but must not erase what the bar says: a selected PROPOSED event keeps its dashes and its
   hatched fill, a selected rejected one keeps its dashes too. */
svg .ev.sel rect, svg .pub.sel { stroke: #fff !important; stroke-width: 2.2; }
svg .ev.canonical.sel rect, svg .pub.sel { stroke-dasharray: none; }
svg .ev.proposed.sel rect { stroke-dasharray: 5 3; }
svg .ev-label { fill: #08101e; font-size: 11px; font-weight: 650; pointer-events: none; }
svg .shared { stroke: #fff; stroke-width: 1.4; stroke-dasharray: 2 2; opacity: .8; }
svg .shared-dot { fill: #fff; }
svg .pub { cursor: pointer; stroke: rgba(0,0,0,.4); }
svg .band { fill: rgba(245,200,106,.04); }
svg .link { fill: none; stroke-width: 1.3; opacity: .55; }
svg .link.rejected { stroke-dasharray: 2 3; opacity: .35; }
svg .link.sel { opacity: 1; stroke-width: 2.2; }
svg .dot { cursor: pointer; stroke: rgba(0,0,0,.5); }
svg .dot.rejected { opacity: .5; }
svg .now { stroke: var(--gold); stroke-width: 1.5; stroke-dasharray: 5 3; }
svg .now-label { fill: var(--gold); font-size: 11px; font-weight: 700; }
svg .start { stroke: rgba(230,235,255,.35); stroke-dasharray: 1 3; }
svg .pulse { animation: pulse 1.4s ease-in-out infinite; }
@keyframes pulse { 50% { opacity: .35; } }
.legend { display: flex; flex-wrap: wrap; gap: 6px 14px; margin-top: 10px; font-size: 11.5px; color: var(--muted); }
.lg { display: inline-flex; align-items: center; gap: 6px; }
.sw { width: 18px; height: 10px; border-radius: 3px; display: inline-block; }
.sw.canonical { background: #f2a65a; }
.sw.proposed { border: 1.5px dashed #7cc6fe; background: repeating-linear-gradient(-45deg, transparent 0 3px, rgba(255,255,255,.3) 3px 4px); }
.sw.rejected { border: 1.5px dashed var(--bad); background: rgba(255,123,138,.12); }
.sw.fog { background: repeating-linear-gradient(45deg, rgba(160,170,200,.35) 0 2px, rgba(150,160,190,.06) 2px 6px); }
.sw.quiet { background: rgba(124,198,254,.16); border: 1px dashed rgba(124,198,254,.4); }
.sw.plan { border: 1.5px solid var(--gold); height: 6px; }
.sw.shared { width: 2px; height: 14px; border-left: 2px dashed #fff; border-radius: 0; }
.sw.link { width: 18px; height: 10px; border-bottom: 1.5px solid #5fd4e8; border-left: 1.5px solid #5fd4e8; border-radius: 0 0 0 10px; }

/* ---- detail tabs ---- */
/* The row wraps rather than scrolling: a hidden tab is a tab nobody finds, and Under the hood is the one that matters most. */
.tabs { display: flex; flex-wrap: wrap; align-items: center; gap: 0 2px; border-bottom: 1px solid var(--line); margin: -4px -4px 12px; padding: 0 4px; }
.tab { background: none; border: 0; border-bottom: 2px solid transparent; padding: 8px 10px; color: var(--muted); cursor: pointer; white-space: nowrap; }
.tab:hover { color: var(--text); }
.tab.on { color: var(--text); border-bottom-color: var(--accent); }
.tab.hood { color: var(--accent); font-weight: 600; }
.tab.hood.on { color: #fff; }
.tab-who { display: flex; align-items: center; gap: 6px; font-size: 12.5px; color: var(--muted); margin: -2px 0 10px; }
.tab-who[hidden] { display: none; }
.tab-who b { color: var(--text); }
.tab-who i { width: 9px; height: 9px; border-radius: 50%; display: inline-block; flex: none; }
select { background: var(--bg2); color: var(--text); border: 1px solid var(--line2); border-radius: 8px; padding: 6px 8px; font: inherit; font-size: 12.5px; max-width: 100%; }
select:focus-visible, button:focus-visible, input:focus-visible, textarea:focus-visible { outline: 2px solid var(--accent); outline-offset: 1px; }
.empty { color: var(--muted); padding: 14px 4px; }
.split { display: grid; grid-template-columns: 1fr 1fr; gap: 18px; }
@media (max-width: 1100px) { .split { grid-template-columns: 1fr; } }
.chat { display: flex; flex-direction: column; gap: 8px; }
.msgs { display: flex; flex-direction: column; gap: 8px; max-height: 360px; min-height: 160px; overflow-y: auto; padding: 4px; }
.msg { align-self: flex-start; max-width: 82%; background: var(--card2); border: 1px solid var(--line2); padding: 9px 12px; border-radius: 12px 12px 12px 4px; white-space: pre-wrap; }
.msg.me { align-self: flex-end; background: #1d3a66; border-color: #2c5590; border-radius: 12px 12px 4px 12px; }
.msg .speaker { display: block; font-size: 11.5px; color: var(--accent); margin-bottom: 2px; }
.msg-t { display: block; font-size: 10.5px; color: var(--dim); margin-top: 4px; }
.msg.thinking { color: var(--muted); }
.note { align-self: center; font-size: 12px; color: var(--gold); border: 1px dashed rgba(245,200,106,.4); border-radius: 8px; padding: 6px 10px; max-width: 92%; }
.composer { display: flex; gap: 8px; }
.composer textarea { flex: 1; resize: vertical; background: var(--bg2); color: var(--text); border: 1px solid var(--line2); border-radius: 10px; padding: 9px 10px; font: inherit; }
.ev-row { display: flex; flex-wrap: wrap; gap: 6px 8px; align-items: baseline; width: 100%; text-align: left; background: transparent; border: 1px solid var(--line); border-radius: 9px; padding: 7px 9px; margin-bottom: 6px; cursor: pointer; }
.ev-row:hover { border-color: var(--line2); background: var(--card2); }
.ev-row .tiny { width: 100%; }
.badge { font-size: 10.5px; padding: 1px 7px; border-radius: 999px; border: 1px solid var(--line2); text-transform: uppercase; letter-spacing: .04em; color: var(--muted); white-space: nowrap; }
.badge.canonical { color: var(--ok); border-color: rgba(111,224,161,.5); }
.badge.rejected { color: var(--bad); border-color: rgba(255,123,138,.5); }
.badge.proposed { color: var(--accent); border-color: rgba(124,198,254,.5); }
.quiet-row { font-size: 12.5px; color: var(--muted); padding: 4px 0; }
.memory { display: flex; flex-wrap: wrap; gap: 6px; align-items: baseline; font-size: 13px; padding: 7px 0; border-bottom: 1px solid var(--line); }
.memory .kind { font-size: 10.5px; color: var(--gold); text-transform: uppercase; letter-spacing: .05em; }
.working { margin-top: 8px; font-size: 12.5px; color: var(--muted); }
.chain { border: 1px solid var(--line); border-radius: 10px; padding: 8px 10px; margin: 8px 0; background: rgba(255,255,255,.015); }
.chain summary { cursor: pointer; display: flex; gap: 8px; align-items: baseline; flex-wrap: wrap; }
.chain.canonical { border-left: 3px solid var(--ok); }
.chain.rejected { border-left: 3px solid var(--bad); }
.chain.proposed { border-left: 3px solid var(--accent); }
.why { color: #cdd5f3; }
.attempts { margin: 6px 0 0; padding-left: 18px; display: grid; gap: 8px; }
.attempts li { font-size: 13px; }
.reason { color: #ffb3bd; }
.decision { color: #c9f2da; }
.revision { color: var(--gold); }
.calls { font-size: 12px; color: var(--accent); }
.facts dl { display: grid; grid-template-columns: 170px 1fr; gap: 4px 12px; margin: 0; font-size: 12.5px; }
.facts dt { color: var(--muted); }
.facts dd { margin: 0; }
.pending-box { border: 1px dashed var(--accent); background: rgba(124,198,254,.06); border-radius: 10px; padding: 10px 12px; margin: 10px 0; font-size: 13px; }
.pending-box .btn { margin-top: 8px; }
.chk.ask { align-items: flex-start; line-height: 1.35; }
.act { border: 1px solid var(--line); border-left: 3px solid var(--line2); border-radius: 10px; padding: 9px 12px; margin: 8px 0; }
.act.confirmed { border-left-color: var(--ok); }
.act.inactive { border-left-color: var(--dim); }
.act.denied, .act.rejected, .act.failed { border-left-color: var(--bad); }
.act-text { margin: 6px 0 2px; font-size: 14px; }
.act-meta { margin-top: 2px; }
.act-sum { margin: 6px 0 4px; }
.screened { margin: 10px 0; font-size: 12.5px; color: var(--muted); }
.screened summary { cursor: pointer; }
.scr { padding: 3px 0 3px 12px; }
.post { border: 1px solid var(--line); border-radius: 10px; padding: 10px 12px; margin: 8px 0; }
.rel { padding: 6px 0; border-bottom: 1px solid var(--line); font-size: 13px; }
.tbl { width: 100%; border-collapse: collapse; font-size: 12.5px; margin-top: 6px; }
.tbl th { text-align: left; color: var(--dim); font-weight: 500; padding: 4px 6px; border-bottom: 1px solid var(--line); }
.tbl td { padding: 4px 6px; border-bottom: 1px solid rgba(34,48,90,.5); }
.tbl .num { text-align: right; font-variant-numeric: tabular-nums; }

/* ---- meter ---- */
.kpis { display: grid; grid-template-columns: repeat(3, 1fr); gap: 8px; margin-top: 10px; }
.kpi { background: var(--bg2); border: 1px solid var(--line); border-radius: 9px; padding: 8px; display: flex; flex-direction: column; }
.kpi b { font-size: 16px; font-variant-numeric: tabular-nums; }
.kpi span { font-size: 11px; color: var(--muted); }
.cmp { margin: 10px 0; }
.big-claim { font-size: 14px; margin: 10px 0 4px; }
.big-claim b { color: var(--ok); font-size: 22px; }
.who-spend { display: flex; flex-wrap: wrap; gap: 4px 12px; margin-top: 10px; }
.sw-dot { display: inline-block; width: 8px; height: 8px; border-radius: 50%; margin-right: 5px; }

/* ---- log ---- */
.log-list { list-style: none; margin: 8px 0 0; padding: 0; max-height: 520px; overflow-y: auto; }
.log-item { display: grid; grid-template-columns: 18px 1fr auto; gap: 8px; padding: 6px 2px; border-bottom: 1px solid rgba(34,48,90,.6); font-size: 12.5px; animation: fadein .4s; }
.log-item.clickable { cursor: pointer; }
.log-item.clickable:hover { background: var(--card2); }
.log-item .ic { color: var(--dim); text-align: center; }
.log-item.llm-call .ic { color: var(--accent); }
.log-item.event-committed .ic { color: var(--ok); }
.log-item.event-rejected .ic { color: var(--bad); }
.log-item.world-clock .ic { color: var(--gold); }
@keyframes fadein { from { background: rgba(124,198,254,.15); } to { background: transparent; } }
.live { font-size: 11px; padding: 1px 8px; border-radius: 999px; border: 1px solid var(--line2); color: var(--muted); }
.live.live { color: var(--ok); border-color: var(--ok); }

/* ---- dialogs and toasts ---- */
.dialog { background: var(--card); color: var(--text); border: 1px solid var(--line2); border-radius: 14px; padding: 18px; width: min(520px, 94vw); }
.dialog::backdrop { background: rgba(3,6,14,.7); }
.form { display: grid; gap: 10px; }
.form label { display: grid; gap: 4px; font-size: 12.5px; color: var(--muted); flex: 1; }
.form input, .form select, .form textarea { background: var(--bg2); color: var(--text); border: 1px solid var(--line2); border-radius: 8px; padding: 8px; font: inherit; }
.form fieldset { border: 1px solid var(--line); border-radius: 8px; display: flex; gap: 12px; flex-wrap: wrap; }
.form legend { font-size: 12px; color: var(--muted); }
.toasts { position: fixed; right: 16px; bottom: 16px; display: grid; gap: 8px; z-index: 20; max-width: 420px; }
.toast { background: var(--card2); border: 1px solid var(--line2); border-left: 4px solid var(--accent); padding: 10px 12px; border-radius: 10px; box-shadow: 0 8px 30px rgba(0,0,0,.4); font-size: 13px; }
.toast.ok { border-left-color: var(--ok); }
.toast.err { border-left-color: var(--bad); }
.toast.warn { border-left-color: var(--warn); }

/* ---- proof sentence ---- */
.proof { display: flex; justify-content: space-between; align-items: center; gap: 16px; flex-wrap: wrap; padding: 10px 18px; font-size: 15.5px;
  border-bottom: 1px solid var(--line); background: linear-gradient(90deg, rgba(111,224,161,.07), rgba(124,198,254,.05)); }
.proof-text b { color: var(--text); font-variant-numeric: tabular-nums; }
.proof-text b.ok { color: var(--ok); }
.integrity { font-size: 12px; padding: 3px 10px; border-radius: 999px; border: 1px solid var(--line2); white-space: nowrap; cursor: help; }
.integrity.ok { color: var(--ok); border-color: rgba(111,224,161,.5); }
.integrity.bad { color: var(--bad); border-color: var(--bad); }

/* ---- stage: the one thing to do next, and what the last step produced ---- */
.stage { border-color: var(--line2); background: linear-gradient(180deg, #112046, #0d1731); }
.stage-kicker { font-size: 11px; text-transform: uppercase; letter-spacing: .09em; color: var(--accent); margin-bottom: 4px; }
.step-block h2 { font-size: 21px; margin: 2px 0 6px; letter-spacing: -.01em; }
.proves { margin: 4px 0; color: #cfe0ff; font-size: 14px; }
.proves b { color: var(--gold); }
.setup { margin: 6px 0 12px; color: #b8c3e6; font-size: 13.5px; max-width: 720px; }
/* Full-width band that keeps one height: result of the last step on the left, the next step on the right. */
.cols > .stage { grid-column: 1 / -1; padding: 16px 20px; }
.stage-grid { display: grid; grid-template-columns: minmax(0, 1.18fr) minmax(0, 1fr); gap: 0 30px; align-items: start; }
.stage-grid > :first-child { padding-right: 30px; }
.refused { margin: 4px 0 8px; font-size: 12.5px; color: #cdd5f3; }
.refused-h { color: var(--muted); margin-bottom: 3px; }
.refused ul { list-style: none; margin: 0; padding: 0; display: grid; gap: 2px; }
.refused li { position: relative; padding-left: 16px; display: -webkit-box; -webkit-line-clamp: 2; -webkit-box-orient: vertical; overflow: hidden; }
.refused li .x { position: absolute; left: 0; color: var(--bad); font-size: 11px; line-height: 1.7; }
.refused li b { font-weight: 600; color: var(--text); }
.refused li.more { color: var(--dim); }
.stage-grid > :first-child { border-right: 1px solid var(--line2); }
@media (max-width: 1000px) { .stage-grid { grid-template-columns: 1fr; gap: 16px; } .stage-grid > :first-child { padding: 0 0 16px; border-right: 0; border-bottom: 1px dashed var(--line2); } }
.intro-block h2 { font-size: 21px; margin: 2px 0 6px; letter-spacing: -.01em; }
.intro-block .setup { margin: 6px 0 0; }
.intro-block .setup b { color: var(--accent); }
.result-block .headline { font-size: 18px; font-weight: 650; margin: 2px 0 8px; }
.result-block.warn .headline { color: var(--warn); }
.facts { display: flex; flex-wrap: wrap; gap: 8px; margin: 0 0 8px; }
.fact { background: var(--bg2); border: 1px solid var(--line); border-radius: 9px; padding: 5px 10px; display: flex; flex-direction: column; }
.fact b { font-size: 18px; font-variant-numeric: tabular-nums; line-height: 1.2; }
.fact span { font-size: 11px; color: var(--muted); }
.fact.ok { border-color: rgba(111,224,161,.45); } .fact.ok b { color: var(--ok); }
.fact.bad { border-color: rgba(255,123,138,.45); } .fact.bad b { color: var(--bad); }
.result-block .detail { margin: 4px 0 8px; font-size: 13px; color: #cdd5f3; max-width: 760px; }

/* ---- guided demo list ---- */
.act-block { margin-top: 12px; }
.act-title { font-size: 10.5px; text-transform: uppercase; letter-spacing: .08em; color: var(--dim); margin-bottom: 4px; }
.steps { list-style: none; margin: 0; padding: 0; display: grid; gap: 2px; }
.step { display: flex; gap: 8px; align-items: center; padding: 5px 6px; border-radius: 8px; border: 1px solid transparent; font-size: 13px; }
.step.done { cursor: pointer; color: var(--muted); } .step.done:hover { background: var(--card2); }
.step.next { background: var(--card2); border-color: var(--line2); }
.step.todo { color: var(--dim); }
.step.review { border-color: var(--accent); }
.step .n { width: 20px; height: 20px; border-radius: 50%; display: grid; place-items: center; font-size: 11px; border: 1px solid var(--line2); flex: none; }
.step.done .n { background: rgba(111,224,161,.15); border-color: var(--ok); color: var(--ok); }
.step.next .n { background: var(--accent); color: #04101f; border-color: var(--accent); font-weight: 700; }

/* ---- under the hood ---- */
.pipe { list-style: none; display: flex; flex-wrap: wrap; gap: 6px; margin: 8px 0; padding: 0; }
.pn { display: flex; flex-direction: column; padding: 6px 10px; border-radius: 9px; border: 1px solid var(--line); min-width: 88px; font-size: 12px; position: relative; }
.pn span { font-size: 10.5px; color: var(--dim); }
.pn.ran { border-color: rgba(111,224,161,.5); background: rgba(111,224,161,.07); } .pn.ran span { color: var(--ok); }
.pn.thinks { border-color: rgba(124,198,254,.7); background: rgba(124,198,254,.1); } .pn.thinks span { color: var(--accent); }
.pn.idle { opacity: .45; border-style: dashed; }
.nodes { list-style: none; margin: 8px 0; padding: 0; display: grid; gap: 8px; }
.nodes li { border-left: 2px solid var(--line2); padding: 2px 0 2px 10px; font-size: 13px; }
.ncall { font-size: 12px; color: var(--accent); margin-top: 2px; font-family: var(--mono); }
.totals { display: flex; flex-wrap: wrap; gap: 6px 18px; font-size: 12.5px; color: var(--muted); border-top: 1px solid var(--line); padding-top: 8px; margin-top: 6px; }
.durable { color: var(--muted); }
.mono { font-family: var(--mono); font-size: 12px; }
.tbl.api td { padding: 3px 6px; } .tbl td.bad { color: var(--bad); }
tr.clickable { cursor: pointer; } tr.clickable:hover td { background: var(--card2); }
.seed-note { padding: 6px 2px; font-size: 12px; color: var(--dim); list-style: none; }
.seed-items { margin: 4px 0 0 14px; padding: 0; }