:root {
  --bg: #f4f6fa;
  --panel: #ffffff;
  --panel-2: #f8fafc;
  --line: #e2e8f0;
  --line-2: #cbd5e1;
  --text: #0f172a;
  --text-2: #334155;
  --muted: #64748b;
  --accent: #e8590c;
  --accent-soft: #fff1e6;
  --link: #2563eb;
  --broken: #dc2626;
  --broken-soft: #fef2f2;
  --fix: #15803d;
  --fix-soft: #f0fdf4;
  --demo: #2563eb;
  --demo-soft: #eff6ff;
  --mystery: #7c3aed;
  --mystery-soft: #f5f3ff;
  --warn: #b45309;
  --warn-soft: #fffbeb;
  --ok: #16a34a;
  --bad: #dc2626;
  --top: #0f172a;
  --top-text: #e2e8f0;
  --top-muted: #94a3b8;
  --code-bg: #f1f5f9;
  --shadow: 0 1px 2px rgba(15, 23, 42, .06), 0 1px 1px rgba(15, 23, 42, .04);
  --radius: 10px;
  --mono: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
  color-scheme: light;
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #0b1020;
    --panel: #111827;
    --panel-2: #0f172a;
    --line: #1f2a3d;
    --line-2: #334155;
    --text: #e5e7eb;
    --text-2: #cbd5e1;
    --muted: #94a3b8;
    --accent: #fb923c;
    --accent-soft: #2a1709;
    --link: #60a5fa;
    --broken: #f87171;
    --broken-soft: #2a1215;
    --fix: #4ade80;
    --fix-soft: #0f2418;
    --demo: #60a5fa;
    --demo-soft: #0f1d33;
    --mystery: #a78bfa;
    --mystery-soft: #1c1530;
    --warn: #fbbf24;
    --warn-soft: #2a2008;
    --ok: #4ade80;
    --bad: #f87171;
    --top: #060912;
    --code-bg: #0b1222;
    --shadow: none;
    color-scheme: dark;
  }
}

:root[data-theme="dark"] {
  --bg: #0b1020;
  --panel: #111827;
  --panel-2: #0f172a;
  --line: #1f2a3d;
  --line-2: #334155;
  --text: #e5e7eb;
  --text-2: #cbd5e1;
  --muted: #94a3b8;
  --accent: #fb923c;
  --accent-soft: #2a1709;
  --link: #60a5fa;
  --broken: #f87171;
  --broken-soft: #2a1215;
  --fix: #4ade80;
  --fix-soft: #0f2418;
  --demo: #60a5fa;
  --demo-soft: #0f1d33;
  --mystery: #a78bfa;
  --mystery-soft: #1c1530;
  --warn: #fbbf24;
  --warn-soft: #2a2008;
  --ok: #4ade80;
  --bad: #f87171;
  --top: #060912;
  --code-bg: #0b1222;
  --shadow: none;
  color-scheme: dark;
}

* { box-sizing: border-box; }
html, body { height: 100%; margin: 0; }
body {
  background: var(--bg);
  color: var(--text);
  font: 14px/1.55 -apple-system, BlinkMacSystemFont, "Segoe UI", Inter, sans-serif;
  display: flex;
  flex-direction: column;
  overflow: hidden;
}
a { color: var(--link); }
button { font: inherit; cursor: pointer; }
code, pre { font-family: var(--mono); font-size: 12.5px; }
:not(pre) > code { background: var(--code-bg); padding: 1px 5px; border-radius: 4px; }
pre { background: var(--code-bg); padding: 10px 12px; border-radius: 8px; overflow-x: auto; }

/* ---------------------------------------------------------------- top bar */
.topbar {
  display: flex;
  align-items: center;
  gap: 14px;
  padding: 0 14px;
  height: 52px;
  background: var(--top);
  color: var(--top-text);
  flex: none;
}
.brand { display: flex; align-items: center; gap: 9px; font-weight: 650; letter-spacing: .2px; white-space: nowrap; }
.brand img { width: 26px; height: 26px; border-radius: 6px; }
.views { display: flex; gap: 2px; margin-left: 6px; }
.views button {
  background: transparent; color: var(--top-muted); border: 0; padding: 6px 11px; border-radius: 7px;
}
.views button:hover { color: var(--top-text); background: rgba(255,255,255,.06); }
.views button.on { color: #fff; background: rgba(255,255,255,.12); }
.spacer { flex: 1; }
.cluster { display: flex; align-items: center; gap: 8px; font-size: 12.5px; color: var(--top-muted); }
.pill { display: inline-flex; align-items: center; gap: 6px; white-space: nowrap; }
.dot { width: 8px; height: 8px; border-radius: 50%; background: #475569; flex: none; }
.dot.up { background: #22c55e; box-shadow: 0 0 0 3px rgba(34,197,94,.18); }
.dot.wait { background: #f59e0b; animation: pulse 1.2s infinite; }
.dot.down { background: #ef4444; }
@keyframes pulse { 50% { opacity: .35; } }
.topbtn {
  background: rgba(255,255,255,.08); color: var(--top-text); border: 1px solid rgba(255,255,255,.12);
  padding: 5px 10px; border-radius: 7px; font-size: 12.5px; white-space: nowrap;
}
.topbtn:hover { background: rgba(255,255,255,.16); }
.topbtn.primary { background: var(--accent); border-color: var(--accent); color: #fff; }
.runbar {
  display: flex; align-items: center; gap: 8px; font-size: 12.5px; max-width: 520px; min-width: 0;
  background: rgba(255,255,255,.05); border: 1px solid rgba(255,255,255,.08); border-radius: 8px; padding: 4px 6px 4px 10px;
}
.runbar[hidden] { display: none; }
.runbar .rl { min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; color: var(--top-text); }
.runbar .rs { color: var(--top-muted); white-space: nowrap; }

/* ---------------------------------------------------------------- layout */
.layout { flex: 1; display: flex; min-height: 0; }
.sidebar {
  width: 236px; flex: none; background: var(--panel); border-right: 1px solid var(--line);
  overflow-y: auto; padding: 10px 8px;
  transition: width .15s;
}
.sidebar.collapsed { width: 54px; }
.sidebar.collapsed .mtitle, .sidebar.collapsed .mprog, .sidebar.collapsed .side-h span { display: none; }
.side-h { display: flex; align-items: center; justify-content: space-between; padding: 2px 6px 8px; color: var(--muted); font-size: 11.5px; text-transform: uppercase; letter-spacing: .6px; }
.iconbtn { background: transparent; border: 0; color: var(--muted); padding: 4px 6px; border-radius: 6px; }
.iconbtn:hover { background: var(--panel-2); color: var(--text); }
.mod {
  display: flex; align-items: center; gap: 10px; width: 100%; text-align: left; background: transparent;
  border: 0; padding: 7px 8px; border-radius: 8px; color: var(--text-2);
}
.mod:hover { background: var(--panel-2); }
.mod.on { background: var(--accent-soft); color: var(--text); }
.mnum {
  flex: none; width: 24px; height: 24px; border-radius: 7px; display: grid; place-items: center;
  font-size: 12px; font-weight: 650; background: var(--panel-2); border: 1px solid var(--line); color: var(--muted);
}
.mod.on .mnum { background: var(--accent); border-color: var(--accent); color: #fff; }
.mod.complete .mnum { background: var(--fix-soft); border-color: var(--fix); color: var(--fix); }
.mtitle { flex: 1; min-width: 0; font-size: 13px; line-height: 1.3; }
.mprog { font-size: 11px; color: var(--muted); }

.left {
  width: 480px; flex: none; min-width: 340px; display: flex; flex-direction: column; min-height: 0;
  background: var(--panel); border-right: 1px solid var(--line);
}
.left.wide { flex: 1; width: auto; }
.left-scroll { overflow-y: auto; padding: 20px 22px 60px; flex: 1; }
.resizer { width: 6px; flex: none; cursor: col-resize; background: transparent; margin-left: -3px; margin-right: -3px; z-index: 2; }
.resizer:hover, .resizer.drag { background: var(--accent); opacity: .5; }

.spark { flex: 1; display: flex; flex-direction: column; min-width: 0; background: var(--panel); }
.spark[hidden] { display: none; }
.uibar {
  display: flex; align-items: center; gap: 5px; padding: 6px 8px; border-bottom: 1px solid var(--line);
  background: var(--panel-2); flex: none; min-width: 0;
}
.tabs { display: flex; gap: 2px; background: var(--panel); border: 1px solid var(--line); border-radius: 8px; padding: 2px; }
.tab { background: transparent; border: 0; padding: 4px 7px; border-radius: 6px; color: var(--muted); font-size: 12.5px; display: flex; align-items: center; gap: 6px; white-space: nowrap; }
.tab:hover { color: var(--text); }
.tab.on { background: var(--accent-soft); color: var(--text); }
.tab .dot { width: 7px; height: 7px; }
.navbtn { background: var(--panel); border: 1px solid var(--line); color: var(--text-2); border-radius: 7px; padding: 3px 8px; font-size: 13px; }
.navbtn:hover { border-color: var(--line-2); }
.path {
  flex: 1; min-width: 40px; font-family: var(--mono); font-size: 11.5px; color: var(--muted);
  background: var(--panel); border: 1px solid var(--line); border-radius: 7px; padding: 4px 8px;
  overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
}
.frame-wrap { flex: 1; position: relative; min-height: 0; }
#sparkframe { width: 100%; height: 100%; border: 0; background: #fff; display: block; }
.guide-toast {
  position: absolute; top: 12px; right: 16px; max-width: 360px; background: var(--top); color: var(--top-text);
  padding: 9px 12px; border-radius: 9px; font-size: 12.5px; box-shadow: 0 8px 24px rgba(0,0,0,.25); z-index: 5;
}
.guide-toast[hidden] { display: none; }

.console {
  height: 210px; flex: none; border-top: 1px solid var(--line); display: flex; flex-direction: column; background: #0b1020;
}
.console[hidden] { display: none; }
.console-h { display: flex; align-items: center; justify-content: space-between; padding: 4px 10px; color: #94a3b8; font-size: 12px; background: #0f172a; }
.console pre { flex: 1; margin: 0; overflow: auto; background: transparent; color: #cbd5e1; font-size: 11.5px; line-height: 1.45; border-radius: 0; white-space: pre-wrap; word-break: break-word; }
.console .lab-ok { color: #4ade80; }
.console .lab-run { color: #fbbf24; }
.console .lab-err { color: #f87171; }

/* ---------------------------------------------------------------- lesson */
.eyebrow { font-size: 11.5px; text-transform: uppercase; letter-spacing: .7px; color: var(--accent); font-weight: 650; }
h1.ltitle { font-size: 22px; line-height: 1.25; margin: 4px 0 6px; letter-spacing: -.2px; }
.tagline { color: var(--muted); margin: 0 0 16px; }
.card { background: var(--panel); border: 1px solid var(--line); border-radius: var(--radius); box-shadow: var(--shadow); }
details.concept { padding: 0; margin-bottom: 16px; }
details.concept > summary {
  list-style: none; cursor: pointer; padding: 11px 14px; font-weight: 600; display: flex; align-items: center; gap: 8px;
}
details.concept > summary::-webkit-details-marker { display: none; }
details.concept > summary::before { content: "▸"; color: var(--muted); transition: transform .15s; }
details.concept[open] > summary::before { transform: rotate(90deg); }
.prose { padding: 0 16px 6px; color: var(--text-2); }
.prose h2, .prose h3 { color: var(--text); font-size: 15px; margin: 18px 0 6px; }
.prose h4 { color: var(--text); font-size: 14px; margin: 14px 0 4px; }
.prose p { margin: 8px 0; }
.prose ul, .prose ol { padding-left: 20px; margin: 6px 0; }
.prose li { margin: 3px 0; }
.prose table { border-collapse: collapse; width: 100%; font-size: 12.5px; margin: 10px 0; }
.prose th, .prose td { border: 1px solid var(--line); padding: 5px 7px; text-align: left; vertical-align: top; }
.prose th { background: var(--panel-2); }
.prose img { max-width: 100%; }
.prose blockquote { margin: 10px 0; padding: 8px 12px; border-left: 3px solid var(--accent); background: var(--accent-soft); border-radius: 0 8px 8px 0; color: var(--text-2); }
.prose blockquote p { margin: 4px 0; }

.runs { display: grid; grid-template-columns: 1fr; gap: 8px; margin: 0 0 18px; }
.runcard { display: flex; align-items: center; gap: 10px; padding: 9px 10px 9px 12px; border-left: 4px solid var(--demo); }
.runcard.k-broken { border-left-color: var(--broken); }
.runcard.k-fix { border-left-color: var(--fix); }
.runcard.k-mystery { border-left-color: var(--mystery); }
.runcard .rc-main { flex: 1; min-width: 0; }
.runcard .rc-label { font-weight: 600; font-size: 13px; }
.runcard .rc-blurb { color: var(--muted); font-size: 12px; }
.runcard .rc-last { color: var(--muted); font-size: 11.5px; margin-top: 2px; }
.kind { font-size: 10.5px; font-weight: 700; letter-spacing: .5px; text-transform: uppercase; padding: 1px 6px; border-radius: 5px; }
.kind.broken { color: var(--broken); background: var(--broken-soft); }
.kind.fix { color: var(--fix); background: var(--fix-soft); }
.kind.demo { color: var(--demo); background: var(--demo-soft); }
.kind.mystery { color: var(--mystery); background: var(--mystery-soft); }

.btn {
  display: inline-flex; align-items: center; gap: 6px; border: 1px solid var(--line-2); background: var(--panel);
  color: var(--text); padding: 5px 11px; border-radius: 8px; font-size: 12.5px; font-weight: 550; white-space: nowrap;
}
.btn:hover { border-color: var(--muted); }
.btn:disabled { opacity: .5; cursor: default; }
.btn.run { background: var(--accent); border-color: var(--accent); color: #fff; }
.btn.run:hover { filter: brightness(1.05); }
.btn.go { color: var(--link); border-color: color-mix(in srgb, var(--link) 40%, var(--line)); }
.btn.small { padding: 3px 8px; font-size: 12px; }

.steps { display: flex; flex-direction: column; gap: 10px; }
.step { overflow: hidden; }
.step-h { display: flex; align-items: center; gap: 10px; padding: 10px 12px; cursor: pointer; user-select: none; }
.step-n {
  flex: none; width: 24px; height: 24px; border-radius: 50%; display: grid; place-items: center; font-size: 12px;
  font-weight: 700; border: 1.5px solid var(--line-2); color: var(--muted);
}
.step.done .step-n { background: var(--fix); border-color: var(--fix); color: #fff; }
.step.open .step-n { border-color: var(--accent); color: var(--accent); }
.step.done.open .step-n { color: #fff; }
.step-t { flex: 1; font-weight: 600; font-size: 13.5px; }
.step-tag { font-size: 11px; color: var(--muted); }
.step-b { display: none; padding: 0 2px 12px; border-top: 1px solid var(--line); }
.step.open .step-b { display: block; }
.step-b .prose { padding-top: 6px; }
.actions { display: flex; flex-wrap: wrap; gap: 6px; padding: 4px 16px 4px; }
.step-foot { display: flex; justify-content: space-between; align-items: center; padding: 10px 16px 0; }
.check { display: inline-flex; align-items: center; gap: 6px; color: var(--muted); font-size: 12.5px; cursor: pointer; }

.chips { display: flex; flex-wrap: wrap; gap: 6px; padding: 6px 16px; }
.chip { font-size: 12px; padding: 3px 8px; border-radius: 999px; background: var(--panel-2); border: 1px solid var(--line); color: var(--text-2); white-space: nowrap; }
.chip b { color: var(--text); font-weight: 650; }
.chip.bad { background: var(--broken-soft); border-color: color-mix(in srgb, var(--broken) 35%, var(--line)); }
.chip.good { background: var(--fix-soft); border-color: color-mix(in srgb, var(--fix) 35%, var(--line)); }
.chip-note { font-size: 11.5px; color: var(--muted); padding: 0 16px; }

.cmp { width: 100%; border-collapse: collapse; font-size: 12.5px; margin: 6px 0; }
.cmp th, .cmp td { padding: 5px 8px; border-bottom: 1px solid var(--line); text-align: right; white-space: nowrap; }
.cmp th:first-child, .cmp td:first-child { text-align: left; color: var(--text-2); white-space: normal; }
.cmp thead th { font-size: 11.5px; color: var(--muted); font-weight: 600; vertical-align: bottom; white-space: normal; }
.cmp td.better { color: var(--ok); font-weight: 650; }
.cmp td.worse { color: var(--bad); font-weight: 650; }
.cmp .open-link { font-size: 11px; }
.cmp-wrap { overflow-x: auto; padding: 0 16px; }
.note { font-size: 12px; color: var(--muted); padding: 2px 16px; }
.errbox { margin: 6px 16px; padding: 8px 10px; border-radius: 8px; background: var(--broken-soft); color: var(--broken); font-size: 12.5px; }
.infobox { margin: 6px 16px; padding: 8px 10px; border-radius: 8px; background: var(--warn-soft); color: var(--warn); font-size: 12.5px; }

.quiz { padding: 4px 16px; }
.quiz .q { margin: 6px 0 10px; }
.opt {
  display: block; width: 100%; text-align: left; background: var(--panel); border: 1px solid var(--line-2);
  color: var(--text); padding: 8px 10px; border-radius: 8px; margin: 6px 0; font-size: 13px;
}
.opt:hover { border-color: var(--mystery); }
.opt.right { border-color: var(--fix); background: var(--fix-soft); }
.opt.wrong { border-color: var(--broken); background: var(--broken-soft); }
.why { font-size: 12.5px; color: var(--text-2); margin: -2px 0 8px 10px; padding-left: 10px; border-left: 2px solid var(--line-2); }
.reveal { margin-top: 10px; padding: 10px 12px; border-radius: 8px; background: var(--mystery-soft); }
.reveal .prose { padding: 0; }

.pager { display: flex; justify-content: space-between; margin-top: 18px; }

/* ---------------------------------------------------------------- home */
.hero h1 { font-size: 24px; margin: 4px 0 6px; }
.hero p { color: var(--text-2); }
.grid2 { display: grid; grid-template-columns: 1fr; gap: 10px; margin: 14px 0; }
.tile { padding: 12px 14px; }
.tile h3 { margin: 0 0 4px; font-size: 14px; }
.tile p { margin: 0; color: var(--muted); font-size: 12.5px; }
.diagram { width: 100%; height: auto; margin: 10px 0; }
.home-h { font-size: 16px; margin: 22px 0 2px; }

/* Executor memory diagram (web/memory.js) */
.memdiag { margin: 12px 0; }
.md-head { display: flex; gap: 6px; flex-wrap: wrap; margin-bottom: 8px; }
.md-tab { font: inherit; font-size: 12px; font-weight: 600; padding: 4px 10px; border-radius: 999px; border: 1px solid var(--line-2); background: var(--panel); color: var(--text-2); cursor: pointer; }
.md-tab.on { background: var(--accent-soft); border-color: var(--accent); color: var(--text); }
.md-svg { width: 100%; max-width: 620px; height: auto; display: block; }
.md-container { fill: var(--panel-2); stroke: var(--line-2); stroke-dasharray: 5 4; }
.md-r { stroke-width: 1.2; }
.md-exec { fill: color-mix(in srgb, var(--sim-exec) 16%, var(--panel)); stroke: var(--sim-exec); }
.md-store { fill: color-mix(in srgb, var(--sim-cache) 18%, var(--panel)); stroke: var(--sim-cache); }
.md-user { fill: color-mix(in srgb, var(--demo) 8%, var(--panel)); stroke: var(--line-2); }
.md-res { fill: var(--code-bg); stroke: var(--line-2); }
.md-over { fill: color-mix(in srgb, var(--mystery) 12%, var(--panel)); stroke: var(--mystery); }
.md-off { fill: var(--panel); stroke: var(--line-2); stroke-dasharray: 4 3; }
.md-task { fill: var(--accent-soft); stroke: var(--accent); stroke-dasharray: 4 3; }
.md-boundary { stroke: var(--accent); stroke-width: 2.2; stroke-dasharray: 6 3; }
.md-br { fill: none; stroke: var(--muted); stroke-width: 1.2; }
.md-guide { stroke: var(--line-2); stroke-dasharray: 2 3; }
.md-t { fill: var(--text); font: 650 12px -apple-system, BlinkMacSystemFont, sans-serif; }
.md-v { fill: var(--text-2); font: 600 11.5px -apple-system, BlinkMacSystemFont, sans-serif; font-variant-numeric: tabular-nums; }
.md-s { fill: var(--muted); font: 10.5px -apple-system, BlinkMacSystemFont, sans-serif; }
.md-b { fill: var(--text-2); font: 600 10.5px -apple-system, BlinkMacSystemFont, sans-serif; }
.md-strong { fill: var(--text-2); font-weight: 650; }
.md-acc { fill: var(--accent); font-weight: 650; }
.md-notes { padding-left: 18px; margin: 10px 0; font-size: 12.5px; color: var(--text-2); }
.md-notes li { margin: 5px 0; }
.md-table { border-collapse: collapse; width: 100%; font-size: 12px; margin: 8px 0 4px; font-variant-numeric: tabular-nums; }
.md-table th, .md-table td { border: 1px solid var(--line); padding: 4px 7px; text-align: left; vertical-align: top; }
.md-table th { background: var(--panel-2); font-weight: 650; }
.md-table td:not(:first-child), .md-table th:not(:first-child) { text-align: right; white-space: nowrap; }
.md-table td small { display: block; color: var(--muted); font-size: 11px; }
.md-table .on { background: var(--accent-soft); }

/* ---------------------------------------------------------------- runs view */
.runlist { display: flex; flex-direction: column; gap: 8px; margin-top: 12px; }
.runrow { padding: 9px 12px; display: grid; grid-template-columns: 1fr auto; gap: 4px 10px; align-items: center; }
.runrow .rr-t { font-weight: 600; font-size: 13px; }
.runrow .rr-m { color: var(--muted); font-size: 12px; }
.runrow .rr-a { display: flex; gap: 6px; grid-row: span 2; }
.status { font-size: 11px; font-weight: 650; padding: 1px 6px; border-radius: 5px; background: var(--panel-2); color: var(--muted); }
.status.running, .status.starting { color: var(--warn); background: var(--warn-soft); }
.status.paused { color: var(--demo); background: var(--demo-soft); }
.status.done { color: var(--fix); background: var(--fix-soft); }
.status.failed { color: var(--broken); background: var(--broken-soft); }
.picker { display: flex; gap: 8px; flex-wrap: wrap; align-items: center; margin: 10px 0; }
.picker select { font: inherit; font-size: 12.5px; padding: 5px 8px; border-radius: 7px; border: 1px solid var(--line-2); background: var(--panel); color: var(--text); max-width: 100%; }

.empty { color: var(--muted); padding: 30px 6px; text-align: center; }
.kbd { font-family: var(--mono); font-size: 11px; border: 1px solid var(--line-2); border-bottom-width: 2px; border-radius: 4px; padding: 0 4px; }

@media (max-width: 900px) {
  .sidebar { display: none; }
  .left { width: 100%; }
  .resizer, .spark { display: none; }
  .runbar { display: none; }
}

/* ---------------------------------------------------------------- simulation */
:root {
  --sim-s0: #3b82f6;
  --sim-s1: #10b981;
  --sim-hot: #ef4444;
  --sim-spill: #f59e0b;
  --sim-blk: #64748b;
  --sim-s2: #8b5cf6;
  --sim-cache: #14b8a6;
  --sim-exec: #6366f1;
  --sim-killed: #94a3b8;
}
.sim-tab { color: var(--accent) !important; }
.btn.simbtn { color: var(--mystery); border-color: color-mix(in srgb, var(--mystery) 45%, var(--line)); background: var(--mystery-soft); }
.simview { position: absolute; inset: 0; overflow: auto; background: var(--panel); z-index: 3; }
.simview[hidden] { display: none; }
.sim { display: flex; flex-direction: column; min-height: 100%; padding: 10px 14px 14px; gap: 8px; }
.sim-head { display: flex; align-items: center; justify-content: space-between; gap: 10px; flex-wrap: wrap; }
.sim-title { font-size: 13px; color: var(--text-2); }
.sim-variants { display: flex; gap: 6px; }
.sim-var { font: inherit; font-size: 12px; font-weight: 600; padding: 4px 10px; border-radius: 999px; border: 1px solid var(--line-2); background: var(--panel); color: var(--text-2); cursor: pointer; }
.sim-var.on.k-broken { background: var(--broken-soft); color: var(--broken); border-color: var(--broken); }
.sim-var.on.k-fix { background: var(--fix-soft); color: var(--fix); border-color: var(--fix); }
.sim-stage svg { width: 100%; height: auto; max-height: 64vh; display: block; }
/* Driver program panel under the diagram; the diagram gives up some height so the caption stays in view */
.sim.has-code .sim-stage svg { max-height: max(320px, calc(100vh - 450px)); }
.sim-code { border: 1px solid var(--line); border-radius: 10px; overflow: hidden; background: var(--panel); }
.sim-code[hidden] { display: none; }
.sc-head { display: flex; justify-content: space-between; align-items: center; gap: 10px; padding: 4px 10px; white-space: nowrap; font-size: 12px; color: var(--text-2); background: var(--panel-2); border-bottom: 1px solid var(--line); }
.sc-legend { color: var(--muted); font-size: 11.5px; display: flex; align-items: center; gap: 8px; min-width: 0; overflow: hidden; text-overflow: ellipsis; }
.sc-head > span:first-child { min-width: 0; overflow: hidden; text-overflow: ellipsis; }
.sc-toggle { font: inherit; font-size: 11.5px; padding: 1px 8px; border-radius: 6px; border: 1px solid var(--line-2); background: var(--panel); color: var(--text-2); cursor: pointer; }
.sc-real { padding: 3px 10px 3px 7px; font: 10.5px var(--mono); color: var(--text-2); border-bottom: 1px solid var(--line); border-left: 3px solid var(--c, var(--muted)); white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.sc-real:empty { display: none; }
.sc-body { max-height: 124px; overflow: auto; padding: 3px 0; container-type: inline-size; }
.sc-body[hidden] { display: none; }
.sc-row { display: grid; grid-template-columns: 16px minmax(0, 1fr) auto; gap: 8px; align-items: center; padding: 1px 10px 1px 4px; border-left: 3px solid transparent; line-height: 19px; }
.sc-row.future { opacity: .35; }
.sc-row.run { background: color-mix(in srgb, var(--c) 15%, transparent); border-left-color: var(--c); }
.sc-row.pc .sc-code { font-weight: 700; }
.sc-row.cap { box-shadow: inset 0 0 0 1.5px color-mix(in srgb, var(--accent) 70%, transparent); }
.sc-gut { color: var(--accent); font-size: 11px; text-align: center; }
.sc-row.done .sc-gut { color: var(--fix); }
.sc-code { font: 11px var(--mono); white-space: pre; overflow: hidden; text-overflow: ellipsis; color: var(--text); }
.sc-note { font-size: 11px; white-space: nowrap; color: var(--muted); max-width: 36cqw; overflow: hidden; text-overflow: ellipsis; }
.sc-kind { font-size: 10px; font-weight: 650; padding: 0 5px; border-radius: 4px; border: 1px solid var(--line-2); color: var(--muted); }
.sc-kind.k-wide { color: var(--warn); border-color: color-mix(in srgb, var(--warn) 50%, var(--line)); }
.sc-kind.k-action { color: var(--accent); border-color: color-mix(in srgb, var(--accent) 55%, var(--line)); background: var(--accent-soft); }
.sc-op { font: 10.5px var(--mono); color: var(--text-2); }
.sc-role { color: var(--c); font-weight: 650; }
.tk-s { color: var(--fix); }
.tk-n { color: var(--mystery); }
.tk-m { color: var(--link); }
.tk-c { color: var(--muted); font-style: italic; }
.sim-bottom { display: grid; grid-template-columns: 1fr 230px; gap: 10px; align-items: start; }
.sim-caption { background: var(--mystery-soft); border: 1px solid color-mix(in srgb, var(--mystery) 30%, var(--line)); border-radius: 10px; padding: 10px 12px; font-size: 13px; line-height: 1.5; color: var(--text-2); min-height: 74px; }
.sim-caption b { color: var(--text); }
.sim-caption .hot { color: var(--sim-hot); font-weight: 650; }
.sim-cap-actions { display: flex; gap: 6px; margin-top: 8px; }
.sim-side { display: flex; flex-direction: column; gap: 8px; }
.sim-stats { border: 1px solid var(--line); border-radius: 10px; padding: 6px 10px; font-size: 12px; }
.sim-stats div { display: flex; justify-content: space-between; gap: 8px; padding: 2px 0; color: var(--muted); }
.sim-stats b { color: var(--text); font-variant-numeric: tabular-nums; }
.sim-stats b.warn { color: var(--sim-spill); }
.sim-ctrl { display: flex; gap: 6px; align-items: center; }
.sim-speed { font: inherit; font-size: 12px; padding: 3px 6px; border-radius: 7px; border: 1px solid var(--line-2); background: var(--panel); color: var(--text); }
@media (max-width: 1100px) { .sim-bottom { grid-template-columns: 1fr; } }

/* SVG parts */
.s-box { fill: var(--panel); stroke: var(--line-2); stroke-width: 1.2; }
.s-drv { fill: color-mix(in srgb, #f97316 9%, var(--panel)); stroke: #f97316; }
.s-mst { fill: color-mix(in srgb, #3b82f6 8%, var(--panel)); stroke: #3b82f6; opacity: .8; }
.s-hs { fill: color-mix(in srgb, #8b5cf6 8%, var(--panel)); stroke: #8b5cf6; opacity: .8; }
.s-wrk { fill: var(--panel-2); stroke-dasharray: 4 3; }
.s-exe { fill: color-mix(in srgb, #22c55e 6%, var(--panel)); stroke: #22c55e; }
.s-tl { fill: var(--panel-2); }
.s-t { fill: var(--text); font: 650 12.5px -apple-system, BlinkMacSystemFont, sans-serif; }
.s-s { fill: var(--muted); font: 11px -apple-system, BlinkMacSystemFont, sans-serif; }
.s-n { fill: var(--muted); font: italic 10.5px -apple-system, BlinkMacSystemFont, sans-serif; }
.s-warn { fill: var(--sim-spill) !important; font-weight: 650; font-style: normal; }
.s-slot { fill: var(--panel); stroke: var(--line-2); }
.s-slot.idle { fill: var(--panel-2); stroke-dasharray: 3 3; }
.s-slot-fill { opacity: .28; }
.s-slot-t { fill: var(--text); font: 600 11.5px -apple-system, BlinkMacSystemFont, sans-serif; }
.s-disk { fill: var(--panel-2); stroke: var(--line-2); }
.s-gauge { fill: var(--panel-2); stroke: var(--line-2); }
.s-gauge-fill { fill: #22c55e; transition: width .1s; }
.s-gauge-fill.s-red { fill: var(--sim-spill); }
.s-lane { fill: var(--panel); stroke: var(--line); }
.s-bar { opacity: .9; }
.s-bar-t { fill: #fff; font: 600 10px -apple-system, BlinkMacSystemFont, sans-serif; }
.s-now { stroke: var(--accent); stroke-width: 1.5; }
.s-bracket { stroke: var(--muted); stroke-width: 1; }
.s-link { fill: none; stroke: var(--sim-blk); stroke-width: 1.3; stroke-dasharray: 4 4; opacity: .8; }
.s-chip { stroke: rgba(0,0,0,.15); }
.s-ah { fill: var(--muted); }
.sim-playing { font-size: 12px; color: var(--muted); }
.s-lake { fill: color-mix(in srgb, #0ea5e9 8%, var(--panel)); stroke: #0ea5e9; }
.s-drv-red { stroke: var(--sim-hot) !important; stroke-width: 2.5 !important; }
.s-store-fill { fill: var(--sim-cache); }
.s-exec-fill { fill: var(--sim-exec); transition: width .1s; }
.s-exec-fill.s-red { fill: var(--sim-spill); }
.s-exec-t { fill: var(--sim-exec) !important; font-weight: 650; font-style: normal; }
.s-protect { stroke: var(--text-2); stroke-width: 1.4; stroke-dasharray: 3 2; }
.s-evicted { fill: color-mix(in srgb, var(--sim-hot) 35%, transparent); stroke: var(--sim-hot); stroke-width: 1.5; }
.s-evict-t { fill: var(--sim-hot) !important; font-weight: 650; font-style: normal; }
.s-bcast { fill: color-mix(in srgb, var(--sim-s2) 20%, var(--panel)); stroke: var(--sim-s2); }
.s-bcast-t { fill: var(--text); font: 600 10px -apple-system, BlinkMacSystemFont, sans-serif; }
.s-result { fill: var(--accent); }
.s-link-on { stroke: var(--accent); stroke-width: 1.8; opacity: 1; }
.s-link-lake { stroke: #0ea5e9; }
.s-skip { stroke: var(--muted); stroke-dasharray: 2 3; }
.s-py { fill: color-mix(in srgb, #eab308 18%, var(--panel)); stroke: #eab308; }
.s-py-t { fill: var(--text); font: 600 9.5px -apple-system, BlinkMacSystemFont, sans-serif; }
.s-py-out { fill: #eab308; }
.s-py-back { fill: #a16207; }
.s-file { fill: var(--line-2); }
.s-file-read { fill: #f97316; }
.s-file-skip { fill: var(--line); opacity: .45; }
.s-file-new { fill: #0ea5e9; }
.s-store-t { fill: var(--sim-cache) !important; font-weight: 650; font-style: normal; }
.s-running { opacity: .35; animation: simrun 1s ease-in-out infinite; }
@keyframes simrun { 50% { opacity: .15; } }
.s-gap { stroke: var(--muted); stroke-dasharray: 2 4; }

/* ---------------------------------------------------------------- replay / compare / live */
.simbar { display: flex; gap: 4px; flex-wrap: wrap; padding: 8px 14px 0; }
.simmode { font: inherit; font-size: 12px; font-weight: 600; padding: 4px 10px; border-radius: 7px; border: 1px solid var(--line-2); background: var(--panel); color: var(--text-2); cursor: pointer; }
.simmode:hover:not(:disabled) { border-color: var(--muted); }
.simmode.on { background: var(--accent-soft); border-color: var(--accent); color: var(--text); }
.simmode:disabled { opacity: .45; cursor: default; }
.muted { color: var(--muted); font-size: 12px; }
.cmp-view { padding: 12px 14px; display: flex; flex-direction: column; gap: 12px; }
.cmp-head { font-size: 13px; color: var(--text-2); }
.cmp-tls { display: grid; grid-template-columns: 1fr 1fr; gap: 10px; }
.cmp-tls > div { border: 1px solid var(--line); border-radius: 10px; padding: 6px; background: var(--panel-2); }
.cmp-tl { width: 100%; height: auto; display: block; }
.cmp-view .cmp td, .cmp-view .cmp th { text-align: left; }
.cmp-notes { background: var(--mystery-soft); border-radius: 10px; padding: 10px 14px; font-size: 13px; color: var(--text-2); }
.cmp-notes ul { margin: 6px 0 0; padding-left: 18px; }
.cmp-notes li { margin: 4px 0; }
@media (max-width: 1100px) { .cmp-tls { grid-template-columns: 1fr; } }