.progress.svelte-rgwvlh{font-family:var(--mono);font-size:12px;color:var(--text-dim);white-space:nowrap}.stop.svelte-rgwvlh{padding:3px 9px;font-size:12px;background:none;white-space:nowrap}button.quiet.svelte-470io0{background:none;border-color:transparent;color:var(--text-faint);font-size:12.5px;padding:4px 8px}button.quiet.svelte-470io0:hover,button.quiet.confirming.svelte-470io0,button.danger.svelte-470io0:hover,button.danger.confirming.svelte-470io0{color:var(--fail);border-color:var(--fail)}h1.svelte-14ebmqz{margin:0 0 6px}.lede.svelte-14ebmqz{margin:0 0 10px}.empty.svelte-14ebmqz{color:var(--text-faint);font-size:13px}.search.svelte-14ebmqz{display:flex;align-items:center;gap:10px;margin:16px 0 4px}.filter.svelte-14ebmqz{flex:1}.search.svelte-14ebmqz .count:where(.svelte-14ebmqz){flex:none;font-family:var(--mono);font-size:12px;color:var(--text-faint)}section.svelte-14ebmqz{margin-top:18px}.section-head.svelte-14ebmqz{display:flex;align-items:baseline;gap:10px;font-size:11px;text-transform:uppercase;letter-spacing:.07em;color:var(--text-faint);padding:4px 2px 6px;border-bottom:1px solid var(--border)}.section-head.svelte-14ebmqz .chapter:where(.svelte-14ebmqz){color:var(--text-dim)}.section-head.svelte-14ebmqz .done:where(.svelte-14ebmqz){color:var(--pass)}.count.svelte-14ebmqz{font-family:var(--mono);font-size:11px;letter-spacing:0}.spacer.svelte-14ebmqz{flex:1}.continue.svelte-14ebmqz{padding:1px 8px;font-size:11px;text-transform:none;letter-spacing:0;background:none;color:var(--text-faint)}.continue.svelte-14ebmqz:hover{color:var(--accent);border-color:var(--accent)}.definitions.svelte-14ebmqz{list-style:none;padding:0;margin:0;display:grid;gap:2px}.definitions.svelte-14ebmqz li:where(.svelte-14ebmqz){display:flex;align-items:baseline;gap:10px}.definitions.svelte-14ebmqz code:where(.svelte-14ebmqz){flex:1;background:none;color:var(--text-dim);padding:2px 0;overflow-wrap:anywhere}.definitions.svelte-14ebmqz .name:where(.svelte-14ebmqz){color:var(--text)}.owner.svelte-14ebmqz{flex:none;padding:1px 7px;font-family:var(--mono);font-size:11px;color:var(--text-faint);background:none}.owner.svelte-14ebmqz:hover{color:var(--accent);border-color:var(--accent)}.helper.svelte-14ebmqz{flex:none;font-family:var(--mono);font-size:11px;color:var(--text-faint);opacity:.75}footer.svelte-14ebmqz{margin-top:28px}footer.svelte-14ebmqz .section-head:where(.svelte-14ebmqz){border-bottom:none;padding-bottom:0}.actions.svelte-14ebmqz{display:flex;gap:8px;align-items:center;flex-wrap:wrap}.run.svelte-14ebmqz{margin-left:auto;display:flex;align-items:center;gap:8px}.notice.svelte-14ebmqz,.version.svelte-14ebmqz{color:var(--text-faint);font-size:12px}.notice.failed.svelte-14ebmqz{color:var(--fail)}.frame.svelte-1wnpimk{display:flex;flex-direction:column;gap:6px}.editor.svelte-1wnpimk{background:var(--code-bg);border:1px solid var(--border-strong);border-radius:6px;overflow:hidden}.editor.svelte-1wnpimk:focus-within{border-color:var(--accent)}.editor.read-only.svelte-1wnpimk{border-color:var(--border)}.editor.composing.svelte-1wnpimk .cm-problem{text-decoration-color:transparent}.editor.no-gutter.svelte-1wnpimk .cm-content{padding-left:10px}.editor.svelte-1wnpimk .cm-editor{display:flex;flex-direction:column;min-height:var(--editor-min)}.editor.svelte-1wnpimk .cm-scroller{flex:1 1 auto;min-height:0;overflow:auto}.editor.svelte-1wnpimk .cm-content,.editor.svelte-1wnpimk .cm-gutters{align-self:stretch}.hint.svelte-1wnpimk{color:var(--text-faint);font-size:13px;margin:0 2px}.diagnostics.svelte-1lzjsj4{list-style:none;margin:8px 0 0;padding:0;display:grid;gap:4px}.diagnostics.svelte-1lzjsj4 li:where(.svelte-1lzjsj4){display:flex;gap:10px;font-size:13px;color:var(--text-dim);background:var(--bg-raised);border-left:3px solid var(--fail);border-radius:4px;padding:5px 10px}.diagnostics.svelte-1lzjsj4 .line:where(.svelte-1lzjsj4){font-family:var(--mono);font-size:12px;color:var(--text-faint);flex:none}.report.svelte-k4xl7y{margin-top:18px}header.svelte-k4xl7y{display:flex;align-items:baseline;justify-content:space-between;gap:12px;padding-bottom:8px;border-bottom:1px solid var(--border)}.chevron.svelte-k4xl7y{display:inline-block;width:0;height:0;border-left:5px solid var(--text-faint);border-top:4.5px solid transparent;border-bottom:4.5px solid transparent;transition:transform .12s ease-out}.chevron.open.svelte-k4xl7y{transform:rotate(90deg)}h3.svelte-k4xl7y{display:flex;align-items:baseline;justify-content:space-between;flex-wrap:wrap;gap:10px;margin:16px 0 2px;font-size:11px;text-transform:uppercase;letter-spacing:.07em;color:var(--text-faint)}.names.svelte-k4xl7y{font-family:var(--mono);text-transform:none;letter-spacing:0;overflow-wrap:anywhere}.tally.svelte-k4xl7y{font-family:var(--mono);flex:none}.tally.complete.svelte-k4xl7y{color:var(--pass)}ul.svelte-k4xl7y{list-style:none;margin:0;padding:0}li.svelte-k4xl7y{padding:8px 0;border-bottom:1px solid var(--border)}.line.svelte-k4xl7y{display:flex;align-items:baseline;flex-wrap:wrap;gap:8px;width:100%;background:none;border:none;padding:0;color:inherit;font:inherit;text-align:left;cursor:pointer}.line.svelte-k4xl7y:hover .label:where(.svelte-k4xl7y){color:var(--text)}.steps.svelte-k4xl7y{flex:none;font-family:var(--mono);font-size:11px;color:var(--text-faint)}.caret.svelte-k4xl7y{flex:none;color:var(--text-faint);font-size:10px}.group-steps.svelte-k4xl7y{font-family:var(--mono);color:var(--text-faint);margin-left:auto;padding-right:10px}.detail.svelte-k4xl7y{margin:6px 0 0 1.6em;display:grid;gap:3px;font-size:13px;overflow-wrap:anywhere}.detail.svelte-k4xl7y .equals:where(.svelte-k4xl7y){color:var(--text-faint);padding:0 4px}.detail.svelte-k4xl7y code:where(.svelte-k4xl7y){font-family:var(--mono)}.terms.svelte-k4xl7y code:where(.svelte-k4xl7y){margin-right:2px}.verdict.svelte-k4xl7y{font-size:.95rem}.verdict.ok.svelte-k4xl7y{color:var(--pass)}.verdict.wrong-answer.svelte-k4xl7y,.verdict.compilation-error.svelte-k4xl7y{color:var(--fail)}.verdict.iteration-limit-exceeded.svelte-k4xl7y{color:var(--warn)}.headline.svelte-k4xl7y{display:flex;align-items:baseline;flex-wrap:wrap;gap:10px;width:100%;background:none;border:none;border-radius:4px;padding:4px 6px;margin:0 -6px;color:inherit;font:inherit;text-align:left;cursor:pointer}.headline.svelte-k4xl7y:hover{background:var(--code-line)}.headline.svelte-k4xl7y:hover .chevron:where(.svelte-k4xl7y){border-left-color:var(--text-dim)}.headline.svelte-k4xl7y .chevron:where(.svelte-k4xl7y){align-self:center}.score.svelte-k4xl7y{color:var(--text-dim)}.case-verdict.svelte-k4xl7y{flex:none;font-weight:700}li.pass.svelte-k4xl7y .case-verdict:where(.svelte-k4xl7y){color:var(--pass)}li.fail.svelte-k4xl7y .case-verdict:where(.svelte-k4xl7y),li.error.svelte-k4xl7y .case-verdict:where(.svelte-k4xl7y){color:var(--fail)}li.limit_exceeded.svelte-k4xl7y .case-verdict:where(.svelte-k4xl7y){color:var(--warn)}.label.svelte-k4xl7y{font-family:var(--mono);font-size:13px;flex:1;overflow-wrap:anywhere}@media(max-width:560px){.line.svelte-k4xl7y{display:grid;grid-template-columns:auto minmax(0,1fr) auto;grid-template-areas:"verdict label caret" ". steps steps";align-items:baseline;column-gap:8px;row-gap:2px}.case-verdict.svelte-k4xl7y{grid-area:verdict}.label.svelte-k4xl7y{grid-area:label}.headline.svelte-k4xl7y .steps:where(.svelte-k4xl7y){flex:0 1 auto;min-width:0}.line.svelte-k4xl7y .steps:where(.svelte-k4xl7y){grid-area:steps;flex:0 1 auto;min-width:0}.caret.svelte-k4xl7y{grid-area:caret;justify-self:end}}.summary.svelte-k4xl7y{margin:2px 0 0;color:var(--text-dim);font-size:13px}.counterexample.svelte-k4xl7y{margin:6px 0 0 1.6em;display:grid;gap:3px;font-size:13px;overflow-wrap:anywhere}.tag.svelte-k4xl7y{display:inline-block;min-width:5.5em;color:var(--text-faint);font-size:11px;text-transform:uppercase;letter-spacing:.04em}header.svelte-602fm3 h1:where(.svelte-602fm3){margin:4px 0 12px}.where.svelte-602fm3{display:flex;justify-content:space-between;color:var(--text-faint);font-size:12px;text-transform:uppercase;letter-spacing:.06em}.id.svelte-602fm3{font-family:var(--mono);color:var(--text-dim)}.statement.svelte-602fm3 p:where(.svelte-602fm3){margin:0 0 10px;color:var(--text-dim)}.statement-code.svelte-602fm3{margin:0 0 12px}.statement.svelte-602fm3 code:where(.svelte-602fm3){font-family:var(--mono);font-size:.92em;color:var(--text);background:none;padding:0}.namelink.svelte-602fm3{font-family:var(--mono);font-size:.92em;color:var(--accent);background:none;border:none;padding:0;text-decoration:underline dotted;text-underline-offset:.18em}.namelink.svelte-602fm3:hover{text-decoration-style:solid}.banner.svelte-602fm3{background:var(--bg-raised);border:1px solid var(--border-strong);border-left:3px solid var(--warn);border-radius:6px;padding:8px 12px;color:var(--text-dim);font-size:13px;margin:12px 0}.banner.error.svelte-602fm3{border-left-color:var(--fail)}section.svelte-602fm3{margin-top:16px}.context.svelte-602fm3,.definition.svelte-602fm3{margin-top:10px}.section-head.svelte-602fm3{display:flex;align-items:baseline;gap:8px;width:100%;background:none;border:none;padding:4px 2px;font-size:11px;text-transform:uppercase;letter-spacing:.07em;color:var(--text-faint)}.chevron.svelte-602fm3{display:inline-block;transition:transform .12s ease-out}.chevron.open.svelte-602fm3{transform:rotate(90deg)}.count.svelte-602fm3{margin-left:auto;text-transform:none;letter-spacing:0;font-family:var(--mono)}.actions.svelte-602fm3{display:flex;align-items:center;gap:8px;flex-wrap:wrap;margin-top:14px}.actions.svelte-602fm3 button:where(.svelte-602fm3):disabled{pointer-events:none}.spacer.svelte-602fm3{flex:1}.status.svelte-602fm3{color:var(--text-faint);font-size:12px;text-transform:uppercase;letter-spacing:.05em}.blocked.svelte-602fm3{color:var(--warn);font-size:12.5px}h1.svelte-vnibrn{margin:0 0 6px}section.svelte-vnibrn{margin-top:16px}.use-library.svelte-vnibrn{display:flex;align-items:center;gap:7px;color:var(--text);font-size:13px;padding:12px 0 0;cursor:pointer;width:fit-content}.use-library.svelte-vnibrn input:where(.svelte-vnibrn){appearance:none;width:14px;height:14px;margin:0;border:1px solid var(--border-strong);border-radius:3px;background:var(--bg-input);cursor:pointer}.use-library.svelte-vnibrn input:where(.svelte-vnibrn):checked{background:var(--accent);border-color:var(--accent)}.use-library.svelte-vnibrn input:where(.svelte-vnibrn):checked:after{content:"";display:block;width:3px;height:7px;margin:1px 0 0 4px;border:solid var(--on-accent);border-width:0 1.5px 1.5px 0;transform:rotate(45deg)}.section-head.svelte-vnibrn{display:flex;align-items:baseline;gap:10px;font-size:11px;text-transform:uppercase;letter-spacing:.07em;color:var(--text-faint);padding:4px 2px 6px}.count.svelte-vnibrn{margin-left:auto;text-transform:none;letter-spacing:0;font-family:var(--mono)}.actions.svelte-vnibrn{display:flex;gap:8px;margin-top:14px}.failure.svelte-vnibrn{color:var(--warn);font-size:13px;margin-top:12px}.result.svelte-vnibrn code:where(.svelte-vnibrn){display:block;background:var(--bg-raised);border:1px solid var(--border);border-radius:6px;padding:10px 12px;overflow-x:auto;white-space:pre-wrap;overflow-wrap:anywhere}ol.svelte-vnibrn{margin:0;padding-left:22px;display:grid;gap:4px}li.svelte-vnibrn{overflow-wrap:anywhere}.sidebar.svelte-181dlmc{overflow-y:auto;padding:12px 8px 40px;height:100%}h2.svelte-181dlmc{display:flex;align-items:baseline;gap:8px;font-size:11px;text-transform:uppercase;letter-spacing:.08em;color:var(--text-faint);margin:14px 8px 6px}.progress.svelte-181dlmc{margin-left:auto;font-family:var(--mono);letter-spacing:0;color:var(--text-faint)}.progress.done.svelte-181dlmc{color:var(--pass)}ul.svelte-181dlmc{list-style:none;margin:0;padding:0}.entry.svelte-181dlmc{display:flex;align-items:baseline;gap:7px;width:100%;text-align:left;background:none;border:1px solid transparent;border-radius:6px;padding:4px 8px;font-size:13px}.entry.svelte-181dlmc:hover{background:var(--bg-raised)}.entry.active.svelte-181dlmc{background:var(--bg-raised);border-color:var(--border-strong)}.mark.svelte-181dlmc{width:1em;flex:none}.solved.svelte-181dlmc .mark:where(.svelte-181dlmc){color:var(--pass)}.failing.svelte-181dlmc .mark:where(.svelte-181dlmc),.invalid.svelte-181dlmc .mark:where(.svelte-181dlmc){color:var(--fail)}.stale.svelte-181dlmc .mark:where(.svelte-181dlmc){color:var(--warn)}.unchecked.svelte-181dlmc .mark:where(.svelte-181dlmc),.unavailable.svelte-181dlmc .mark:where(.svelte-181dlmc){color:var(--text-faint)}.id.svelte-181dlmc{font-family:var(--mono);color:var(--text-faint);font-size:12px;flex:none}.title.svelte-181dlmc{color:var(--text);overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.unavailable.svelte-181dlmc .title:where(.svelte-181dlmc){color:var(--text-dim)}.app.svelte-1n46o8q{display:flex;flex-direction:column;height:100%}.top.svelte-1n46o8q{display:flex;align-items:center;gap:12px;padding:0 12px;height:46px;border-bottom:1px solid var(--border);background:var(--bg-raised);flex:none}.brand.svelte-1n46o8q{font-weight:600;white-space:nowrap}.brand.svelte-1n46o8q .mark:where(.svelte-1n46o8q){color:var(--code-keyword)}.brand.svelte-1n46o8q .dot:where(.svelte-1n46o8q){color:var(--code-punct)}.tabs.svelte-1n46o8q{display:flex;gap:4px;margin-left:8px}.tabs.svelte-1n46o8q button:where(.svelte-1n46o8q){background:none;border:1px solid transparent;color:var(--text-dim);padding:4px 10px}.tabs.svelte-1n46o8q button.active:where(.svelte-1n46o8q){color:var(--text);background:var(--bg-input);border-color:var(--border-strong)}.stale.svelte-1n46o8q{padding:3px 9px;font-size:12px;background:none;white-space:nowrap;color:var(--warn);border-color:var(--warn)}.score.svelte-1n46o8q{margin-left:auto;color:var(--text-faint);font-size:12px;white-space:nowrap}.theme.svelte-1n46o8q{flex:none;display:grid;place-items:center;width:30px;height:26px;background:none;border-color:transparent;color:var(--text-dim);padding:0}.theme.svelte-1n46o8q svg:where(.svelte-1n46o8q){width:15px;height:15px;fill:none;stroke:currentColor;stroke-width:1.4;stroke-linecap:round;stroke-linejoin:round}.theme.svelte-1n46o8q:hover:not(:disabled){color:var(--text);border-color:var(--border-strong)}.drawer-toggle.svelte-1n46o8q{display:none;background:none;border:none;font-size:18px;padding:0 4px}.body.svelte-1n46o8q{flex:1;display:flex;min-height:0;position:relative}aside.svelte-1n46o8q{width:240px;flex:none;border-right:1px solid var(--border);background:var(--bg)}main.svelte-1n46o8q{flex:1;overflow-y:auto;min-width:0}.scrim.svelte-1n46o8q{display:none}@media(max-width:720px){.drawer-toggle.svelte-1n46o8q{display:block}aside.svelte-1n46o8q{position:absolute;top:0;bottom:0;left:0;z-index:20;transform:translate(-100%);visibility:hidden;transition:transform .16s ease-out,visibility 0s .16s;box-shadow:0 0 24px #0006}aside.open.svelte-1n46o8q{transform:translate(0);visibility:visible;transition:transform .16s ease-out}.scrim.svelte-1n46o8q{display:block;position:absolute;inset:0;z-index:10;background:#00000059;border:none;border-radius:0}}@media(max-width:560px){.top.svelte-1n46o8q{height:auto;flex-wrap:wrap;padding:6px 10px;row-gap:6px;gap:8px}.brand.svelte-1n46o8q{flex:1}.tabs.svelte-1n46o8q{order:1;width:100%;margin-left:0}.tabs.svelte-1n46o8q button:where(.svelte-1n46o8q){flex:1;padding:8px 10px}.theme.svelte-1n46o8q{width:38px;height:34px}.drawer-toggle.svelte-1n46o8q{padding:0 8px}}:root{--bg: #0f1115;--bg-raised: #161a21;--bg-input: #1b2029;--bg-hover: #1f2530;--border: #262d38;--border-strong: #37414f;--text: #e6e9ef;--text-dim: #98a2b3;--text-faint: #6b7480;--accent: #7aa2f7;--on-accent: #0b0e13;--pass: #6cc46c;--fail: #e06c75;--warn: #d9a05b;--shadow: 0 12px 32px rgb(0 0 0 / .5);--code-bg: var(--bg-input);--code-text: #e6e9ef;--code-keyword: #7aa2f7;--code-definition: #c678dd;--code-known: #56b6c2;--code-punct: #98a2b3;--code-comment: #6b7480;--code-caret: #e6e9ef;--code-selection: rgb(122 162 247 / .19);--code-row: #2f3b52;--code-line: var(--bg-hover);--code-match: rgb(152 162 179 / .7);--code-match-fill: rgb(152 162 179 / .1);--code-space: rgb(122 162 247 / .38);--code-guide: rgb(152 162 179 / .2);--code-gutter: #6b7480;--code-gutter-active: #98a2b3;--bracket-1: #e78284;--bracket-2: #e8a06a;--bracket-3: #e5c07b;--bracket-4: #98c379;--bracket-5: #61afef;--bracket-6: #b48ead;--mono: ui-monospace, "SF Mono", "Cascadia Code", "Fira Code", Menlo, Consolas, monospace;--sans: system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;color-scheme:dark}:root[data-theme=light]{--bg: #fbfbfd;--bg-raised: #ffffff;--bg-input: #f4f5f8;--bg-hover: #eef1f6;--border: #e2e5ec;--border-strong: #c9cfda;--text: #1c2027;--text-dim: #5b6472;--text-faint: #79828f;--accent: #2f6fdc;--on-accent: #ffffff;--pass: #2f8f46;--fail: #c33a44;--warn: #a4691d;--shadow: 0 12px 32px rgb(28 32 39 / .16);--code-text: #1c2027;--code-keyword: #2f6fdc;--code-definition: #8250df;--code-known: #0f766e;--code-punct: #5b6472;--code-comment: #79828f;--code-caret: #1c2027;--code-selection: rgb(47 111 220 / .13);--code-row: #cdddf5;--code-match: rgb(121 130 143 / .7);--code-match-fill: rgb(121 130 143 / .1);--code-space: rgb(47 111 220 / .28);--code-guide: rgb(91 100 114 / .22);--code-gutter: #79828f;--code-gutter-active: #5b6472;--bracket-1: #a40e26;--bracket-2: #d1560a;--bracket-3: #bf3989;--bracket-4: #2f8f46;--bracket-5: #1f6feb;--bracket-6: #a626a4;color-scheme:light}*{box-sizing:border-box}html,body{margin:0;height:100%}body{background:var(--bg);color:var(--text);font-family:var(--sans);font-size:15px;line-height:1.55;-webkit-text-size-adjust:100%}#app{height:100%}button{font:inherit;color:inherit;background:var(--bg-raised);border:1px solid var(--border-strong);border-radius:6px;padding:5px 12px;cursor:pointer}button:hover:not(:disabled){border-color:var(--accent)}button:disabled{opacity:.5;cursor:default}button:focus-visible,input:focus-visible,[tabindex]:focus-visible{outline:2px solid var(--accent);outline-offset:2px}button.primary{background:var(--accent);border-color:var(--accent);color:var(--on-accent)}input[type=text]{font:inherit;color:inherit;background:var(--bg-input);border:1px solid var(--border-strong);border-radius:6px;padding:5px 10px}code,pre{font-family:var(--mono);font-size:.92em}code{background:var(--bg-input);border-radius:4px;padding:.08em .32em}.page{max-width:820px;margin:0 auto;padding:20px 20px 96px}h1{font-size:21px}.lede{color:var(--text-dim);font-size:13px;margin:0 0 8px}@media(max-width:560px){.page{padding:14px 14px 72px}button{padding:8px 14px}}