/* Layout: a viewing room. One big screen split by a wipe (the world on the left, a model on the right), the steps
   that made the frame beneath it, and beside it the models, the notes and the inspector. The record below. */
:root {
  --paper: #eceee9;
  --plate: #f9faf7;
  --ink: #14171a;
  --soft: #464c52;
  --mid: #737980;
  --hair: #cfd3cd;
  --screen: #0b0d10;
  --screen-edge: #2a2f36;
  --m-world: #14171a;
  --m-picture: #2a78d6;
  --m-rule: #c98f00;
  --m-recall: #e0662a;
  --m-mosaic: #169e6e;
  --m-diffusion: #8a5cd1;
  --good: #1f8a5b;
  --bad: #c8412f;
  --note-event: #464c52;
  --focus: #2a78d6;
  --display: "Big Shoulders Display", "Arial Narrow", "Helvetica Neue", Arial, sans-serif;
  --body: "Source Serif 4", Georgia, "Times New Roman", serif;
  --mono: "IBM Plex Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;
  --board: #17211d;
  --chalk: #eef1ea;
  --chalk-dim: #bcc7bf;
  --chalk-rule: rgba(238, 241, 234, 0.16);
  --chalk-good: #7fe3ab;
  --chalk-bad: #ff8f84;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    color-scheme: dark;
    --paper: #0f1113; --plate: #16191c; --ink: #e5e7e2; --soft: #b7bcc2; --mid: #8d939a; --hair: #2b3036;
    --screen-edge: #3a414a; --m-world: #e5e7e2; --m-picture: #4b93ea; --m-rule: #e0a61a; --m-recall: #f07a3e; --m-mosaic: #2fb886; --m-diffusion: #a883e6;
    --good: #3fb37d; --bad: #ff6a4a; --note-event: #b7bcc2; --focus: #7aa7ff;
  }
}
:root[data-theme="dark"] {
  color-scheme: dark;
  --paper: #0f1113; --plate: #16191c; --ink: #e5e7e2; --soft: #b7bcc2; --mid: #8d939a; --hair: #2b3036;
  --screen-edge: #3a414a; --m-world: #e5e7e2; --m-picture: #4b93ea; --m-rule: #e0a61a; --m-recall: #f07a3e; --m-mosaic: #2fb886; --m-diffusion: #a883e6;
  --good: #3fb37d; --bad: #ff6a4a; --note-event: #b7bcc2; --focus: #7aa7ff;
}
* { box-sizing: border-box; }
body { margin: 0; background: var(--paper); color: var(--ink); font-family: var(--body); font-size: 17px; line-height: 1.55; -webkit-font-smoothing: antialiased; }
.wrap { max-width: 1320px; margin: 0 auto; padding-inline: 16px; padding-block: 22px 60px; display: grid; gap: 20px; }
header { display: grid; gap: 8px; }
h1 { font-family: var(--display); font-weight: 800; font-size: clamp(38px, 6vw, 60px); line-height: 0.95; letter-spacing: 0.01em; text-transform: uppercase; margin: 0; text-wrap: balance; }
h2 { font-family: var(--display); font-weight: 800; font-size: 28px; line-height: 1; letter-spacing: 0.02em; text-transform: uppercase; margin: 0; text-wrap: balance; }
h3 { font-family: var(--display); font-weight: 600; font-size: 17px; letter-spacing: 0.06em; text-transform: uppercase; margin: 0; color: var(--soft); }
.deck { margin: 0; color: var(--soft); max-width: 72ch; }
.label { font-family: var(--display); font-weight: 600; font-size: 14px; letter-spacing: 0.08em; text-transform: uppercase; color: var(--mid); }
p { margin: 0; }
button:focus-visible, input:focus-visible, select:focus-visible, canvas:focus-visible, [tabindex]:focus-visible { outline: 2px solid var(--focus); outline-offset: 2px; }

.bar { display: flex; flex-wrap: wrap; gap: 10px 14px; align-items: center; }
.tabs { display: inline-flex; border: 1px solid var(--ink); border-radius: 6px; overflow: hidden; }
.tabs button { border: 0; background: transparent; color: var(--ink); font-family: var(--display); font-weight: 800; font-size: 20px; letter-spacing: 0.05em; text-transform: uppercase; padding: 6px 16px; cursor: pointer; }
.tabs button[aria-selected="true"], .tabs button[aria-pressed="true"] { background: var(--ink); color: var(--plate); }
.seg { display: inline-flex; border: 1px solid var(--hair); border-radius: 5px; overflow: hidden; flex-wrap: wrap; }
.seg button { border: 0; border-right: 1px solid var(--hair); background: transparent; color: var(--ink); font-family: var(--display); font-weight: 600; font-size: 15px; letter-spacing: 0.04em; text-transform: uppercase; padding: 6px 11px; cursor: pointer; }
.seg button:last-child { border-right: 0; }
.seg button[aria-pressed="true"] { background: var(--ink); color: var(--plate); }
.btn { border: 1px solid var(--hair); background: transparent; color: var(--ink); font-family: var(--display); font-weight: 600; font-size: 15px; letter-spacing: 0.04em; text-transform: uppercase; padding: 6px 11px; border-radius: 5px; cursor: pointer; }
.btn.primary { background: var(--ink); color: var(--plate); border-color: var(--ink); }
.btn:disabled { opacity: 0.45; cursor: default; }
input[type="text"], select { font-family: var(--mono); font-size: 14px; padding: 4px 7px; border: 1px solid var(--hair); border-radius: 5px; background: var(--plate); color: var(--ink); }
input[type="text"] { width: 6em; text-transform: uppercase; }
input[type="range"] { width: 100%; accent-color: var(--ink); }

.room { display: grid; grid-template-columns: minmax(0, 1.6fr) minmax(0, 1fr); gap: 18px; align-items: start; }
@media (max-width: 1000px) { .room { grid-template-columns: minmax(0, 1fr); } }
.panel { background: var(--plate); border: 1px solid var(--hair); border-radius: 6px; padding: 14px; display: grid; grid-template-columns: minmax(0, 1fr); gap: 12px; min-width: 0; }
.viewer { display: grid; gap: 10px; min-width: 0; }
.big { position: relative; width: 100%; max-width: 100%; margin-inline: auto; background: var(--screen); border: 1px solid var(--screen-edge); border-radius: 5px; overflow: hidden; touch-action: none; }
.big canvas { display: block; width: 100%; height: auto; cursor: crosshair; }
.big .tag { position: absolute; top: 8px; font-family: var(--display); font-weight: 800; font-size: 16px; letter-spacing: 0.05em; text-transform: uppercase; color: #f2f4f1; background: rgba(11, 13, 16, 0.72); padding: 2px 8px; border-radius: 3px; pointer-events: none; }
.big .tag.left { left: 8px; }
.big .tag.right { right: 8px; }
.subtitle { min-height: 3.1em; font-size: 16px; line-height: 1.45; color: var(--ink); border-left: 3px solid var(--hair); padding-left: 10px; }
.subtitle .who { font-family: var(--display); font-weight: 800; letter-spacing: 0.03em; text-transform: uppercase; font-size: 14px; }
.subtitle .none { color: var(--mid); font-style: italic; }
.transport { display: flex; flex-wrap: wrap; gap: 8px 10px; align-items: center; }
.transport .clock { font-family: var(--mono); font-size: 13px; color: var(--soft); font-variant-numeric: tabular-nums; margin-left: auto; }
.scrub { display: grid; grid-template-columns: auto minmax(0, 1fr); gap: 10px; align-items: center; }
.how { display: grid; gap: 6px; border-top: 1px solid var(--hair); padding-top: 10px; }
.how .row { display: grid; grid-template-columns: auto minmax(0, 1fr) auto; gap: 10px; align-items: center; }
.how .step-name { font-family: var(--mono); font-size: 13px; color: var(--ink); font-variant-numeric: tabular-nums; white-space: nowrap; }
.how .caption { font-size: 15px; color: var(--soft); min-height: 2.9em; }
.options { display: flex; flex-wrap: wrap; gap: 6px 16px; align-items: center; font-size: 14px; color: var(--soft); }
.options label { display: inline-flex; gap: 6px; align-items: center; }
.status { font-family: var(--mono); font-size: 12.5px; color: var(--soft); min-height: 1.4em; }

.models { display: grid; gap: 6px; }
.model { display: grid; grid-template-columns: 64px minmax(0, 1fr); gap: 10px; align-items: center; text-align: left; border: 1px solid var(--hair); background: transparent; color: var(--ink); border-radius: 5px; padding: 6px; cursor: pointer; font: inherit; }
.model[aria-pressed="true"] { border-color: var(--ink); box-shadow: inset 0 0 0 1px var(--ink); }
.model canvas { width: 64px; height: auto; display: block; border-radius: 3px; background: var(--screen); image-rendering: pixelated; }
.model .nm { display: flex; align-items: center; gap: 7px; font-family: var(--display); font-weight: 800; font-size: 17px; letter-spacing: 0.03em; text-transform: uppercase; line-height: 1.1; }
.model .nm i { width: 10px; height: 10px; border-radius: 2px; flex: none; }
.model .does { display: block; font-size: 12.5px; color: var(--mid); line-height: 1.3; }
.model .st { display: block; font-family: var(--mono); font-size: 12px; color: var(--soft); font-variant-numeric: tabular-nums; margin-top: 2px; }

.notes { max-height: 300px; overflow-y: auto; display: grid; gap: 4px; align-content: start; padding-right: 4px; }
.note { display: grid; grid-template-columns: 34px minmax(0, 1fr); gap: 8px; font-size: 14px; line-height: 1.4; border: 0; background: transparent; color: var(--ink); text-align: left; padding: 3px 4px; border-radius: 4px; cursor: pointer; font-family: var(--body); }
.note:hover { background: color-mix(in srgb, var(--hair) 40%, transparent); }
.note .fr { font-family: var(--mono); font-size: 12px; color: var(--mid); font-variant-numeric: tabular-nums; padding-top: 1px; }
.note .who { font-family: var(--display); font-weight: 800; letter-spacing: 0.03em; text-transform: uppercase; font-size: 13px; }
.note.now { background: color-mix(in srgb, var(--hair) 55%, transparent); }
.note.diverge .txt::before { content: "✕ "; color: var(--bad); font-weight: 600; }
.note.agree .txt::before { content: "✓ "; color: var(--good); font-weight: 600; }
.note.event .txt::before { content: "● "; color: var(--note-event); }
.note.receipt .txt::before { content: "↳ "; color: var(--mid); }
.inspector { display: grid; grid-template-columns: minmax(0, 1fr); gap: 10px; font-size: 14.5px; line-height: 1.45; }
.inspector .cols { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 12px; }
@media (max-width: 520px) { .inspector .cols { grid-template-columns: minmax(0, 1fr); } }
.inspector .col { display: grid; gap: 6px; align-content: start; min-width: 0; }
.inspector .col h4 { margin: 0; font-family: var(--display); font-weight: 800; font-size: 15px; letter-spacing: 0.04em; text-transform: uppercase; }
.inspector canvas { width: 100%; max-width: 220px; height: auto; image-rendering: pixelated; border-radius: 3px; background: var(--screen); }
.inspector ul { margin: 0; padding-left: 1.1em; display: grid; gap: 3px; }
.bars { display: grid; gap: 3px; }
.barrow { display: grid; grid-template-columns: 38px minmax(0, 1fr) 42px; gap: 6px; align-items: center; font-family: var(--mono); font-size: 11.5px; color: var(--soft); }
.barrow .b { height: 9px; background: var(--hair); border-radius: 2px; overflow: hidden; }
.barrow .b span { display: block; height: 100%; background: var(--m-diffusion); }
.barrow canvas { width: 38px; height: 38px; border-radius: 2px; }
.hint { font-size: 14px; color: var(--mid); font-style: italic; }
.archive { display: grid; gap: 8px; font-size: 14px; line-height: 1.45; }
.archive dl { margin: 0; display: grid; grid-template-columns: auto minmax(0, 1fr); gap: 3px 10px; }
.archive dt { font-family: var(--display); font-weight: 800; font-size: 14px; letter-spacing: 0.03em; text-transform: uppercase; }
.archive dd { margin: 0; color: var(--soft); }
.codebook { display: grid; grid-template-columns: repeat(16, minmax(0, 1fr)); gap: 3px; }
.codebook button { padding: 0; border: 1px solid var(--hair); border-radius: 2px; background: transparent; cursor: pointer; aspect-ratio: 1; }
.codebook button[aria-pressed="true"] { outline: 2px solid var(--ink); outline-offset: 1px; }
.codebook canvas { width: 100%; height: 100%; display: block; image-rendering: pixelated; }
.members { display: flex; flex-wrap: wrap; gap: 4px; align-items: center; }
.members canvas { width: 36px; height: 36px; image-rendering: pixelated; border-radius: 2px; }
.mono { font-family: var(--mono); font-size: 13px; font-variant-numeric: tabular-nums; }
.ok { color: var(--good); }
.no { color: var(--bad); }

.record { display: grid; gap: 14px; }
.table-wrap { overflow-x: auto; border: 1px solid var(--hair); border-radius: 6px; background: var(--plate); }
table { border-collapse: collapse; width: 100%; min-width: 760px; font-size: 14px; }
th, td { padding: 8px 10px; text-align: left; vertical-align: top; border-bottom: 1px solid var(--hair); }
th { font-family: var(--display); font-weight: 600; font-size: 15px; letter-spacing: 0.05em; text-transform: uppercase; color: var(--soft); }
td.n { font-family: var(--mono); font-size: 13px; font-variant-numeric: tabular-nums; }
tr:last-child td { border-bottom: 0; }
.chip { display: inline-flex; align-items: center; gap: 6px; font-family: var(--mono); font-size: 12px; padding: 2px 8px; border-radius: 999px; border: 1px solid var(--hair); white-space: nowrap; }
.chip.held { color: var(--good); border-color: currentColor; }
.chip.failed { color: var(--bad); border-color: currentColor; }
.cols2 { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 22px; }
@media (max-width: 820px) { .cols2 { grid-template-columns: minmax(0, 1fr); } }
.prose { display: grid; gap: 12px; max-width: 72ch; align-content: start; }
ul { margin: 0; padding-left: 1.1em; display: grid; gap: 6px; }
footer { font-size: 14px; color: var(--mid); }
/* Mathematics mode: a chalkboard under the steps, one pixel worked by hand in the side panel. */
body:not(.math) .math-only { display: none !important; }
body.math .pictures-only { display: none !important; }
.subtitle.eqline { font-size: 19px; white-space: nowrap; overflow-x: auto; overflow-y: hidden; border-left-color: var(--ink); font-variant-numeric: lining-nums tabular-nums; }
.chalk { background: var(--board); color: var(--chalk); border-radius: 6px; padding: 16px 18px; display: grid; grid-template-columns: minmax(0, 1fr); gap: 18px; font-size: 15.5px; line-height: 1.5; min-width: 0; }
.chalk .card { display: grid; grid-template-columns: minmax(0, 1fr); gap: 7px; min-width: 0; }
.chalk h5 { margin: 0; font-family: var(--display); font-weight: 800; font-size: 17px; letter-spacing: 0.05em; text-transform: uppercase; color: #ffffff; }
.chalk .say { color: var(--chalk-dim); }
.chalk .eq { color: #ffffff; }
.eq { font-family: var(--body); font-size: 17px; font-variant-numeric: lining-nums tabular-nums; overflow-x: auto; overflow-y: hidden; white-space: nowrap; padding: 3px 0; }
.eq i, .say i, .eqline i { font-style: italic; }
.fr { display: inline-flex; flex-direction: column; vertical-align: middle; text-align: center; font-size: 0.88em; margin: 0 3px; }
.fr > span { padding: 0 3px; line-height: 1.3; }
.fr > span:first-child { border-bottom: 1px solid currentColor; }
.sq > span { border-top: 1px solid currentColor; padding: 0 2px; margin-left: 1px; }
.mat { display: inline-grid; vertical-align: middle; gap: 1px 12px; padding: 2px 9px; margin: 0 3px; position: relative; font-size: 0.9em; line-height: 1.35; }
.mat > span { text-align: right; }
.mat::before, .mat::after { content: ""; position: absolute; top: 0; bottom: 0; width: 5px; border: 1.5px solid currentColor; }
.mat::before { left: 0; border-right: 0; border-radius: 3px 0 0 3px; }
.mat::after { right: 0; border-left: 0; border-radius: 0 3px 3px 0; }
.nums-wrap { overflow-x: auto; min-width: 0; }
table.nums { min-width: 0; width: auto; border-collapse: collapse; font-size: 13.5px; line-height: 1.45; color: var(--ink); font-variant-numeric: lining-nums tabular-nums; }
.chalk table.nums { color: var(--chalk); }
table.nums th, table.nums td { padding: 3px 12px 3px 0; border-bottom: 1px solid var(--hair); text-align: left; vertical-align: baseline; white-space: nowrap; }
table.nums th { font-family: var(--display); font-weight: 600; font-size: 13.5px; letter-spacing: 0.03em; text-transform: none; color: var(--soft); }
.chalk table.nums th, .chalk table.nums td { border-bottom-color: var(--chalk-rule); }
.chalk table.nums th { color: var(--chalk-dim); }
ul.lines { margin: 0; padding-left: 1.1em; display: grid; gap: 4px; font-size: 14.5px; }
.sub-card { border-left: 2px solid var(--chalk-rule); padding-left: 10px; display: grid; grid-template-columns: minmax(0, 1fr); gap: 4px; min-width: 0; }
.tick { color: var(--good); font-weight: 600; }
.cross { color: var(--bad); font-weight: 600; }
.chalk .tick { color: var(--chalk-good); }
.chalk .cross { color: var(--chalk-bad); }
.work { display: grid; grid-template-columns: minmax(0, 1fr); gap: 8px; font-size: 14.5px; line-height: 1.45; min-width: 0; }
.work ol.work-steps > li { min-width: 0; }
.work h4 { margin: 6px 0 0; font-family: var(--display); font-weight: 800; font-size: 15px; letter-spacing: 0.04em; text-transform: uppercase; }
.work .eq { font-size: 15.5px; white-space: normal; }
.work ol.work-steps { margin: 0; padding-left: 1.3em; display: grid; grid-template-columns: minmax(0, 1fr); gap: 8px; min-width: 0; }
.work .say { color: var(--soft); }
@media (prefers-reduced-motion: reduce) { * { transition: none !important; } }