@font-face{font-family:"Atkinson Hyperlegible";font-weight:400;font-display:swap;src:url(vendor/fonts/atkinson-hyperlegible-latin-400-normal.woff2) format("woff2")}
@font-face{font-family:"Atkinson Hyperlegible";font-weight:700;font-display:swap;src:url(vendor/fonts/atkinson-hyperlegible-latin-700-normal.woff2) format("woff2")}
@font-face{font-family:"JetBrains Mono";font-weight:400;font-display:swap;src:url(vendor/fonts/jetbrains-mono-latin-400-normal.woff2) format("woff2")}
@font-face{font-family:"JetBrains Mono";font-weight:600;font-display:swap;src:url(vendor/fonts/jetbrains-mono-latin-600-normal.woff2) format("woff2")}

:root{
  --bg:#edf1f3; --surface:#ffffff; --sunk:#e3e9ec; --ink:#0f1e26; --muted:#4b5e68; --line:#c6d2d8;
  --accent:#0b6670; --accent-ink:#ffffff; --accent-soft:#d5eaec;
  --ok:#17703a; --ok-soft:#dff3e6; --bad:#a8231a; --bad-soft:#fde6e3; --warn:#8f4b00; --warn-soft:#fff0d9;
  --code-bg:#f6f8f9; --kw:#7a2e8e; --str:#8a4b08; --num:#0b6670; --com:#6b7f89; --def:#1f4fa3;
  --ui:"Atkinson Hyperlegible",system-ui,-apple-system,"Segoe UI",sans-serif;
  --mono:"JetBrains Mono",ui-monospace,"Cascadia Mono",Consolas,monospace;
}
@media (prefers-color-scheme:dark){:root{
  --bg:#0c151a; --surface:#13212a; --sunk:#0f1b22; --ink:#e5edf0; --muted:#9bb0ba; --line:#27394168;
  --accent:#57c4cc; --accent-ink:#06262a; --accent-soft:#12383e;
  --ok:#6fd392; --ok-soft:#123222; --bad:#ff9d94; --bad-soft:#3a1714; --warn:#f4b45d; --warn-soft:#37260d;
  --code-bg:#0f1b22; --kw:#d49cf0; --str:#f0b27a; --num:#7fd3da; --com:#7f959f; --def:#8db4f5;
}}
*{box-sizing:border-box}
html{-webkit-text-size-adjust:100%}
body{margin:0;background:var(--bg);color:var(--ink);font:17px/1.55 var(--ui)}
button{font:inherit;color:inherit}
h1,h2{margin:0;line-height:1.2}
code{font-family:var(--mono);font-size:.9em;background:var(--sunk);padding:.08em .35em;border-radius:4px}
:focus-visible{outline:3px solid var(--accent);outline-offset:2px}
.skip{position:absolute;left:-999px;top:8px;background:var(--surface);padding:8px 12px;border-radius:6px;z-index:10}
.skip:focus{left:8px}

/* top bar */
.top{display:flex;align-items:center;gap:18px;padding:10px 20px;border-bottom:1px solid var(--line);background:var(--surface);position:sticky;top:0;z-index:5}
.brand{display:flex;align-items:center;gap:10px;min-width:0}
.mark{width:30px;height:30px;flex:none}
.mark rect{fill:var(--accent)} .mark path{stroke:var(--accent-ink);stroke-width:2.4;stroke-linecap:round;fill:none}
.name{font-weight:700;font-size:1.35rem;letter-spacing:.01em}
.tag{color:var(--muted);font-size:.95rem;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}
.engine{margin-left:auto;display:flex;align-items:center;gap:8px;color:var(--muted);font-size:.9rem}
.engine .dot{width:10px;height:10px;border-radius:50%;background:var(--warn);flex:none}
.engine.ready .dot{background:var(--ok)} .engine.failed .dot{background:var(--bad)}
.gh{color:var(--accent);font-size:.95rem;white-space:nowrap}
.menu-btn{display:none;border:1px solid var(--line);background:var(--surface);border-radius:8px;padding:6px 12px;cursor:pointer}

/* layout */
.app{display:grid;grid-template-columns:272px minmax(0,1fr) 392px;gap:0;align-items:start;min-height:calc(100vh - 53px)}
.side{padding:18px 16px 28px;border-right:1px solid var(--line);position:sticky;top:53px;max-height:calc(100vh - 53px);overflow:auto}
.work{padding:22px 28px 40px;min-width:0}
.feedback{padding:22px 22px 40px;border-left:1px solid var(--line);position:sticky;top:53px;max-height:calc(100vh - 53px);overflow:auto;display:flex;flex-direction:column;gap:22px}

/* sidebar */
.summary{font-weight:700;margin-bottom:2px}
.summary small{display:block;font-weight:400;color:var(--muted);font-size:.9rem}
.bar{height:6px;background:var(--sunk);border-radius:3px;margin:8px 0 14px;overflow:hidden}
.bar i{display:block;height:100%;background:var(--accent);border-radius:3px}
.next{margin-bottom:14px}
.next button{width:100%;text-align:left;border:1px solid var(--accent);background:var(--accent-soft);border-radius:10px;padding:10px 12px;cursor:pointer}
.next b{display:block}
.next span{color:var(--muted);font-size:.9rem}
.level{margin:16px 0 4px;font-size:.9rem;font-weight:700;color:var(--muted)}
.ex{display:flex;align-items:center;gap:10px;width:100%;text-align:left;border:0;background:none;padding:7px 8px;border-radius:8px;cursor:pointer}
.ex:hover{background:var(--sunk)}
.ex[aria-current="true"]{background:var(--accent-soft);font-weight:700}
.ex .st{width:18px;height:18px;flex:none;border:2px solid var(--line);border-radius:50%;display:grid;place-items:center;font-size:12px;line-height:1}
.ex.solved .st{background:var(--ok);border-color:var(--ok);color:var(--surface)}
.ex.due .st{border-color:var(--warn);background:var(--warn-soft);color:var(--warn)}
.ex .due-tag{margin-left:auto;font-size:.8rem;color:var(--warn);font-weight:700}
.backup{margin-top:26px;padding-top:16px;border-top:1px solid var(--line)}
.backup h2{font-size:1rem}
.backup p{margin:4px 0 10px;color:var(--muted);font-size:.9rem}
.backup .row{display:flex;flex-direction:column;gap:8px;align-items:flex-start}
.backup .note{min-height:1.4em}

/* buttons */
.primary,.ghost{border-radius:9px;padding:9px 16px;border:1px solid var(--accent);cursor:pointer;font-weight:700}
.primary{background:var(--accent);color:var(--accent-ink)}
.ghost{background:transparent;color:var(--accent)}
.ghost.danger{color:var(--bad);border-color:var(--bad)}
button:disabled{opacity:.5;cursor:not-allowed}
.primary:not(:disabled):hover{filter:brightness(1.08)}
.ghost:not(:disabled):hover{background:var(--accent-soft)}

/* main column */
.banner{background:var(--bad-soft);color:var(--bad);border:1px solid var(--bad);padding:10px 14px;border-radius:10px;margin-bottom:16px}
.head h1{font-size:1.75rem}
.meta{margin:4px 0 14px;color:var(--muted);font-size:.95rem}
.prompt{max-width:68ch}
.prompt p{margin:0 0 .8em}
.examples{font:.92rem/1.6 var(--mono);background:var(--code-bg);border:1px solid var(--line);border-radius:10px;padding:10px 14px;margin:6px 0 18px;overflow:auto;white-space:pre}
.examples:empty{display:none}
.editor-wrap{border:1px solid var(--line);border-radius:10px;overflow:hidden;background:var(--code-bg)}
.editor-wrap:focus-within{border-color:var(--accent);box-shadow:0 0 0 2px var(--accent-soft)}
.CodeMirror{height:auto;min-height:260px;max-height:62vh;font:15px/1.6 var(--mono);background:var(--code-bg);color:var(--ink)}
.CodeMirror-scroll{min-height:260px;max-height:62vh}
.CodeMirror-gutters{background:var(--sunk);border-right:1px solid var(--line)}
.CodeMirror-linenumber{color:var(--muted)}
.CodeMirror-cursor{border-left:2px solid var(--ink)}
.CodeMirror-selected{background:var(--accent-soft)!important}
.CodeMirror-matchingbracket{background:var(--accent-soft);color:inherit!important;outline:1px solid var(--accent)}
.CodeMirror .cm-keyword{color:var(--kw);font-weight:600} .CodeMirror .cm-string,.CodeMirror .cm-string-2{color:var(--str)} .CodeMirror .cm-number{color:var(--num)}
.CodeMirror .cm-comment{color:var(--com);font-style:italic} .CodeMirror .cm-def{color:var(--def);font-weight:600} .CodeMirror .cm-builtin{color:var(--num)}
.CodeMirror .cm-variable,.CodeMirror .cm-variable-2,.CodeMirror .cm-operator,.CodeMirror .cm-punctuation,.CodeMirror .cm-property{color:var(--ink)}
.cm-errline{background:var(--bad-soft)}
.keys{margin:8px 0 14px;color:var(--muted);font-size:.88rem}
.actions{display:flex;gap:12px;align-items:center;flex-wrap:wrap}
.busy{color:var(--muted);font-size:.95rem}

/* feedback column */
.feedback h2{font-size:1.1rem;margin-bottom:8px}
.results .empty{color:var(--muted);margin:0}
.verdict{display:flex;align-items:center;gap:10px;padding:10px 12px;border-radius:10px;font-weight:700;margin-bottom:10px}
.verdict.pass{background:var(--ok-soft);color:var(--ok)}
.verdict.fail{background:var(--bad-soft);color:var(--bad)}
.verdict .ic{font-size:1.2rem;line-height:1}
.results .detail{margin:0 0 10px}
.case{border:1px solid var(--line);border-left:4px solid var(--bad);border-radius:8px;padding:8px 12px;margin-bottom:8px;background:var(--surface)}
.case .call{font:.88rem/1.5 var(--mono);overflow-wrap:anywhere}
.case .line{font-size:.93rem;margin-top:4px;overflow-wrap:anywhere}
.case .line b{font-weight:700}
.case .tiny{color:var(--muted);font-size:.85rem;margin-top:4px}
.linkish{background:none;border:0;color:var(--accent);text-decoration:underline;cursor:pointer;padding:0}
.passinfo{color:var(--muted);margin:0 0 10px}
.go{margin-top:6px}

/* ladder */
.ladder-intro{margin:0 0 14px;color:var(--muted);font-size:.95rem}
.ladder{list-style:none;margin:0;padding:0;position:relative}
.rung{position:relative;display:grid;grid-template-columns:34px minmax(0,1fr);gap:10px;padding-bottom:14px}
.rung::before{content:"";position:absolute;left:16px;top:30px;bottom:-2px;width:2px;background:var(--line)}
.rung:last-child::before{display:none}
.rung.revealed::before{background:var(--accent)}
.node{width:34px;height:34px;border-radius:50%;border:2px solid var(--line);display:grid;place-items:center;font-weight:700;font-size:.9rem;background:var(--bg);color:var(--muted);z-index:1}
.rung.revealed .node{background:var(--accent);border-color:var(--accent);color:var(--accent-ink)}
.rung.next .node{border-color:var(--accent);color:var(--accent);border-style:dashed}
.rung.solution .node{font-size:.8rem}
.rung-body{min-width:0;padding-top:4px}
.rung-title{font-weight:700}
.rung.future .rung-title,.rung.locked .rung-title{color:var(--muted);font-weight:400}
.rung-state{color:var(--muted);font-size:.9rem}
.rung-text{margin-top:6px;white-space:pre-wrap;overflow-wrap:anywhere;background:var(--surface);border:1px solid var(--line);border-radius:10px;padding:10px 12px}
.rung.revealed .rung-text{border-left:4px solid var(--accent)}
.rung-text pre{margin:8px 0 0;font:.88rem/1.55 var(--mono);white-space:pre;overflow:auto;background:var(--code-bg);border-radius:8px;padding:8px 10px}
.rung-text p{margin:0}
.ladder-actions{display:flex;gap:10px;flex-wrap:wrap;margin-top:6px}
.sol-note{color:var(--warn);background:var(--warn-soft);border-radius:8px;padding:8px 10px;margin-top:6px;font-size:.93rem}

/* narrower screens */
@media (max-width:1180px){
  .menu-btn{display:block}
  .app{grid-template-columns:minmax(0,1fr) 380px}
  .side{display:none;position:fixed;inset:53px 0 0 0;max-height:none;z-index:4;background:var(--bg);border:0;padding:16px 20px 40px}
  .side.open{display:block}
  .tag{display:none}
}
@media (max-width:820px){
  .app{display:block}
  .work{padding:16px 16px 24px}
  .feedback{position:static;max-height:none;border-left:0;border-top:1px solid var(--line);padding:18px 16px 40px}
  .top{padding:8px 14px;gap:10px}
  .gh{display:none}
  .head h1{font-size:1.45rem}
}
@media (prefers-reduced-motion:reduce){*{transition:none!important;animation:none!important}}