.chip-group.svelte-rfqnba{flex-wrap:wrap;gap:.5rem;display:flex}.chip-slot.svelte-rfqnba{display:contents}.chip.svelte-rfqnba{min-height:32px;font-family:var(--font-mono,"IBM Plex Mono", monospace);text-align:left;color:var(--ink);background:var(--paper);border:1px solid var(--grid);cursor:pointer;opacity:.7;border-radius:2px;align-items:center;gap:.35rem;padding:.4rem .7rem;font-size:.8125rem;line-height:1.3;display:inline-flex}.chip.on.svelte-rfqnba{color:var(--pen-blue);background:var(--paper-alt);border-color:var(--pen-blue);opacity:1;font-weight:600}.chip.core.svelte-rfqnba{color:var(--pen-red);border-color:var(--pen-red)}.chip-check.svelte-rfqnba{flex:none;width:1ch;display:inline-block}.chip.svelte-rfqnba:focus-visible{outline:2px solid var(--pen-blue);outline-offset:2px}.chip.core.svelte-rfqnba:focus-visible{outline-color:var(--pen-red)}@media (width<=32rem){.chip-group.svelte-rfqnba{flex-direction:column;align-items:stretch}.chip.svelte-rfqnba{min-height:40px}}.visually-hidden.svelte-rfqnba{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.board.svelte-k7na28{flex-direction:column;gap:.5rem;display:flex}.board-table.svelte-k7na28{table-layout:fixed;border-collapse:collapse;background:var(--paper);border:1px solid var(--grid);width:100%;max-width:36rem}.board-table.dimmed.svelte-k7na28 tbody:where(.svelte-k7na28){opacity:.4}.name-col.svelte-k7na28{width:4rem}.name-head.svelte-k7na28,.day-head.svelte-k7na28{font-family:var(--font-mono,"IBM Plex Mono", monospace);letter-spacing:.02em;color:var(--ink);opacity:.7;text-align:center;border-bottom:1px solid var(--grid);padding:.35rem .2rem;font-size:.75rem;font-weight:400}.name-head.svelte-k7na28{text-align:left;padding-left:.5rem}.staff-head.svelte-k7na28{font-family:var(--font-mono,"IBM Plex Mono", monospace);color:var(--ink);text-align:left;white-space:nowrap;border-top:1px solid var(--grid);padding:.25rem .2rem .25rem .5rem;font-size:.8125rem;font-weight:400;overflow:hidden}.cell.svelte-k7na28{text-align:center;vertical-align:middle;border-top:1px solid var(--grid);border-left:1px solid var(--grid);height:2.25rem;padding:.125rem}.cell-stack.svelte-k7na28{flex-wrap:wrap;justify-content:center;gap:.125rem;display:inline-flex}.cell-chip.svelte-k7na28{min-width:1.75rem;min-height:1.75rem;font-family:var(--font-body,"IBM Plex Sans Variable", sans-serif);border-radius:2px;justify-content:center;align-items:center;padding:0 .125rem;font-size:.875rem;line-height:1;display:inline-flex}.chip-e.svelte-k7na28{color:var(--pen-blue);border:1px solid var(--pen-blue)}.chip-d.svelte-k7na28{color:var(--ink);border:1px solid var(--grid)}.chip-l.svelte-k7na28{color:var(--ink);background:var(--signal);border:1px solid var(--signal)}.chip-n.svelte-k7na28{color:var(--pen-red);border:1px solid var(--pen-red);background:var(--paper-alt)}.chip-o.svelte-k7na28{color:var(--ink);opacity:.75;border:1px dashed var(--grid);background:0 0}.board-legend.svelte-k7na28{font-family:var(--font-mono,"IBM Plex Mono", monospace);color:var(--ink);opacity:.75;flex-wrap:wrap;gap:.25rem .75rem;margin:0;font-size:.75rem;display:flex}.legend-item.svelte-k7na28{white-space:nowrap}.visually-hidden.svelte-k7na28{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.console.svelte-i3hq5r{flex-direction:column;gap:.75rem;display:flex}fieldset.control-group.svelte-i3hq5r{border:none;flex-direction:column;gap:.6rem;margin:0;padding:0;display:flex}legend.svelte-i3hq5r{font-family:var(--font-mono,"IBM Plex Mono", monospace);letter-spacing:.02em;color:var(--ink);opacity:.7;margin-bottom:.2rem;padding:0;font-size:.75rem}.segmented.svelte-i3hq5r{border:1px solid var(--grid);flex-wrap:wrap;width:fit-content;max-width:100%;display:flex}.segment.svelte-i3hq5r{min-height:24px;font-family:var(--font-mono,"IBM Plex Mono", monospace);color:var(--ink);cursor:pointer;border-right:1px solid var(--grid);align-items:center;padding:.5rem .85rem;font-size:.875rem;display:flex;position:relative}.segment.svelte-i3hq5r:last-child{border-right:none}.segment.svelte-i3hq5r input:where(.svelte-i3hq5r){clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.segment.selected.svelte-i3hq5r{background:var(--paper-alt);color:var(--pen-blue);font-weight:600}.segment.svelte-i3hq5r:has(:where(.svelte-i3hq5r):focus-visible){outline:2px solid var(--pen-blue);outline-offset:-2px}.edit-hint.svelte-i3hq5r{font-family:var(--font-body,"IBM Plex Sans Variable", sans-serif);color:var(--ink);opacity:.8;margin:0;font-size:.8125rem}.script-input.svelte-i3hq5r{width:100%;font-family:var(--font-mono,"IBM Plex Mono", monospace);color:var(--ink);background:var(--paper-alt);border:1px solid var(--grid);resize:vertical;white-space:pre;border-radius:2px;padding:.75rem .9rem;font-size:.8125rem;line-height:1.6;overflow-x:auto}.script-input.svelte-i3hq5r:focus-visible{outline:2px solid var(--pen-blue);outline-offset:2px}.error-line.svelte-i3hq5r{font-family:var(--font-mono,"IBM Plex Mono", monospace);color:var(--pen-red);background:var(--paper-alt);border:1px solid var(--pen-red);margin:0;padding:.6rem .85rem;font-size:.875rem}.run-row.svelte-i3hq5r{flex-wrap:wrap;align-items:center;gap:.75rem;display:flex}.run-button.svelte-i3hq5r,.cancel-button.svelte-i3hq5r{font-family:var(--font-mono,"IBM Plex Mono", monospace);border:1px solid var(--ink);background:var(--paper);min-height:24px;color:var(--ink);cursor:pointer;border-radius:0;padding:.5rem .85rem;font-size:.875rem}.run-button.svelte-i3hq5r:disabled{cursor:default;opacity:.6}.cancel-button.svelte-i3hq5r{border-color:var(--pen-red);color:var(--pen-red);background:var(--paper-alt)}.run-button.svelte-i3hq5r:focus-visible,.cancel-button.svelte-i3hq5r:focus-visible{outline:2px solid var(--pen-blue);outline-offset:2px}.console-status.svelte-i3hq5r{font-family:var(--font-mono,"IBM Plex Mono", monospace);color:var(--ink);min-height:1.2em;margin:0;font-size:.8125rem}.output-section.svelte-i3hq5r{flex-direction:column;gap:.5rem;display:flex}.output-heading.svelte-i3hq5r{font-family:var(--font-mono,"IBM Plex Mono", monospace);letter-spacing:.02em;color:var(--ink);margin:0;font-size:.8125rem;font-weight:600}.output-pane.svelte-i3hq5r{background:var(--paper-alt);border:1px solid var(--grid);border-radius:2px;max-height:20rem;margin:0;padding:.75rem .9rem;overflow:auto}.output-pane.svelte-i3hq5r:focus-visible{outline:2px solid var(--pen-blue);outline-offset:2px}.output-pane.svelte-i3hq5r code:where(.svelte-i3hq5r){font-family:var(--font-mono,"IBM Plex Mono", monospace);color:var(--ink);white-space:pre;font-size:.8125rem;line-height:1.6}.output-note.svelte-i3hq5r{font-family:var(--font-body,"IBM Plex Sans Variable", sans-serif);color:var(--ink);opacity:.8;margin:0;font-size:.8125rem;line-height:1.6}.output-note.svelte-i3hq5r code:where(.svelte-i3hq5r){font-family:var(--font-mono,"IBM Plex Mono", monospace);font-size:.75rem}@media (width<=32rem){.segment.svelte-i3hq5r,.run-button.svelte-i3hq5r,.cancel-button.svelte-i3hq5r{min-height:40px}}.verdict.svelte-18aik3r{flex-direction:column;gap:.5rem;display:flex}.strip.svelte-18aik3r{font-family:var(--font-mono,"IBM Plex Mono", monospace);font-variant-numeric:tabular-nums;color:var(--ink);background:var(--paper-alt);border:1px solid var(--grid);border-radius:2px;margin:0;padding:.6rem .85rem;font-size:.875rem;line-height:1.5}.strip.empty.svelte-18aik3r{background:0 0;border-color:#0000;min-height:1.5em;padding-block:.6rem}.strip.sat.svelte-18aik3r{color:var(--pen-blue);border-color:var(--pen-blue);font-weight:600}.unsat-strip.svelte-18aik3r,.error-strip.svelte-18aik3r{color:var(--pen-red);border-color:var(--pen-red);font-weight:600}.alert-region.svelte-18aik3r:empty{display:none}.core-block.svelte-18aik3r{border:1px solid var(--grid);background:var(--paper-alt);border-radius:2px;margin-top:.5rem;padding:.6rem .85rem}.core-line.svelte-18aik3r{font-family:var(--font-body,"IBM Plex Sans Variable", sans-serif);color:var(--ink);margin:0;font-size:.875rem;line-height:1.7}.core-head.svelte-18aik3r{font-weight:600}.core-foot.svelte-18aik3r{opacity:.9;margin-top:.35rem}.oxiz-error.svelte-1dlcp2h{color:var(--pen-red);border:1px solid var(--pen-red);background:var(--paper-alt);margin:1.25rem 0 0;padding:.75rem 1rem;font-family:IBM Plex Mono,monospace;font-size:.9375rem}h1.svelte-1dlcp2h{margin-top:1.75rem}.lede.svelte-1dlcp2h{color:var(--ink);max-width:42rem;margin:.75rem 0 0;font-family:IBM Plex Sans Variable,sans-serif;font-size:1.0625rem;line-height:1.7}.tablist.svelte-1dlcp2h{border:1px solid var(--grid);margin-top:1.5rem;display:inline-flex}.tab.svelte-1dlcp2h{color:var(--ink);background:var(--paper);border:none;border-right:1px solid var(--grid);cursor:pointer;padding:.55rem 1.1rem;font-family:IBM Plex Mono,monospace;font-size:.875rem}.tab.svelte-1dlcp2h:last-child{border-right:none}.tab[aria-selected=true].svelte-1dlcp2h{background:var(--paper-alt);color:var(--pen-blue);font-weight:600}.tab.svelte-1dlcp2h:focus-visible{outline:2px solid var(--pen-blue);outline-offset:-2px}.privacy-line.svelte-1dlcp2h{color:var(--ink);opacity:.8;margin:.75rem 0 0;font-family:IBM Plex Mono,monospace;font-size:.8125rem}#panel-board.svelte-1dlcp2h,#panel-console.svelte-1dlcp2h{margin-top:1.5rem}.board-block.svelte-1dlcp2h{margin-top:1rem}.chips-block.svelte-1dlcp2h{margin-top:1.25rem}.solve-row.svelte-1dlcp2h{flex-wrap:wrap;align-items:center;gap:.75rem;margin-top:1rem;display:flex}.solve-button.svelte-1dlcp2h,.cancel-button.svelte-1dlcp2h{border:1px solid var(--ink);background:var(--paper);min-height:24px;color:var(--ink);cursor:pointer;border-radius:0;padding:.5rem .85rem;font-family:IBM Plex Mono,monospace;font-size:.875rem}.solve-button.svelte-1dlcp2h:disabled{cursor:default;opacity:.6}.cancel-button.svelte-1dlcp2h{border-color:var(--pen-red);color:var(--pen-red);background:var(--paper-alt)}.solve-button.svelte-1dlcp2h:focus-visible,.cancel-button.svelte-1dlcp2h:focus-visible{outline:2px solid var(--pen-blue);outline-offset:2px}.stats-line.svelte-1dlcp2h{font-variant-numeric:tabular-nums;color:var(--ink);opacity:.8;margin:.75rem 0 0;font-family:IBM Plex Mono,monospace;font-size:.8125rem}.script-details.svelte-1dlcp2h{margin-top:1rem}.script-details.svelte-1dlcp2h summary:where(.svelte-1dlcp2h){color:var(--pen-blue);cursor:pointer;width:fit-content;font-family:IBM Plex Mono,monospace;font-size:.8125rem}.script-details.svelte-1dlcp2h summary:where(.svelte-1dlcp2h):focus-visible{outline:2px solid var(--pen-blue);outline-offset:2px}.script-pane.svelte-1dlcp2h{background:var(--paper-alt);border:1px solid var(--grid);border-radius:2px;max-height:20rem;margin:.75rem 0 0;padding:.75rem .9rem;overflow:auto}.script-pane.svelte-1dlcp2h:focus-visible{outline:2px solid var(--pen-blue);outline-offset:2px}.script-pane.svelte-1dlcp2h code:where(.svelte-1dlcp2h){color:var(--ink);white-space:pre;font-family:IBM Plex Mono,monospace;font-size:.75rem;line-height:1.6}.proof.svelte-1dlcp2h{border-top:1px solid var(--grid);flex-direction:column;gap:0;margin-top:2rem;padding-block:2rem;display:flex}.proof-scope-caption.svelte-1dlcp2h{color:var(--ink);opacity:.75;margin:.75rem 0 0;font-family:IBM Plex Mono,monospace;font-size:.8125rem;line-height:1.6}.limits.svelte-1dlcp2h{border-top:1px solid var(--grid);padding-block:1rem 2rem}.limits.svelte-1dlcp2h h2:where(.svelte-1dlcp2h),.snippet.svelte-1dlcp2h h2:where(.svelte-1dlcp2h){color:var(--ink);margin:0 0 1rem;font-family:Instrument Serif,serif;font-size:1.375rem;font-weight:400}.limits-scroll.svelte-1dlcp2h{overflow-x:auto}.limits-scroll.svelte-1dlcp2h:focus-visible{outline:2px solid var(--pen-blue);outline-offset:2px}.limits-table.svelte-1dlcp2h{border-collapse:collapse;background:var(--paper-alt);border:1px solid var(--grid);width:100%;color:var(--ink);border-radius:2px;font-size:.85rem;line-height:1.6}.limits-table.svelte-1dlcp2h thead:where(.svelte-1dlcp2h) th:where(.svelte-1dlcp2h){letter-spacing:.02em;opacity:.7;border-bottom:1px solid var(--grid);font-family:IBM Plex Mono,monospace;font-size:.75rem;font-weight:400}.limits-table.svelte-1dlcp2h tbody:where(.svelte-1dlcp2h) tr:where(.svelte-1dlcp2h){border-bottom:1px solid var(--grid)}.limits-table.svelte-1dlcp2h tbody:where(.svelte-1dlcp2h) tr:where(.svelte-1dlcp2h):last-child{border-bottom:none}.limits-table.svelte-1dlcp2h th:where(.svelte-1dlcp2h),.limits-table.svelte-1dlcp2h td:where(.svelte-1dlcp2h){text-align:left;vertical-align:top;padding:.6rem .75rem;font-family:IBM Plex Sans Variable,sans-serif;font-weight:400}.limits-table.svelte-1dlcp2h th[scope=row]:where(.svelte-1dlcp2h){min-width:11rem}.limits-table.svelte-1dlcp2h td:where(.svelte-1dlcp2h){min-width:14rem}.snippet.svelte-1dlcp2h{border-top:1px solid var(--grid);padding-block:1rem 3rem}.snippet.svelte-1dlcp2h pre:where(.svelte-1dlcp2h){background:var(--paper-alt);border:1px solid var(--grid);margin:0 0 .75rem;padding:1rem 1.25rem;overflow-x:auto}.snippet.svelte-1dlcp2h code:where(.svelte-1dlcp2h){color:var(--ink);white-space:pre;font-family:IBM Plex Mono,monospace;font-size:.8125rem;line-height:1.7}.snippet-caption.svelte-1dlcp2h{color:var(--ink);opacity:.75;margin:0;font-family:IBM Plex Mono,monospace;font-size:.875rem}@media (width<=32rem){.tab.svelte-1dlcp2h,.solve-button.svelte-1dlcp2h,.cancel-button.svelte-1dlcp2h{min-height:40px}.solve-button.svelte-1dlcp2h{flex:auto}}