:root {
  --bg: #f6f5f1; --surface: #ffffff; --ink: #1d1f24; --muted: #5b6070; --line: #dcdad2;
  --accent: #2f5d8a; --accent-ink: #ffffff; --ok: #2c7a4b; --warn: #a3561a; --bad: #a33a3a;
  --code-bg: #eeece6; --console-bg: #1d2129; --console-ink: #d7dce4;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #15171c; --surface: #1d2027; --ink: #e8e9ed; --muted: #a3a8b5; --line: #323642;
    --accent: #7fa8d6; --accent-ink: #10141a; --ok: #6cc28f; --warn: #e0a06a; --bad: #e08585;
    --code-bg: #262a33; --console-bg: #0e1014; --console-ink: #cfd6e0;
  }
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body { margin: 0; background: var(--bg); color: var(--ink); font: 16px/1.55 system-ui, -apple-system, "Segoe UI", Roboto, sans-serif; }
.wrap { max-width: 860px; margin: 0 auto; padding: 0 16px; }
.top { border-bottom: 1px solid var(--line); padding: 32px 0 24px; }
.eyebrow { margin: 0 0 6px; color: var(--muted); font-size: 13px; letter-spacing: .02em; }
h1 { margin: 0 0 8px; font-size: clamp(28px, 5vw, 38px); line-height: 1.15; }
.lede { margin: 0; color: var(--muted); max-width: 62ch; }
h2 { margin: 0 0 12px; font-size: 22px; }
code { background: var(--code-bg); padding: 1px 5px; border-radius: 4px; font-size: .92em; }
.steps { margin: 20px 0 12px; overflow-x: auto; }
.steps ol { display: flex; gap: 6px; list-style: none; margin: 0; padding: 0; }
.steps button { border: 1px solid var(--line); background: var(--surface); color: var(--muted); border-radius: 999px;
  padding: 5px 11px; font: inherit; font-size: 13px; cursor: pointer; white-space: nowrap; }
.steps button[aria-current="step"] { background: var(--accent); border-color: var(--accent); color: var(--accent-ink); }
.stage { background: var(--surface); border: 1px solid var(--line); border-radius: 12px; padding: 22px; min-height: 360px; }
.step { display: none; }
.step.on { display: block; }
.rules { display: grid; gap: 10px; margin-top: 14px; }
.rule { display: flex; gap: 12px; align-items: flex-start; }
.num { flex: none; width: 26px; height: 26px; border-radius: 50%; background: var(--accent); color: var(--accent-ink);
  display: grid; place-items: center; font-size: 13px; font-weight: 600; }
.claim { margin: 12px 0 16px; border-left: 4px solid var(--accent); background: var(--code-bg); padding: 10px 14px; border-radius: 0 8px 8px 0; }
.claim p { margin: 4px 0; }
.who { font-size: 13px; color: var(--muted); }
table.plan { width: 100%; border-collapse: collapse; font-size: 15px; }
.plan th, .plan td { text-align: left; padding: 7px 8px; border-bottom: 1px solid var(--line); vertical-align: top; }
.plan th { color: var(--muted); font-weight: 600; font-size: 13px; }
.lab { margin-top: 14px; }
.buttons { display: flex; flex-wrap: wrap; gap: 8px; margin-bottom: 10px; }
button { font: inherit; }
.buttons button, .pager button, .choice { border: 1px solid var(--line); background: var(--surface); color: var(--ink);
  border-radius: 8px; padding: 8px 14px; cursor: pointer; }
.buttons button:not(:disabled):hover, .pager button:not(:disabled):hover, .choice:hover { border-color: var(--accent); }
button:disabled { opacity: .45; cursor: not-allowed; }
button:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }
.primary { background: var(--accent) !important; border-color: var(--accent) !important; color: var(--accent-ink) !important; }
.console { background: var(--console-bg); color: var(--console-ink); border-radius: 8px; padding: 12px 14px; margin: 0;
  font: 13px/1.5 ui-monospace, "Cascadia Mono", Consolas, monospace; white-space: pre-wrap; overflow-x: auto; min-height: 92px; }
.note { color: var(--muted); font-size: 15px; min-height: 1.5em; }
.note.bad { color: var(--bad); }
.note.ok { color: var(--ok); }
.choices { display: grid; gap: 8px; margin: 12px 0; }
.choice { text-align: left; }
.choice[aria-pressed="true"] { border-color: var(--accent); box-shadow: inset 0 0 0 1px var(--accent); }
.feedback { border: 1px solid var(--line); border-radius: 8px; padding: 12px 14px; }
.feedback p { margin: 6px 0; }
.sort { list-style: none; padding: 0; margin: 12px 0; display: grid; gap: 10px; }
.sort li { border: 1px solid var(--line); border-radius: 8px; padding: 10px 12px; }
.sort .stmt { margin: 0 0 8px; }
.sort .opts { display: flex; flex-wrap: wrap; gap: 6px; }
.sort .opts button { border: 1px solid var(--line); background: var(--surface); color: var(--ink); border-radius: 999px; padding: 4px 12px; cursor: pointer; font-size: 14px; }
.sort .why { margin: 8px 0 0; font-size: 14px; color: var(--muted); }
.sort li.right { border-color: var(--ok); }
.sort li.wrong { border-color: var(--warn); }
.report .verdict { margin: 0 0 12px; }
.finding { border: 1px solid var(--line); border-radius: 8px; padding: 10px 14px; margin-bottom: 10px; }
.finding p { margin: 6px 0; }
.finding.withdrawn { opacity: .85; border-style: dashed; }
.fhead { font-weight: 600; }
.tag { display: inline-block; font-size: 12px; font-weight: 600; border-radius: 4px; padding: 1px 7px; margin-right: 6px; vertical-align: 1px; }
.tag.ok { background: var(--ok); color: var(--surface); }
.tag.warn { background: var(--warn); color: var(--surface); }
.tag.muted { background: var(--muted); color: var(--surface); }
.ladder { margin-top: 12px; }
.lhead { margin: 0 0 4px; font-weight: 600; }
.ladder ol { margin: 0; padding-left: 22px; }
.isnt { padding-left: 20px; }
.isnt li { margin: 6px 0; }
.end { color: var(--muted); }
.pager { display: flex; justify-content: space-between; align-items: center; gap: 8px; margin: 14px 0 32px; }
#pos { color: var(--muted); font-size: 14px; }
.foot { border-top: 1px solid var(--line); color: var(--muted); font-size: 13px; padding: 16px 0 28px; }
@media (max-width: 520px) {
  .stage { padding: 16px; }
  .plan th:nth-child(2), .plan td:nth-child(2) { width: 50%; }
}