:root {
  --bg: #ffffff;
  --fg: #111111;
  --muted: #5a5a5a;
  --line: #c9c9c9;
  --soft: #f2f2f2;
  --inv-bg: #111111;
  --inv-fg: #ffffff;
  --sans: "IBM Plex Sans", "Helvetica Neue", Arial, sans-serif;
  --mono: "IBM Plex Mono", Consolas, "Courier New", monospace;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #0f0f0f; --fg: #f2f2f2; --muted: #a8a8a8; --line: #444444; --soft: #1c1c1c;
    --inv-bg: #f2f2f2; --inv-fg: #0f0f0f; color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --bg: #0f0f0f; --fg: #f2f2f2; --muted: #a8a8a8; --line: #444444; --soft: #1c1c1c;
  --inv-bg: #f2f2f2; --inv-fg: #0f0f0f; color-scheme: dark;
}
body { margin: 0; background: var(--bg); color: var(--fg); font-family: var(--sans); font-size: 18px; line-height: 1.5; }
.wrap {
  max-width: 1200px; margin: 0 auto;
  padding-block: 28px 40px;
  padding-left: max(16px, env(safe-area-inset-left, 0px));
  padding-right: max(16px, env(safe-area-inset-right, 0px));
  display: flex; flex-direction: column; gap: 24px;
}
.crumbs { font-size: 15px; color: var(--muted); }
.crumbs a { color: var(--muted); }
h1 { font-size: 30px; font-weight: 600; margin: 0; text-wrap: balance; }
h1 code { font-family: var(--mono); }
.grid { display: grid; grid-template-columns: minmax(0, 1.35fr) minmax(0, 1fr); gap: 24px; align-items: start; }
@media (max-width: 820px) { .grid { grid-template-columns: minmax(0, 1fr); } }
.code { border: 1.5px solid var(--fg); border-radius: 6px; padding: 10px 0; overflow-x: auto; }
.ln { display: flex; align-items: center; font-family: var(--mono); font-size: 20px; padding: 4px 14px; white-space: pre; }
.ln.on { background: var(--soft); font-weight: 600; }
.marks { width: 72px; flex-shrink: 0; display: flex; gap: 6px; }
.tag { font-family: var(--sans); font-size: 14px; font-weight: 600; padding: 1px 8px; border-radius: 4px; line-height: 1.5; }
.tag.solid { background: var(--inv-bg); color: var(--inv-fg); border: 1.5px solid var(--inv-bg); }
.tag.outline { background: var(--bg); color: var(--fg); border: 1.5px solid var(--fg); }
.tag.dashed { background: var(--bg); color: var(--fg); border: 1.5px dashed var(--fg); }
.tag.double { background: var(--bg); color: var(--fg); border: 3px double var(--fg); }
.panels { display: flex; flex-direction: column; gap: 16px; }
.panels.cols-2 { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); }
@media (max-width: 560px) { .panels.cols-2 { grid-template-columns: minmax(0, 1fr); } }
.panel { border: 1.5px solid var(--fg); border-radius: 6px; padding: 14px 18px; }
.panel.gone { border-style: dashed; border-color: var(--line); color: var(--muted); }
.panel h3, .sim-actor h3 { font-size: 20px; font-weight: 600; margin: 0 0 8px; display: flex; align-items: center; gap: 10px; }
.kv { display: grid; grid-template-columns: 1fr auto; row-gap: 4px; font-size: 18px; margin: 0; }
.kv dt { color: var(--muted); }
.kv dd { margin: 0; font-family: var(--mono); font-weight: 600; font-variant-numeric: tabular-nums; text-align: right; }
.kv .hot { border-bottom: 2px solid var(--fg); }
.out-label { font-size: 15px; color: var(--muted); margin-bottom: 6px; }
.out { white-space: pre-wrap; font-family: var(--mono); font-size: 20px; background: var(--soft); border-radius: 6px; padding: 12px 16px; min-height: 34px; }
.cap { font-size: 22px; line-height: 1.55; max-width: 62ch; margin: 0; min-height: 3.2em; }
.bar { display: flex; flex-wrap: wrap; align-items: center; gap: 12px; }
button {
  font-family: var(--sans); font-size: 18px; font-weight: 600; padding: 10px 20px;
  border: 1.5px solid var(--fg); border-radius: 6px; background: var(--bg); color: var(--fg); cursor: pointer;
}
button.primary { background: var(--inv-bg); color: var(--inv-fg); border-color: var(--inv-bg); }
button:focus-visible { outline: 3px solid var(--fg); outline-offset: 3px; }
button:disabled { opacity: 0.4; cursor: default; }
.count { margin-left: auto; color: var(--muted); font-variant-numeric: tabular-nums; }
.hint { font-size: 15px; color: var(--muted); }
.files { font-size: 16px; color: var(--muted); }
.files a { color: var(--fg); }

.muted { color: var(--muted); }
.block { display: flex; flex-direction: column; gap: 16px; border-top: 1.5px solid var(--fg); padding-top: 18px; }
.block > h2 { font-size: 22px; font-weight: 600; margin: 0; }
.lead { margin: 0; max-width: 62ch; }
.stage { position: relative; width: 100%; aspect-ratio: 16 / 9; border: 1.5px solid var(--fg); border-radius: 6px; overflow: hidden; background: #ffffff; }
.stage video { position: absolute; inset: 0; width: 100%; height: 100%; opacity: 0; }
.stage video.front { opacity: 1; }
.fig { border: 1.5px solid var(--fg); border-radius: 6px; padding: 12px; overflow-x: auto; }
.fig svg { display: block; width: 100%; min-width: 620px; height: auto; }
.fig text { fill: var(--fg); font-family: var(--sans); font-size: 18px; }
.fig .mono { font-family: var(--mono); }
.fig .note { fill: var(--muted); font-size: 16px; }
.fig .title { font-weight: 600; font-size: 19px; }
.fig .run { stroke: var(--fg); stroke-width: 5; fill: none; }
.fig .wait { stroke: var(--fg); stroke-width: 2.5; stroke-dasharray: 7 6; fill: none; }
.fig .zombie { stroke: var(--line); stroke-width: 12; fill: none; }
.fig .tick { stroke: var(--muted); stroke-width: 1.5; stroke-dasharray: 3 4; fill: none; }
.fig .end { fill: var(--fg); }
.sim-grid { display: grid; grid-template-columns: minmax(0, 1.2fr) minmax(0, 1fr); gap: 24px; align-items: start; }
@media (max-width: 820px) { .sim-grid { grid-template-columns: minmax(0, 1fr); } }
.sim-view { border: 1.5px solid var(--fg); border-radius: 6px; padding: 8px; }
.sim-view svg { display: block; width: 100%; height: auto; }
.sim-track { fill: none; stroke: var(--line); stroke-width: 2; }
.sim-slot { fill: var(--bg); stroke: var(--fg); stroke-width: 2; }
.sim-slot.filled { fill: var(--soft); }
.sim-item { fill: var(--fg); font-family: var(--mono); font-size: 22px; font-weight: 600; text-anchor: middle; }
.sim-index { fill: var(--muted); font-family: var(--mono); font-size: 13px; text-anchor: middle; }
.sim-ptr { fill: var(--fg); font-family: var(--mono); font-size: 18px; font-weight: 600; text-anchor: middle; }
.sim-ptr.left { text-anchor: start; }
.sim-center { fill: var(--fg); font-family: var(--sans); font-size: 26px; font-weight: 600; text-anchor: middle; }
.sim-center.small { font-size: 15px; font-weight: 400; fill: var(--muted); }
.sim-label { fill: var(--muted); font-family: var(--sans); font-size: 16px; }
.sim-side { display: flex; flex-direction: column; gap: 16px; }
.sim-actor { border: 1.5px solid var(--fg); border-radius: 6px; padding: 12px 16px; display: flex; flex-direction: column; gap: 6px; }
.sim-actor h3 { margin: 0; }
.sim-state { font-family: var(--mono); font-weight: 600; font-size: 18px; }
.sim-state.waiting { text-decoration: underline; text-decoration-thickness: 2px; text-underline-offset: 4px; }
.sim-meter { height: 8px; border: 1.5px solid var(--fg); border-radius: 4px; overflow: hidden; }
.sim-meter span { display: block; height: 100%; width: 0; background: var(--fg); }
.sim-small { font-size: 15px; color: var(--muted); }
.sim-controls { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 10px 24px; align-items: center; }
@media (max-width: 820px) { .sim-controls { grid-template-columns: minmax(0, 1fr); } }
.sim-controls input[type=range] { width: 100%; accent-color: var(--fg); }
.sim-log { min-height: 8.5em; }
.sim-body { display: flex; flex-direction: column; gap: 18px; }
.sim-body .out-label { margin-bottom: -12px; }
.sync { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1.25fr); gap: 24px; align-items: start; }
@media (max-width: 900px) { .sync { grid-template-columns: minmax(0, 1fr); } }
.sync .ln { font-size: 18px; }
.sync .marks { width: 56px; }
.more { border: 1.5px solid var(--line); border-radius: 6px; padding: 10px 16px; }
.more summary { cursor: pointer; font-weight: 600; }
.more[open] summary { margin-bottom: 14px; }
.more .panels { display: grid; grid-template-columns: repeat(auto-fit, minmax(240px, 1fr)); gap: 16px; }