:root{--bg:#f6f7f9;--panel:#fff;--ink:#1b2129;--muted:#5d6877;--line:#dde1e7;--accent:#2563eb;--accent-ink:#fff;--ok:#15803d;--ok-bg:#e7f6ec;--bad:#b42318;--bad-bg:#fdeceb;--warn:#a15c00;--warn-bg:#fff3dc;--triv:#0e7490;--triv-bg:#e3f4f8;--add-bg:#e3f6e8;--add-mark:#15803d;--del-bg:#fde8e6;--del-mark:#b42318;--code-bg:#fbfbfc;--kw:#7c3aed;--spec:#0b6bcb;--proof:#b45309;--str:#0f766e;--com:#8a94a3;--mono:ui-monospace, "JetBrains Mono", "Fira Code", Menlo, Consolas, monospace;--pad:clamp(.75rem, 2.4vw, 4rem);--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light dark}@media (prefers-color-scheme:dark){:root{--lightningcss-light: ;--lightningcss-dark:initial;--bg:#0f1318;--panel:#171c23;--ink:#e6e9ee;--muted:#9aa5b4;--line:#2a323d;--accent:#5b8def;--accent-ink:#0b1220;--ok:#4ade80;--ok-bg:#12301f;--bad:#f87171;--bad-bg:#3a1a1a;--warn:#fbbf24;--warn-bg:#3a2c10;--triv:#38bdf8;--triv-bg:#0f2a36;--add-bg:#15301d;--add-mark:#4ade80;--del-bg:#3a1a1a;--del-mark:#f87171;--code-bg:#12171d;--kw:#b794f6;--spec:#6cb2ff;--proof:#f6ad55;--str:#5eead4;--com:#6b7686}}html{background:var(--bg);-webkit-text-size-adjust:100%;font-size:16px}@media (width>=1500px){html{font-size:clamp(16px,10px + .4vw,24px)}}*{box-sizing:border-box}body{background:var(--bg);color:var(--ink);overflow-wrap:anywhere;margin:0;font:1rem/1.5 system-ui,-apple-system,Segoe UI,Roboto,sans-serif}h1{margin:0;font-size:1.35rem;line-height:1.25}h2{margin:0 0 .4rem;font-size:1.2rem}h3{margin:0 0 .3rem;font-size:1.05rem}h4{margin:0 0 .5rem}p{margin:0 0 .6rem}a{color:var(--accent)}code{font-family:var(--mono);background:var(--line);border-radius:.25rem;padding:0 .3em;font-size:.9em}button,select,input,textarea{font:inherit;color:inherit}button{cursor:pointer}button:disabled{cursor:default;opacity:.55}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.sr-only{clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.page{min-height:100dvh;padding:.75rem var(--pad) 0;flex-direction:column;display:flex}.page>main{flex:1;min-width:0}.top{justify-content:space-between;align-items:flex-start;gap:1rem;margin-bottom:.75rem;display:flex}.top-actions{flex-wrap:wrap;justify-content:flex-end;align-items:center;gap:.5rem;display:flex}.muted{color:var(--muted)}.small{font-size:.85rem}.warn{color:var(--warn)}.err{color:var(--bad)}.lede{color:var(--muted);max-width:70ch;margin:0 0 .8rem}.live-chip,.chip-btn{border:1px solid var(--line);background:var(--panel);white-space:nowrap;color:inherit;border-radius:999px;align-items:center;gap:.4rem;padding:.3rem .7rem;font-size:.85rem;text-decoration:none;display:inline-flex}.chip-btn{cursor:pointer;font-weight:600}.controls{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.75rem;margin-bottom:.9rem;display:flex}.tabs{background:var(--panel);border:1px solid var(--line);scrollbar-width:none;border-radius:.7rem;gap:.25rem;max-width:100%;padding:.2rem;display:flex;overflow-x:auto}.tabs::-webkit-scrollbar{display:none}.tabs button{white-space:nowrap;background:0 0;border:0;border-radius:.5rem;padding:.4rem .8rem}.tabs button.on{background:var(--accent);color:var(--accent-ink)}.selects{flex-wrap:wrap;gap:.75rem;display:flex}label{color:var(--muted);align-items:center;gap:.4rem;font-size:.9rem;display:inline-flex}select,.search{background:var(--panel);border:1px solid var(--line);border-radius:.5rem;padding:.3rem .5rem}.dot{background:var(--line);border-radius:50%;flex:none;width:.65rem;height:.65rem;display:inline-block}.s-solved{background:var(--ok)}.s-unsolved{background:var(--bad)}.s-cheat{background:var(--warn)}.s-trivial{background:var(--triv)}.s-missing{background:var(--line)}.quick{grid-template-columns:repeat(auto-fit,minmax(16rem,1fr));gap:.75rem;margin:.5rem 0 1.25rem;display:grid}.qcard{color:inherit;background:var(--panel);border:1px solid var(--line);border-radius:.8rem;padding:.8rem .9rem;text-decoration:none;display:block}.qcard:hover,.qcard:focus-visible{border-color:var(--accent)}.qcard b{color:var(--accent);margin-bottom:.15rem;display:block}.qcard span{color:var(--muted);font-size:.9rem}.table-wrap{overflow-x:auto}table.ov{border-collapse:collapse;background:var(--panel);border:1px solid var(--line);border-radius:.7rem;width:100%;overflow:hidden}table.ov th,table.ov td{text-align:left;border-bottom:1px solid var(--line);vertical-align:top;padding:.6rem .9rem}table.ov thead th{color:var(--muted);font-size:.85rem}table.ov tbody th{max-width:34ch;font-weight:600}.pct{font-size:1.15rem;font-weight:650}.bar{background:var(--line);border-radius:.2rem;min-width:5.5rem;height:.4rem;margin:.25rem 0}.bar i{background:var(--accent);border-radius:.2rem;height:100%;display:block}.ov-cards{display:none}.ov-card{background:var(--panel);border:1px solid var(--line);border-radius:.8rem;margin-bottom:.6rem;padding:.7rem .8rem}.ov-card h3{margin-bottom:.1rem}.ov-row{grid-template-columns:6.5rem 1fr;align-items:center;gap:.5rem;margin-top:.45rem;display:grid}.ov-row .bar{margin:.15rem 0}.split{grid-template-columns:minmax(14rem,20rem) minmax(0,1fr);align-items:start;gap:1rem;display:grid}.list{background:var(--panel);border:1px solid var(--line);border-radius:.7rem;flex-direction:column;gap:.5rem;max-height:calc(100dvh - 1rem);padding:.6rem;display:flex;position:sticky;top:.5rem}.list ul{margin:0;padding:0;list-style:none;overflow:auto}.search{width:100%}.check{align-items:flex-start;font-size:.8rem}.item{text-align:left;background:0 0;border:0;border-radius:.4rem;justify-content:space-between;align-items:center;gap:.5rem;width:100%;padding:.4rem .5rem;display:flex}.item:hover{background:var(--bg)}.item.sel{background:var(--accent);color:var(--accent-ink)}.item .name{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.dots{flex:none;gap:.2rem;display:flex}.dots .dot{width:.5rem;height:.5rem}.detail{background:var(--panel);border:1px solid var(--line);border-radius:.7rem;min-width:0;padding:1rem}.back{margin-bottom:.6rem;display:none}.pid{word-break:break-word}.refs{flex-wrap:wrap;gap:.5rem;margin:.4rem 0 .7rem;display:flex}.refs button,.btn{border:1px solid var(--line);background:var(--panel);border-radius:.5rem;padding:.35rem .7rem}.refs button.on{border-color:var(--accent);color:var(--accent)}.note{background:var(--triv-bg);color:var(--triv);border-radius:.5rem;padding:.4rem .6rem}.cards{grid-template-columns:repeat(auto-fit,minmax(11rem,1fr));gap:.5rem;margin:.75rem 0 .25rem;display:grid}.card{text-align:left;border:2px solid var(--line);background:var(--panel);border-left-width:.4rem;border-radius:.7rem;flex-direction:column;gap:.1rem;padding:.5rem .65rem;display:flex}.card.s-solved{border-left-color:var(--ok)}.card.s-unsolved{border-left-color:var(--bad)}.card.s-cheat{border-left-color:var(--warn)}.card.s-trivial{border-left-color:var(--triv)}.card.sel{border-color:var(--accent);box-shadow:0 0 0 1px var(--accent)}.card-title{font-weight:650}.card-status{color:var(--muted);font-size:.85rem}.variant-desc{margin:.25rem 0 .6rem}.livebar{border:1px dashed var(--line);border-radius:.7rem;flex-wrap:wrap;align-items:center;gap:.6rem;margin:.5rem 0 .8rem;padding:.5rem .6rem;display:flex}.btn.primary{background:var(--accent);color:var(--accent-ink);border-color:var(--accent);font-weight:600}.btn.stop{border-color:var(--bad);color:var(--bad)}.banner{border-radius:.5rem;margin-bottom:.5rem;padding:.4rem .65rem;font-weight:600}.banner.live{background:var(--warn-bg);color:var(--warn)}.banner.replay{background:var(--triv-bg);color:var(--triv)}.viewer{outline:none;min-width:0}.stepper{scroll-snap-type:x proximity;scrollbar-width:thin;align-items:center;gap:.4rem;margin-bottom:.5rem;padding:.35rem .35rem .45rem;display:flex;overflow-x:auto}.step-nav{border:1px solid var(--line);background:var(--panel);border-radius:.5rem;flex:none;width:2.2rem;height:2.5rem}.step{border:2px solid var(--line);background:var(--panel);scroll-snap-align:center;border-radius:.5rem;flex-direction:column;flex:none;align-items:center;min-width:2.7rem;padding:.1rem .5rem;line-height:1.2;display:flex}.step-n{color:var(--muted);font-size:.75rem}.step-i{min-height:1.2em;font-weight:700}.step.k-ok{background:var(--ok-bg);color:var(--ok);border-color:var(--ok)}.step.k-fail,.step.k-nocode{background:var(--bad-bg);color:var(--bad)}.step.k-rejected{background:var(--bad-bg);color:var(--bad);border-style:dashed}.step.k-cheat{background:var(--warn-bg);color:var(--warn)}.step.k-none{opacity:.45;border-style:dotted}.step.k-run{border-color:var(--accent)}.step.sel{outline:3px solid var(--accent);outline-offset:1px}.phase{color:var(--accent);align-items:center;gap:.5rem;margin-bottom:.5rem;display:flex}.spinner{border:2px solid var(--line);border-top-color:var(--accent);border-radius:50%;flex:none;width:.9rem;height:.9rem;animation:.8s linear infinite spin}@keyframes spin{to{transform:rotate(360deg)}}@media (prefers-reduced-motion:reduce){.spinner{animation:none}}.attempt-grid{grid-template-columns:minmax(0,1fr) minmax(16rem,22rem);align-items:start;gap:.9rem;display:grid}.attempt-code{min-width:0}.toolbar{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.5rem;margin-bottom:.4rem;display:flex}.seg{border:1px solid var(--line);border-radius:.5rem;flex-wrap:wrap;display:inline-flex;overflow:hidden}.seg button{background:var(--panel);border:0;padding:.3rem .65rem;font-size:.85rem}.seg button.on{background:var(--accent);color:var(--accent-ink)}.legend{color:var(--muted);font-size:.8rem}.lg{border-radius:.15rem;width:.6rem;height:.6rem;margin:0 .25rem 0 .5rem;display:inline-block}.lg.add{background:var(--add-mark)}.lg.del{background:var(--del-mark)}.code{background:var(--code-bg);border:1px solid var(--line);font:.82rem/1.5 var(--mono);-webkit-overflow-scrolling:touch;border-radius:.5rem;max-height:70dvh;margin:0;padding:.4rem 0;overflow:auto}.ln{white-space:pre;min-width:max-content;display:flex}.gutter{text-align:right;width:3.2em;color:var(--muted);-webkit-user-select:none;user-select:none;flex:none;padding-right:.8em}.mark{-webkit-user-select:none;user-select:none;flex:none;width:1.2em;font-weight:700}.ln-add{background:var(--add-bg)}.ln-add .mark{color:var(--add-mark)}.ln-del{background:var(--del-bg)}.ln-del .mark{color:var(--del-mark)}.ln-del .txt{opacity:.8;text-decoration:line-through}.txt{padding-right:1em}.tk-comment{color:var(--com);font-style:italic}.tk-string{color:var(--str)}.tk-kw{color:var(--kw)}.tk-spec{color:var(--spec);font-weight:700}.tk-proof{color:var(--proof);font-weight:700}.tk-num{color:var(--str)}.verdict{border:1px solid var(--line);border-radius:.7rem;padding:.65rem .8rem;font-size:.9rem}.verdict>ul{flex-direction:column;gap:.4rem;margin:0;padding:0;list-style:none;display:flex}.v{border-left:.25rem solid var(--line);padding-left:.5rem}.v-ok{border-left-color:var(--ok)}.v-bad{border-left-color:var(--bad)}.v-warn{border-left-color:var(--warn)}.v-off{color:var(--muted)}.hints{margin:.1rem 0 0;padding-left:1.1rem}.errors{background:var(--bad-bg);color:var(--bad);white-space:pre-wrap;word-break:break-word;font:.75rem/1.4 var(--mono);border-radius:.4rem;max-height:15rem;margin:.4rem 0 0;padding:.4rem .5rem;overflow:auto}.empty{color:var(--muted)}.editor{width:100%;font:.82rem/1.5 var(--mono);background:var(--code-bg);border:1px solid var(--line);border-radius:.5rem;padding:.5rem}.code,.editor,.errors,code{font-variant-ligatures:none;font-feature-settings:"calt" 0, "liga" 0, "clig" 0}.foot{margin:2rem calc(-1 * var(--pad)) 0;padding:1rem var(--pad) calc(1rem + env(safe-area-inset-bottom));border-top:1px solid var(--line);background:var(--panel);color:var(--muted);font-size:.85rem}.foot p{max-width:110ch;margin:0 0 .4rem}.foot .ai{color:var(--ink)}@media (width<=900px){.split{grid-template-columns:1fr}.list{max-height:none;position:static}.list ul{max-height:60dvh}.split.has-id .list{display:none}.back{display:inline-flex}.attempt-grid{grid-template-columns:1fr}.ov-cards{display:block}.table-wrap{display:none}.detail{padding:.75rem}}@media (width<=600px){:root{--pad:.75rem}h1{font-size:1.2rem}.top{flex-direction:column;gap:.5rem}.top-actions{justify-content:flex-start}.controls{flex-direction:column;align-items:stretch}.selects{flex-direction:column}.selects label,.selects select{width:100%}.selects label{grid-template-columns:7rem 1fr;align-items:center;display:grid}.tabs button{flex:1;padding:.6rem .7rem}.cards{grid-template-columns:1fr 1fr}.card-status{font-size:.8rem}.seg{width:100%}.seg button{flex:1;padding:.55rem .5rem}.code{max-height:60dvh;font-size:.74rem}.gutter{width:2.4em;padding-right:.5em}.livebar{flex-direction:column;align-items:stretch}.livebar label{grid-template-columns:7rem 1fr;align-items:center;display:grid}.livebar .btn{width:100%}.step-nav{width:2.6rem;height:2.9rem}.step{min-width:3rem;padding-block:.25rem}.btn,.refs button,.item,select{min-height:2.75rem}}@media (width<=380px){.cards{grid-template-columns:1fr}}