.cm-editor{height:100%;outline:none!important}.theme-popover.svelte-coxugt{transform-origin:100% 0;animation:.14s ease-out svelte-coxugt-popover-in}@keyframes svelte-coxugt-popover-in{0%{opacity:0;transform:translateY(-4px)scale(.98)}}@media (prefers-reduced-motion:reduce){.theme-popover.svelte-coxugt{animation:none}}@media (width<=450px){.theme-popover.svelte-coxugt{width:auto;max-width:none;max-height:calc(100dvh - 4.75rem);margin-top:0;position:fixed;top:4rem;left:.75rem;right:.75rem;overflow-y:auto}}.more-menu.svelte-1e6fahv{transform-origin:100% 0;animation:.12s ease-out svelte-1e6fahv-menu-in}.menu-item.svelte-1e6fahv{width:100%;color:var(--foreground);text-align:left;border-radius:6px;align-items:center;gap:10px;padding:8px 10px;font-size:13px;transition:background .1s;display:flex}.menu-item.svelte-1e6fahv:hover,.menu-item.svelte-1e6fahv:focus-visible{background:var(--muted);outline:none}.menu-item-danger.svelte-1e6fahv{color:var(--ide-bad)}.menu-item-danger.svelte-1e6fahv:hover,.menu-item-danger.svelte-1e6fahv:focus-visible{background:color-mix(in oklab, var(--ide-bad) 12%, transparent)}.menu-hint.svelte-1e6fahv{color:var(--muted-foreground);font-size:11px}@keyframes svelte-1e6fahv-menu-in{0%{opacity:0;transform:translateY(-4px)scale(.98)}}@media (prefers-reduced-motion:reduce){.more-menu.svelte-1e6fahv{animation:none}}@media (width<=450px){.ide-header.svelte-1e6fahv{grid-template-columns:auto auto auto;justify-content:space-between;column-gap:.25rem;padding-left:.5rem;padding-right:.5rem}.ide-header-left.svelte-1e6fahv{gap:0;width:auto}.ide-header-divider.svelte-1e6fahv,.run-label.svelte-1e6fahv{display:none}.ide-header-actions.svelte-1e6fahv{gap:.25rem}.ide-header-actions.svelte-1e6fahv>button:where(.svelte-1e6fahv){gap:.375rem;padding-left:.5rem;padding-right:.5rem}.ide-header-tools.svelte-1e6fahv{gap:0}}@media (width<=350px){.ide-home-link.svelte-1e6fahv{display:none}}.tt-widget{background:var(--secondary,#18181b);border:1px solid var(--border,#27272a);color:var(--foreground,#e4e4e7);border-radius:10px;grid-template-columns:1fr 260px;gap:16px;margin:16px 0 20px;padding:16px;font:13px/1.5 -apple-system,BlinkMacSystemFont,Segoe UI,Inter,Roboto,sans-serif;display:grid}@media (width<=640px){.tt-widget{grid-template-columns:1fr}}.tt-widget canvas{background:var(--background,#0a0a0b);border:1px solid var(--border,#27272a);border-radius:8px;width:100%;height:260px;display:block}.tt-widget .controls{flex-direction:column;gap:14px;display:flex}.tt-widget .ctrl label{color:var(--muted-foreground,#a1a1aa);justify-content:space-between;margin-bottom:6px;font-size:12.5px;display:flex}.tt-widget .ctrl label b{color:var(--foreground,#e4e4e7);font-weight:600}.tt-widget input[type=range]{width:100%;accent-color:var(--accent,#ef4444)}.tt-widget .btnrow{gap:8px;display:flex}.tt-widget button.wbtn{background:var(--muted,#27272a);color:var(--foreground,#e4e4e7);border:1px solid var(--border,#3f3f46);cursor:pointer;border-radius:8px;flex:1;padding:8px 10px;font-family:inherit;font-size:12.5px;font-weight:600}.tt-widget button.wbtn.primary{background:var(--accent,#ef4444);color:#2a0808;border-color:var(--accent,#ef4444)}.tt-widget button.wbtn:hover{filter:brightness(1.1)}.tt-widget .readout{background:var(--background,#0a0a0b);border:1px solid var(--border,#27272a);border-radius:8px;flex-direction:column;gap:4px;padding:10px 12px;font-size:12.5px;display:flex}.tt-widget .readout div{color:var(--muted-foreground,#a1a1aa);justify-content:space-between;display:flex}.tt-widget .readout div b{color:var(--foreground,#e4e4e7);font-family:ui-monospace,Menlo,Consolas,monospace;font-weight:600}.tt-widget.math-visualizer,.tt-widget.tt-classical-viz{display:block}.tt-classical-viz .tt-classical-layout{grid-template-columns:minmax(0,1fr) 250px;gap:12px 16px;margin:12px 0;display:grid}.tt-classical-viz .viz-stage{min-width:0}.tt-classical-viz .viz-stage canvas{background:var(--background,#0a0a0b);border:1px solid var(--border,#27272a);border-radius:8px;width:100%;height:300px;display:block}.tt-classical-viz .controls select{border:1px solid var(--border,#3f3f46);background:var(--background,#0a0a0b);width:100%;color:var(--foreground,#e4e4e7);font:inherit;border-radius:6px;padding:7px 9px}.tt-classical-viz .viz-caption{color:var(--muted-foreground,#a1a1aa);margin:12px 0 0;font-size:12px;font-style:italic}@media (width<=640px){.tt-classical-viz .tt-classical-layout{grid-template-columns:1fr}}.tt-widget .tt-math-viz{grid-template-columns:minmax(0,1fr) 250px;gap:12px 16px;display:grid}.tt-widget .tt-math-viz h4,.tt-widget .viz-caption{grid-column:1/-1;margin:0}.tt-widget .tt-math-viz h4{color:var(--foreground,#e4e4e7);font-size:16px;font-weight:650}.tt-widget .viz-stage{min-width:0}.tt-widget .viz-stage canvas,.tt-widget .viz-diagram{background:var(--background,#0a0a0b);border:1px solid var(--border,#27272a);border-radius:8px;width:100%;height:260px;display:block}.tt-widget .viz-diagram{padding:0}.tt-widget .viz-cell{fill:var(--muted,#27272a);stroke:var(--border,#3f3f46);stroke-width:1px}.tt-widget .viz-cell.active{fill:var(--viz-accent,var(--accent,#ef4444))}.tt-widget .viz-cell-label{fill:var(--foreground,#e4e4e7);font:600 14px ui-monospace,Menlo,Consolas,monospace}.tt-widget .viz-small-label{fill:var(--foreground,#e4e4e7);pointer-events:none;font:10px ui-monospace,Menlo,Consolas,monospace}.tt-widget .viz-axis{stroke:var(--border,#52525b);stroke-width:1px}.tt-widget .viz-label{fill:var(--foreground,#e4e4e7);font:12px ui-monospace,Menlo,Consolas,monospace}.tt-widget .viz-set-left{fill:var(--viz-accent,#ef4444);stroke:var(--viz-accent,#ef4444);stroke-width:2px}.tt-widget .viz-set-right{fill:#60a5fa;stroke:#60a5fa;stroke-width:2px}.tt-widget .viz-controls{gap:10px}.tt-widget .viz-caption{color:var(--muted-foreground,#a1a1aa);font-size:12px;font-style:italic}.tt-widget.tt-systems-viz{display:block}.tt-widget.tt-systems-viz h4{margin:0 0 12px;font-size:16px;font-weight:650}.tt-widget.tt-systems-viz .viz-layout{grid-template-columns:minmax(0,1fr) 240px;align-items:start;gap:14px;display:grid}.tt-widget.tt-systems-viz .viz-canvas{border:1px solid var(--border,#27272a);background:var(--background,#0a0a0b);border-radius:8px;width:100%;height:320px;display:block}.tt-widget.tt-systems-viz .viz-controls{flex-direction:column;gap:10px;display:flex}.tt-widget.tt-systems-viz .btnrow,.tt-widget.tt-systems-viz .readout{margin-top:12px}.tt-widget.tt-systems-viz .viz-status{color:var(--muted-foreground,#a1a1aa);margin:10px 0 0;font-size:11px}.tt-widget.tt-systems-viz .viz-status:not(:empty){border-left:2px solid #71717a;padding-left:8px}.interactive-visualizer-cta{width:100%;color:var(--foreground,#e4e4e7);text-align:left;cursor:pointer;background:0 0;border:0;border-left:2px solid #f87171;border-radius:0;grid-template-columns:auto 1fr auto;align-items:center;gap:10px;margin:12px 0;padding:7px 10px;transition:background-color .14s;display:grid}.interactive-visualizer-cta:hover{background:#f8717114}.interactive-visualizer-cta-kicker{color:#f87171;white-space:nowrap;font:650 10px/1.2 ui-monospace,Menlo,Consolas,monospace}.interactive-visualizer-cta-copy{color:var(--muted-foreground,#a1a1aa);font-size:12px;font-weight:500}.interactive-visualizer-cta-action{color:#f87171;white-space:nowrap;font:600 11px/1.3 ui-monospace,Menlo,Consolas,monospace}.tt-widget .viz-select,.tt-widget .viz-matrix-controls input{border:1px solid var(--border,#3f3f46);background:var(--background,#0a0a0b);min-width:0;color:var(--foreground,#e4e4e7);font:inherit;border-radius:6px;padding:6px 8px}.tt-widget .viz-matrix-controls{grid-template-columns:repeat(3,minmax(0,1fr));gap:4px;display:grid}.tt-widget .viz-probability-controls{gap:4px;display:grid}.tt-widget .viz-probability-controls label{color:var(--muted-foreground,#a1a1aa);grid-template-columns:auto 1fr;align-items:center;gap:2px 8px;font-size:12px;display:grid}.tt-widget .viz-probability-controls output{color:var(--foreground,#e4e4e7);justify-self:end;font-family:ui-monospace,Menlo,Consolas,monospace}.tt-widget .viz-probability-controls input{width:100%;accent-color:var(--viz-accent,var(--accent,#ef4444));grid-column:1/-1}@media (width<=640px){.tt-widget .tt-math-viz,.tt-widget.tt-systems-viz .viz-layout{grid-template-columns:1fr}.interactive-visualizer-cta{grid-template-columns:auto 1fr}.interactive-visualizer-cta-action{grid-column:2}}@media (prefers-reduced-motion:reduce){.interactive-visualizer-cta{transition:none}}.tt-widget .matrix-grid{background:var(--background,#0a0a0b);border:1px solid var(--border,#27272a);border-radius:8px;flex-direction:column;justify-content:center;align-items:center;gap:6px;min-height:220px;padding:20px;display:flex}.tt-widget .matrix-row{gap:6px;display:flex}.tt-widget .matrix-cell{background:var(--muted,#27272a);border-radius:6px;justify-content:center;align-items:center;width:52px;height:40px;font-family:ui-monospace,Menlo,Consolas,monospace;font-size:13px;transition:background .2s,color .2s;display:flex}.tt-widget .matrix-cell.pivot{background:var(--accent,#ef4444);color:#2a0808;font-weight:700}.tt-widget .matrix-cell.augmented{background:var(--secondary,#18181b);border:1px dashed var(--border,#3f3f46);margin-left:10px}.tt-widget .matrix-cell.changed{background:var(--amber,#f0b429);color:#2a1e04}.tt-widget.tt-data-widget{display:block}.tt-widget .tt-math-viz.tt-data-viz{grid-template-columns:minmax(0,1fr)}.tt-widget .tt-data-viz>.viz-controls{flex-flow:wrap;order:1;align-items:flex-end;gap:10px 14px}.tt-widget .tt-data-viz>.viz-controls>.ctrl{flex:150px}.tt-widget .tt-data-viz>.viz-controls>.readout,.tt-widget .tt-data-viz>.viz-controls>.wtree{flex:100%}.tt-widget .tt-data-viz>.viz-stage{order:2}.tt-widget .tt-data-viz>.viz-caption{order:3}.tt-widget .tt-data-viz>h4{order:0}.tt-widget .tt-data-viz canvas{height:280px}.tt-widget .tt-data-viz .wgrid{grid-template-columns:repeat(auto-fit,minmax(210px,1fr));gap:12px;margin-bottom:12px;display:grid}.tt-widget .tt-data-viz .wcode{background:var(--background,#0a0a0b);border:1px solid var(--border,#27272a);color:var(--muted-foreground,#a1a1aa);white-space:pre;border-radius:6px;margin-bottom:6px;padding:6px 8px;font:11.5px ui-monospace,Menlo,Consolas,monospace;overflow-x:auto}.tt-widget .tt-data-viz .wtable{border-collapse:collapse;width:100%;font:12px ui-monospace,Menlo,Consolas,monospace}.tt-widget .tt-data-viz .wtable th,.tt-widget .tt-data-viz .wtable td{text-align:left;border-bottom:1px solid var(--border,#27272a);padding:3px 8px}.tt-widget .tt-data-viz .wtable th{color:var(--muted-foreground,#a1a1aa);font-weight:600}.tt-widget .tt-data-viz .wtable td.nan{color:var(--muted-foreground,#a1a1aa);font-style:italic}.tt-widget .tt-data-viz .wtable tr.sel td{background:#f59e0b38}.tt-widget .tt-data-viz .wtable tr.g0 td:first-child,.tt-widget .tt-data-viz .wtable tr.g1 td:first-child,.tt-widget .tt-data-viz .wtable tr.g2 td:first-child,.tt-widget .tt-data-viz .wtable tr.g3 td:first-child,.tt-widget .tt-data-viz .wtable tr.g4 td:first-child{border-left:4px solid var(--group,#60a5fa)}.tt-widget .tt-data-viz .wtable tr.g0{--group:#60a5fa}.tt-widget .tt-data-viz .wtable tr.g1{--group:#f59e0b}.tt-widget .tt-data-viz .wtable tr.g2{--group:#34d399}.tt-widget .tt-data-viz .wtable tr.g3{--group:#f472b6}.tt-widget .tt-data-viz .wtable tr.g4{--group:#a78bfa}.tt-widget .tt-data-viz select{border:1px solid var(--border,#3f3f46);background:var(--background,#0a0a0b);width:100%;color:var(--foreground,#e4e4e7);font:inherit;border-radius:6px;padding:7px 9px}.tt-widget .tt-data-viz .wtoggle{color:var(--muted-foreground,#a1a1aa);cursor:pointer;align-items:center;gap:6px;font-size:12.5px;display:flex}.tt-widget .tt-data-viz .wtree{flex-direction:column;gap:4px;display:flex}.tt-widget .tt-data-viz .wtree-item{text-align:left;background:var(--muted,#27272a);color:var(--foreground,#e4e4e7);border:1px solid var(--border,#3f3f46);cursor:pointer;border-radius:6px;padding:4px 8px;font:11.5px ui-monospace,Menlo,Consolas,monospace}.tt-widget .tt-data-viz .wtree-item.on{background:#f59e0b2e;border-color:#f59e0b}.ide-prose{font-size:.9375rem;line-height:1.75;font-family:var(--ide-sans)}.ide-prose :where(h1,h2,h3,h4){font-family:var(--ide-sans);letter-spacing:-.01em;color:var(--foreground)}.ide-prose :where(h2){margin:2rem 0 .75rem;font-size:1.0625rem;font-weight:650;line-height:1.4}.ide-prose :where(h3){margin:1.4rem 0 .5rem;font-size:.9375rem;font-weight:600;line-height:1.5}.ide-prose :where(p){color:color-mix(in oklab, var(--foreground) 88%, transparent);margin:.75rem 0}.ide-prose :where(strong){color:var(--foreground);font-weight:600}.ide-prose :where(p:has(+pre)){color:var(--muted-foreground);margin:.85rem 0 .35rem;font-size:.8125rem;font-weight:600}.rail-active.svelte-9rs0d6:before{content:"";background:var(--ide-accent);border-radius:0 3px 3px 0;width:3px;position:absolute;top:9px;bottom:9px;left:-7px}.ide-prose :where(pre){border:1px solid var(--border);background:var(--ide-code,var(--muted));font-family:var(--ide-mono);letter-spacing:-.005em;border-radius:.375rem;margin:0 0 .25rem;padding:.7rem 1rem;font-size:.8125rem;font-weight:400;line-height:1.7;position:relative}.ide-prose :where(:not(pre)>code){background:var(--muted);font-family:var(--ide-mono);border:0;border-radius:.25rem;padding:.15em .4em;font-size:.85em;font-weight:450}.ide-prose :where(li){color:color-mix(in oklab, var(--foreground) 88%, transparent);margin-block:.4em}.ide-prose :where(li)::marker{color:var(--muted-foreground)}.ide-prose :where(details){border-color:var(--border);background:var(--secondary);border-radius:.375rem}.ide-prose pre code{font-family:inherit;font-size:inherit;font-weight:inherit}.ide-prose :where(table){border-collapse:collapse;width:100%;margin:.75rem 0;font-size:.8125rem;line-height:1.5}.ide-prose :where(th,td){border-bottom:1px solid var(--border);text-align:left;vertical-align:top;padding:.45rem .7rem}.ide-prose :where(th){color:var(--muted-foreground);font-size:.75rem;font-weight:600}.ide-prose :where(td code){white-space:pre-wrap;word-break:break-word;background:0 0;padding:0;font-size:.78rem}.ide-prose pre code{color:var(--syn-fg,inherit)}.ide-prose .syn-comment{color:var(--syn-comment);font-style:italic}.ide-prose .syn-keyword{color:var(--syn-keyword)}.ide-prose .syn-operator{color:var(--syn-operator)}.ide-prose .syn-fn{color:var(--syn-fn)}.ide-prose .syn-cls{color:var(--syn-cls)}.ide-prose .syn-string{color:var(--syn-string)}.ide-prose .syn-number{color:var(--syn-number)}.ide-prose .syn-property{color:var(--syn-property)}.ide-prose .syn-variable{color:var(--syn-variable)}.ide-prose .syn-meta{color:var(--syn-meta)}.ide-prose .syn-invalid{color:var(--syn-invalid)}.ide-prose .code-block{position:relative}.ide-prose .code-block .copy-code{border:1px solid var(--border);background:var(--secondary);font-family:var(--ide-mono);color:var(--muted-foreground);opacity:0;cursor:pointer;border-radius:6px;padding:1px 8px;font-size:10px;transition:opacity .12s;position:absolute;top:6px;right:6px}.ide-prose .code-block:hover .copy-code,.ide-prose .code-block .copy-code:focus-visible{opacity:1}.ide-prose .code-block .copy-code:hover{color:var(--foreground)}.ide-prose :where(summary){font-family:var(--ide-sans)}.next-link.svelte-1ry0y3d{background:var(--muted);color:var(--ide-ok);border-radius:6px;flex-shrink:0;align-items:center;gap:6px;padding:6px 11px;font-size:12px;font-weight:500;text-decoration:none;transition:background .12s;display:inline-flex}.next-link.svelte-1ry0y3d:hover{background:color-mix(in oklab, var(--foreground) 15%, transparent)}.chip.svelte-1ry0y3d{border:1px solid var(--border);color:var(--muted-foreground);font-family:var(--ide-mono);cursor:pointer;background:0 0;border-radius:4px;align-items:center;gap:7px;padding:3px 9px 3px 8px;font-size:11.5px;transition:background .12s,color .12s;display:inline-flex}.chip.svelte-1ry0y3d:hover{color:var(--foreground);background:var(--secondary)}.chip-dot.svelte-1ry0y3d{border-radius:50%;width:6px;height:6px}.chip-ok.svelte-1ry0y3d .chip-dot:where(.svelte-1ry0y3d){background:var(--ide-ok)}.chip-bad.svelte-1ry0y3d{color:var(--foreground)}.chip-bad.svelte-1ry0y3d .chip-dot:where(.svelte-1ry0y3d){background:var(--ide-bad)}.chip-selected.svelte-1ry0y3d{border-color:color-mix(in oklab, var(--foreground) 40%, transparent);background:var(--secondary);color:var(--foreground)}.detail.svelte-1ry0y3d{border:1px solid var(--border);border-radius:6px;padding:12px 14px}.facts.svelte-1ry0y3d{grid-template-columns:max-content 1fr;gap:8px 16px;font-size:12px;display:grid}.facts.svelte-1ry0y3d dt:where(.svelte-1ry0y3d){color:var(--muted-foreground);padding-top:2px}.facts.svelte-1ry0y3d dd:where(.svelte-1ry0y3d){min-width:0;margin:0}.facts.svelte-1ry0y3d code:where(.svelte-1ry0y3d){background:var(--secondary);font-family:var(--ide-mono);white-space:pre-wrap;word-break:break-word;border-radius:4px;padding:3px 8px;font-size:12px;display:block}.detail-pre.svelte-1ry0y3d{border:1px solid var(--border);background:var(--secondary);font-family:var(--ide-mono);white-space:pre-wrap;word-break:break-word;border-radius:4px;padding:10px 12px;font-size:11.5px;line-height:1.6}@media (width>=768px){.ide-left-pane.svelte-acuut8{width:var(--ide-left-pane-percent)}.ide-bottom-pane.svelte-acuut8{height:var(--ide-bottom-pane-percent)}.ide-bottom-pane.ide-bottom-collapsed.svelte-acuut8{height:2.75rem;min-height:0}}.ide-shell{--ide-gutter:#0d0c0b;--ide-panel:#171513;--ide-head:#1e1b18;--ide-line:#2f2a25;--ide-chip:#28231f;--ide-text:#f2ede6;--ide-text-2:#a99f93;--ide-code:#12100e;--ide-accent:#e0795a;--ide-accent-fg:#1b0b04;--ide-ok:#5fd39a;--ide-ok-fg:#06180d;--ide-bad:#e5786f;--ide-warn:#ffb04a;--ide-sans:"IBM Plex Sans", var(--font-sans);--ide-mono:"IBM Plex Mono", var(--font-mono);--background:var(--ide-panel);--secondary:var(--ide-head);--muted:var(--ide-chip);--border:var(--ide-line);--foreground:var(--ide-text);--muted-foreground:var(--ide-text-2);--popover:var(--ide-panel);--popover-foreground:var(--ide-text);--primary:var(--ide-accent);--primary-foreground:var(--ide-accent-fg);background:var(--ide-gutter);color:var(--ide-text);font-family:var(--ide-sans);scrollbar-color:var(--ide-line) transparent}.ide-shell .font-mono{font-family:var(--ide-mono)}.ide-shell .font-sans{font-family:var(--ide-sans)}.ide-shell ::-webkit-scrollbar-thumb{background-color:var(--ide-line)}.ide-shell ::-webkit-scrollbar-thumb:hover{background-color:var(--ide-text-2)}