:root{--bg: #0e1116;--panel: #181d25;--line: #2a323d;--ink: #eef3f7;--dim: #93a4b3;--accent: #5a7ad0;--accent2: #8fa8e8;--good: #4ec98a;--bad: #d05a6a;--given: #11202e}*{box-sizing:border-box}html,body{margin:0;min-height:100%}body{background:radial-gradient(1000px 600px at 50% -8%,#16202e,var(--bg));color:var(--ink);font-family:system-ui,-apple-system,Segoe UI,sans-serif;display:flex;justify-content:center;-webkit-user-select:none;user-select:none}#app{width:100%;max-width:1040px;padding:12px 12px 28px}header{text-align:center;margin-bottom:6px}h1{margin:0;font-size:28px;letter-spacing:8px;font-weight:800;color:var(--accent2)}.sub{margin:3px 0 0;color:var(--dim);font-size:13px}.bar{display:flex;gap:8px;justify-content:center;flex-wrap:wrap;align-items:center;margin:10px 0}.seg{display:inline-flex;background:var(--panel);border:1px solid var(--line);border-radius:999px;overflow:hidden}.seg button{background:none;border:none;color:var(--dim);padding:6px 13px;font:600 13px system-ui;cursor:pointer}.seg button.active{background:var(--accent);color:#fff}.btn{background:var(--panel);border:1px solid var(--line);color:var(--ink);padding:7px 14px;border-radius:999px;font:700 13px system-ui;cursor:pointer}.btn:hover{border-color:var(--accent)}.btn.primary{background:var(--accent);color:#fff;border-color:var(--accent)}.scoreboard{display:flex;gap:10px;justify-content:center;margin:8px 0;flex-wrap:wrap}.readout{background:#0a0e13;border:1px solid var(--line);border-radius:8px;padding:5px 16px;font:800 18px ui-monospace,monospace;color:var(--accent2);min-width:84px;text-align:center}.readout span{color:var(--dim);font-size:11px;display:block;font-weight:600;letter-spacing:.5px}.msg{min-height:20px;text-align:center;font-size:13px;margin:6px auto 4px;max-width:820px;color:var(--dim);line-height:1.4}.msg.bad{color:#ff9aa6}.msg.good{color:var(--good)}.msg.info{color:var(--accent2)}.stage{position:relative;display:grid;grid-template-columns:1fr 1.15fr 1fr;gap:10px;align-items:start}@media(max-width:820px){.stage{grid-template-columns:1fr}}.panel{background:var(--panel);border:1px solid var(--line);border-radius:12px;padding:12px 13px}.panel h3{margin:0 0 8px;font-size:12px;letter-spacing:2px;color:var(--dim);font-weight:700}.given .figure{color:var(--dim);font-size:13px;line-height:1.5;margin:0 0 10px}.given h3{color:var(--accent2);font-size:15px;letter-spacing:.5px;text-transform:none}.block{margin-top:10px}.block b{display:block;color:var(--accent2);font-size:11px;letter-spacing:1px;margin-bottom:4px}.block ul{margin:0;padding-left:18px}.block li{font-size:13px;line-height:1.6}.block.goal{background:var(--given);border:1px solid #1d3a52;border-radius:8px;padding:8px 10px}.goaltext{font-size:15px;font-weight:700;color:var(--ink)}.ledger-head{display:grid;grid-template-columns:1.4fr 1fr;gap:8px;font-size:11px;color:var(--dim);padding:0 6px 4px;border-bottom:1px solid var(--line);letter-spacing:.5px}.ledger-body{list-style:none;margin:0;padding:0;counter-reset:line}.ledger-body .row{display:grid;grid-template-columns:1.4fr 1fr;gap:8px;align-items:center;padding:8px 6px;border-bottom:1px solid #20262f;position:relative}.ledger-body .row:before{counter-increment:line;content:counter(line);position:absolute;left:-2px;top:6px;font-size:9px;color:#4a5666}.ledger-body .stmt{font-size:13px;line-height:1.4;padding-left:12px}.ledger-body .just{font-size:12px;color:var(--accent2)}.ledger-body .given-row{background:var(--given);border-radius:6px}.ledger-body .given-row .just{color:var(--dim);font-style:italic}.ledger-body .goal-row{background:#4ec98a1a}.ledger-body .goal-row .stmt{font-weight:700}.ledger-body .goal-row .just{color:var(--good)}.ledger-body .empty .stmt{color:#5b6675;font-style:italic}.pool-body{display:flex;flex-direction:column;gap:7px}button.step{text-align:left;background:#0f141b;border:1px solid var(--line);border-radius:9px;padding:9px 11px;cursor:pointer;display:flex;flex-direction:column;gap:3px;color:var(--ink)}button.step:hover{border-color:var(--accent)}button.step .step-stmt{font-size:13px;line-height:1.35}button.step .step-just{font-size:11px;color:var(--accent2)}button.step.locked{opacity:.5;cursor:pointer}button.step.locked .step-just{color:var(--dim)}button.step.ready{border-left:3px solid var(--accent)}button.step:disabled{opacity:.4;cursor:default}.pool-empty{color:var(--dim);font-size:13px;text-align:center}.overlay{position:absolute;inset:0;display:flex;align-items:center;justify-content:center;background:#080c10d1;border-radius:12px;backdrop-filter:blur(3px)}.overlay.hidden{display:none}.card{background:var(--panel);border:1px solid var(--line);border-radius:16px;padding:24px 28px;text-align:center;max-width:360px}.card h2{margin:0 0 6px;font-size:26px;color:var(--good)}.card p{margin:6px 0;color:var(--dim);font-size:14px;line-height:1.5}.card b{color:var(--ink)}.card .row{display:flex;gap:8px;justify-content:center;margin-top:16px}.hint{text-align:center;color:var(--dim);font-size:12px;margin-top:14px;line-height:1.5}