/* Isometric-paper palette: warm paper, ink type, hairline rules, one terracotta accent. */
:root {
  --paper: #f7f4ec; --paper-raised: #fffdf7; --paper-sunk: #efeade;
  --ink: #1f1b16; --ink-soft: #5c554a; --ink-faint: #8b8375;
  --rule: #ded6c4; --rule-strong: #c9bda5;
  --accent: #c2622d; --accent-soft: #f0dccb; --slate: #3e5c6b; --moss: #5e7a52; --clay: #a8452f;
  --serif: "Source Serif 4", Georgia, "Times New Roman", serif;
  --sans: Inter, system-ui, -apple-system, "Segoe UI", sans-serif;
  --mono: "JetBrains Mono", "SFMono-Regular", Menlo, Consolas, "Liberation Mono", monospace;
}
* { box-sizing: border-box; }
html, body { margin: 0; background: var(--paper); color: var(--ink); font-family: var(--sans); }
.top { display: flex; justify-content: space-between; align-items: flex-start; gap: 12px; padding: 16px 20px 8px; }
.top h1 { margin: 0; font-family: var(--serif); font-size: 24px; font-weight: 600; }
.top p { margin: 2px 0 0; color: var(--ink-soft); font-size: 14px; }
button { font: inherit; font-size: 13px; color: var(--ink); background: var(--paper-raised); border: 1px solid var(--rule); border-radius: 8px; padding: 6px 12px; cursor: pointer; }
button:hover { border-color: var(--ink-faint); }
button:disabled { opacity: 0.45; cursor: default; }
.steps { display: flex; gap: 6px; flex-wrap: wrap; padding: 4px 20px 12px; }
.steps button { border-radius: 999px; }
.steps button[aria-current="step"] { background: var(--accent-soft); border-color: var(--accent); }
.layout { display: grid; grid-template-columns: minmax(0, 3fr) minmax(260px, 2fr); gap: 20px; padding: 0 20px 20px; }
.figure { margin: 0; background: var(--paper-raised); border: 1px solid var(--rule); border-radius: 12px; padding: 12px; }
.figure svg { display: block; width: 100%; height: auto; }
.figure figcaption { font-size: 13px; color: var(--ink-soft); margin-top: 6px; }
.side { background: var(--paper-raised); border: 1px solid var(--rule); border-radius: 12px; padding: 18px; }
.step-count { margin: 0; font-size: 11px; letter-spacing: 0.14em; text-transform: uppercase; color: var(--ink-faint); }
.side h2 { margin: 4px 0 8px; font-family: var(--serif); font-size: 22px; font-weight: 600; }
.lede { margin: 0 0 8px; font-weight: 600; }
.body { margin: 0 0 14px; font-size: 14px; line-height: 1.5; color: var(--ink-soft); }
.controls label { display: block; font-size: 13px; margin: 10px 0 4px; }
.controls input[type=range] { width: 100%; accent-color: var(--accent); }
.readout { display: grid; grid-template-columns: auto 1fr; gap: 4px 12px; margin: 14px 0 0; padding-top: 10px; border-top: 1px solid var(--rule); font-size: 14px; }
.readout dt { color: var(--ink-faint); }
.readout dd { margin: 0; font-weight: 600; font-variant-numeric: tabular-nums; }
.nav { display: flex; justify-content: space-between; margin-top: 16px; }
/* Diagram marks */
.axis { stroke: var(--ink); stroke-width: 1.5; }
.grid { stroke: var(--rule); stroke-width: 1; }
.tick { fill: var(--ink-faint); font-size: 12px; }
.label { fill: var(--ink-soft); font-size: 13px; }
.curve-a { stroke: var(--slate); stroke-width: 3; fill: none; }
.curve-b { stroke: var(--moss); stroke-width: 3; fill: none; }
.curve-ghost { stroke: var(--rule-strong); stroke-width: 2; stroke-dasharray: 6 5; fill: none; }
.guide { stroke: var(--ink-faint); stroke-width: 1; stroke-dasharray: 4 4; }
.point { fill: var(--accent); stroke: var(--paper-raised); stroke-width: 2; }
.gap { fill: var(--accent-soft); stroke: var(--accent); stroke-width: 1; }
.tag { fill: var(--ink); font-size: 13px; font-weight: 600; }
dialog { max-width: 560px; border: 1px solid var(--rule); border-radius: 12px; background: var(--paper-raised); color: var(--ink); }
dialog h2, dialog h3 { font-family: var(--serif); }
.ledger { padding-left: 18px; font-size: 14px; line-height: 1.5; }
.ledger b { text-transform: capitalize; }
/* Side-panel controls */
.panel { margin-top: 6px; }
.panel label { margin-top: 12px; }
.code-input { width: 100%; font-family: var(--mono); font-size: 13px; line-height: 1.5; color: var(--ink); background: var(--paper); border: 1px solid var(--rule); border-radius: 8px; padding: 8px; resize: vertical; }
.code-input:focus, .row input:focus { outline: 2px solid var(--accent-soft); border-color: var(--accent); }
.row { display: flex; gap: 8px; flex-wrap: wrap; margin-top: 8px; align-items: center; }
.row input[type=number] { width: 90px; font: inherit; font-size: 13px; padding: 5px 8px; border: 1px solid var(--rule); border-radius: 8px; background: var(--paper); color: var(--ink); }
button.primary { border-color: var(--accent); background: var(--accent-soft); }
.chips { display: flex; flex-wrap: wrap; gap: 6px; align-items: center; margin-top: 10px; }
.chips-label { display: block; width: 100%; font-size: 12px; color: var(--ink-faint); margin-top: 8px; }
.chip { font-family: var(--mono); border-radius: 999px; padding: 4px 12px; }
.chip[aria-pressed="true"] { background: var(--accent-soft); border-color: var(--accent); font-weight: 600; }
.note { font-size: 13px; color: var(--ink-soft); margin: 8px 0 0; font-family: var(--mono); }
.code-block { font-family: var(--mono); font-size: 12.5px; line-height: 1.55; background: var(--paper); border: 1px solid var(--rule); border-radius: 8px; padding: 8px 10px; margin: 6px 0 0; color: var(--ink-faint); overflow-x: auto; }
.code-block .run { color: var(--ink); background: var(--accent-soft); font-weight: 600; }
.items { display: flex; flex-wrap: wrap; gap: 6px; margin-top: 4px; min-height: 30px; }
.item { display: inline-flex; align-items: center; gap: 6px; font-family: var(--mono); font-size: 13px; background: var(--paper); border: 1px solid var(--rule-strong); border-radius: 8px; padding: 3px 4px 3px 8px; cursor: grab; user-select: none; }
.item.dragging { opacity: 0.4; }
.item.drop { border-color: var(--accent); }
.item-i { font-size: 10px; color: var(--ink-faint); }
.item-x { border: none; background: none; padding: 0 4px; font-size: 15px; line-height: 1; color: var(--ink-faint); }
.item-x:hover { color: var(--clay); }
/* Program and memory marks */
.card { fill: var(--paper); stroke: var(--rule); stroke-width: 1; }
.small-cap { fill: var(--ink-faint); font-size: 11px; letter-spacing: 0.12em; text-transform: uppercase; }
.small { fill: var(--ink-soft); font-size: 13px; }
.code { fill: var(--ink); font-family: var(--mono); font-size: 13px; white-space: pre; }
.code-small { font-size: 12px; }
.code-wait { fill: var(--ink-faint); }
.code-err { fill: var(--clay); font-weight: 600; }
.lineno { fill: var(--ink-faint); font-family: var(--mono); font-size: 11px; }
.line-now { fill: var(--accent-soft); stroke: var(--accent); stroke-width: 1; }
.line-loop { fill: var(--paper-sunk); }
.line-err { fill: #f5dcd3; stroke: var(--clay); stroke-width: 1; }
.kind { fill: var(--slate); font-family: var(--mono); font-size: 13px; font-weight: 600; }
.kind-const { fill: var(--moss); }
.vname { fill: var(--ink); font-family: var(--mono); font-size: 13px; }
.vbox { fill: var(--paper-raised); stroke: var(--ink-soft); stroke-width: 1.5; }
.vbox-changed { stroke: var(--accent); stroke-width: 2.5; fill: var(--accent-soft); }
.vbox-ghost { stroke: var(--rule-strong); stroke-dasharray: 5 4; fill: none; }
.vbox-blocked { stroke: var(--clay); stroke-width: 2.5; stroke-dasharray: 6 3; }
.vval { fill: var(--ink); font-family: var(--mono); font-size: 16px; font-weight: 600; }
.vval-small { font-size: 13px; }
.vval-ghost { fill: var(--ink-faint); font-size: 13px; font-style: italic; }
.tag-now { fill: var(--accent); font-size: 12px; font-weight: 600; }
.tag-err { fill: var(--clay); font-size: 12px; font-weight: 600; font-family: var(--mono); }
.banner { fill: var(--paper-sunk); stroke: var(--rule); }
.banner-err { fill: #f5dcd3; stroke: var(--clay); }
.banner-text { fill: var(--ink); font-size: 13px; font-family: var(--mono); }
.banner-text-err { fill: var(--clay); font-weight: 600; }
/* Types */
.tile { stroke-width: 2; fill: var(--paper); }
.tile-number { stroke: var(--slate); }
.tile-string { stroke: var(--moss); }
.tile-boolean, .tile-other, .tile-type { stroke: var(--ink-faint); }
.tile-error { stroke: var(--clay); stroke-dasharray: 5 4; }
.tile-result { stroke: var(--accent); fill: var(--accent-soft); stroke-width: 2.5; }
.tile-val { fill: var(--ink); font-family: var(--mono); font-size: 26px; font-weight: 600; white-space: pre; }
.tile-val-small { fill: var(--ink); font-family: var(--mono); font-size: 16px; white-space: pre; }
.typeof { fill: var(--ink-soft); font-family: var(--mono); font-size: 13px; white-space: pre; }
.op { fill: var(--paper-raised); stroke: var(--ink); stroke-width: 1.5; }
.op-text { fill: var(--ink); font-family: var(--mono); font-size: 20px; font-weight: 700; }
.flow { stroke: var(--ink-faint); stroke-width: 1.5; fill: var(--ink-faint); }
/* Flowchart */
.node { stroke-width: 1.5; }
.node-on { fill: var(--paper-raised); stroke: var(--ink-soft); }
.node-run { fill: var(--accent-soft); stroke: var(--accent); stroke-width: 2.5; }
.node-off { fill: var(--paper); stroke: var(--rule-strong); }
.node-skip { fill: var(--paper); stroke: var(--rule-strong); stroke-dasharray: 5 4; }
.node-text { fill: var(--ink); font-size: 14px; font-weight: 600; }
.node-text-off { fill: var(--ink-faint); font-weight: 400; }
.cond { fill: var(--ink-soft); font-family: var(--mono); font-size: 12px; }
.cond-true { fill: var(--accent); font-weight: 700; }
.edge { stroke-width: 2; }
.edge-on { stroke: var(--accent); fill: var(--accent); stroke-width: 3; }
.edge-off { stroke: var(--rule-strong); fill: var(--rule-strong); }
.edge-label { fill: var(--ink-faint); font-size: 11px; }
.zone-hot { fill: var(--clay); opacity: 0.35; }
.zone-mild { fill: var(--moss); opacity: 0.3; }
.zone-cold { fill: var(--slate); opacity: 0.35; }
.console { fill: var(--ink); }
.console-cap { fill: var(--ink-faint); }
.console-text { fill: var(--paper); font-family: var(--mono); font-size: 14px; }
/* Array cells */
.cell { fill: var(--paper); stroke: var(--ink-soft); stroke-width: 1.2; }
.cell-done { fill: #e3eadc; stroke: var(--moss); }
.cell-now { fill: var(--accent-soft); stroke: var(--accent); stroke-width: 2.5; }
.cell-ghost { fill: none; stroke: var(--rule-strong); stroke-dasharray: 4 4; }
.cell-text { fill: var(--ink); font-family: var(--mono); font-size: 14px; font-weight: 600; }
.idx { fill: var(--ink-faint); font-family: var(--mono); font-size: 11px; }
.idx-now { fill: var(--accent); font-weight: 700; }
@media (max-width: 760px) { .layout { grid-template-columns: 1fr; } }