.breadcrumb[data-astro-cid-mdokf4op]{display:flex;align-items:center;gap:8px;font-size:13px;color:var(--text-muted);margin-top:16px;margin-bottom:16px;flex-wrap:wrap}.breadcrumb-link[data-astro-cid-mdokf4op]{color:var(--text-muted);text-decoration:none;transition:color .12s;font-weight:500}.breadcrumb-link[data-astro-cid-mdokf4op]:hover{color:var(--text-secondary)}.breadcrumb-current[data-astro-cid-mdokf4op]{color:var(--text-primary);font-weight:600}.breadcrumb-sep[data-astro-cid-mdokf4op]{color:var(--text-muted);opacity:.5;font-weight:400}@media(width<=48rem){.breadcrumb[data-astro-cid-mdokf4op]{font-size:12px;gap:6px;margin-top:10px;margin-bottom:10px}.breadcrumb-current[data-astro-cid-mdokf4op],.breadcrumb-sep[data-astro-cid-mdokf4op].last{display:none}}.callout{--cal-accent: var(--sem);--cal-bg: var(--sem-bg);--cal-border: var(--sem-border);--cal-text: var(--sem-text);border-radius:0 8px 8px 0;border:1px solid var(--cal-border);border-left:3px solid var(--cal-accent);background:var(--cal-bg);padding:14px 18px;margin:20px 0;font-size:.9375rem;color:var(--cal-text);line-height:1.6}.callout strong.callout-title{font-family:var(--font-ui);font-size:.75rem;font-weight:700;letter-spacing:.4px;text-transform:uppercase;color:var(--cal-accent);margin-bottom:5px;display:block}.callout p{font-family:var(--font-body);color:var(--cal-text)}.callout p:last-child{margin-bottom:0}.callout ul li:before{background:var(--cal-accent)}.callout[data-type=note]{--cal-accent: #2563eb;--cal-bg: #eff4ff;--cal-border: #c4d5ff;--cal-text: #1e3a8a}.callout[data-type=tip]{--cal-accent: #16a34a;--cal-bg: #ecfdf3;--cal-border: #b8e6c9;--cal-text: #15803d}.callout[data-type=caution]{--cal-accent: #d97706;--cal-bg: #fef6e7;--cal-border: #f5d79e;--cal-text: #92400e}.callout[data-type=danger]{--cal-accent: #dc2626;--cal-bg: #fef2f2;--cal-border: #fcc5c5;--cal-text: #991b1b}[data-theme=dark]{.callout{--cal-bg: color-mix(in oklab, var(--cal-accent) 10%, var(--surface));--cal-border: color-mix(in oklab, var(--cal-accent) 24%, var(--surface));--cal-text: color-mix( in oklab, var(--cal-accent) 20%, var(--text-primary) )}.callout[data-type=note]{--cal-accent: #60a5fa}.callout[data-type=tip]{--cal-accent: #4ade80}.callout[data-type=caution]{--cal-accent: #fbbf24}.callout[data-type=danger]{--cal-accent: #f87171}}#walks-venn[data-astro-cid-qjulqrgr]{--walks-venn-label: #132238;--walks-venn-hover-label: #0b1220;--walks-venn-walk-fill: #f59e0b1c;--walks-venn-walk-stroke: #b4530961;--walks-venn-trail-fill: #f871711f;--walks-venn-trail-stroke: #dc262666;--walks-venn-path-fill: #3b82f633;--walks-venn-path-stroke: #2563eb80;--walks-venn-circuit-fill: #22c55e33;--walks-venn-circuit-stroke: #16a34a80;--walks-venn-euler-path-fill: #a855f733;--walks-venn-euler-path-stroke: #9333ea85;--walks-venn-cycle-fill: #16a34a52;--walks-venn-cycle-stroke: #15803d99;--walks-venn-euler-circuit-fill: #9333ea57;--walks-venn-euler-circuit-stroke: #7e22ce9e;--walks-venn-hamiltonian-path-fill: #14b8a638;--walks-venn-hamiltonian-path-stroke: #0d94888a;--walks-venn-hamiltonian-circuit-fill: #0d948857;--walks-venn-hamiltonian-circuit-stroke: #0f766ea3;color:var(--walks-venn-label)}:root[data-theme=dark] #walks-venn[data-astro-cid-qjulqrgr]{--walks-venn-label: #eef4ff;--walks-venn-hover-label: #fff;--walks-venn-walk-fill: #fbbf241f;--walks-venn-walk-stroke: #fcd34d6b;--walks-venn-trail-fill: #fb718526;--walks-venn-trail-stroke: #fda4af80;--walks-venn-path-fill: #60a5fa3d;--walks-venn-path-stroke: #93c5fd94;--walks-venn-circuit-fill: #4ade8038;--walks-venn-circuit-stroke: #86efac8f;--walks-venn-euler-path-fill: #c084fc3d;--walks-venn-euler-path-stroke: #d8b4fe94;--walks-venn-cycle-fill: #22c55e57;--walks-venn-cycle-stroke: #86efacad;--walks-venn-euler-circuit-fill: #a855f75c;--walks-venn-euler-circuit-stroke: #d8b4feb8;--walks-venn-hamiltonian-path-fill: #2dd4bf3d;--walks-venn-hamiltonian-path-stroke: #99f6e494;--walks-venn-hamiltonian-circuit-fill: #14b8a65c;--walks-venn-hamiltonian-circuit-stroke: #99f6e4b8}#walks-venn[data-astro-cid-qjulqrgr] g[data-astro-cid-qjulqrgr][data-hover]{cursor:pointer}#walks-venn[data-astro-cid-qjulqrgr] g[data-astro-cid-qjulqrgr][data-hover] [data-astro-cid-qjulqrgr]{transition:fill .18s,stroke .18s,filter .18s,transform .18s,stroke-width .18s,fill-opacity .18s,opacity .18s;transform-box:fill-box;transform-origin:center}#walks-venn[data-astro-cid-qjulqrgr] .shape[data-astro-cid-qjulqrgr]{fill:var(--walks-venn-region-fill);stroke:var(--walks-venn-region-stroke);fill-opacity:.2;stroke-width:1.5px;vector-effect:non-scaling-stroke}#walks-venn[data-astro-cid-qjulqrgr] .label[data-astro-cid-qjulqrgr]{fill:var(--walks-venn-label);font-weight:600;letter-spacing:.01em}#walks-venn[data-astro-cid-qjulqrgr] .definition[data-astro-cid-qjulqrgr]{fill:var(--walks-venn-label);font-size:11px;font-style:italic;font-weight:400;opacity:0}#walks-venn[data-astro-cid-qjulqrgr] .definition[data-astro-cid-qjulqrgr] tspan[data-astro-cid-qjulqrgr]{font-style:italic}#walks-venn[data-astro-cid-qjulqrgr] g[data-astro-cid-qjulqrgr][data-hover]:hover .definition[data-astro-cid-qjulqrgr]{opacity:1}#walks-venn[data-astro-cid-qjulqrgr] g[data-astro-cid-qjulqrgr][data-hover=walk]{--walks-venn-region-fill: var(--walks-venn-walk-fill);--walks-venn-region-stroke: var(--walks-venn-walk-stroke)}#walks-venn[data-astro-cid-qjulqrgr] g[data-astro-cid-qjulqrgr][data-hover=trail]{--walks-venn-region-fill: var(--walks-venn-trail-fill);--walks-venn-region-stroke: var(--walks-venn-trail-stroke)}#walks-venn[data-astro-cid-qjulqrgr] g[data-astro-cid-qjulqrgr][data-hover=path]{--walks-venn-region-fill: var(--walks-venn-path-fill);--walks-venn-region-stroke: var(--walks-venn-path-stroke)}#walks-venn[data-astro-cid-qjulqrgr] g[data-astro-cid-qjulqrgr][data-hover=circuit]{--walks-venn-region-fill: var(--walks-venn-circuit-fill);--walks-venn-region-stroke: var(--walks-venn-circuit-stroke)}#walks-venn[data-astro-cid-qjulqrgr] g[data-astro-cid-qjulqrgr][data-hover=euler-path]{--walks-venn-region-fill: var(--walks-venn-euler-path-fill);--walks-venn-region-stroke: var(--walks-venn-euler-path-stroke)}#walks-venn[data-astro-cid-qjulqrgr] g[data-astro-cid-qjulqrgr][data-hover=cycle]{--walks-venn-region-fill: var(--walks-venn-cycle-fill);--walks-venn-region-stroke: var(--walks-venn-cycle-stroke)}#walks-venn[data-astro-cid-qjulqrgr] g[data-astro-cid-qjulqrgr][data-hover=euler-circuit]{--walks-venn-region-fill: var(--walks-venn-euler-circuit-fill);--walks-venn-region-stroke: var(--walks-venn-euler-circuit-stroke)}#walks-venn[data-astro-cid-qjulqrgr] g[data-astro-cid-qjulqrgr][data-hover=hamiltonian-path]{--walks-venn-region-fill: var(--walks-venn-hamiltonian-path-fill);--walks-venn-region-stroke: var(--walks-venn-hamiltonian-path-stroke)}#walks-venn[data-astro-cid-qjulqrgr] g[data-astro-cid-qjulqrgr][data-hover=hamiltonian-circuit]{--walks-venn-region-fill: var(--walks-venn-hamiltonian-circuit-fill);--walks-venn-region-stroke: var(--walks-venn-hamiltonian-circuit-stroke)}#walks-venn[data-astro-cid-qjulqrgr] g[data-astro-cid-qjulqrgr][data-hover]:hover .shape[data-astro-cid-qjulqrgr]{stroke-width:2.2px;filter:saturate(1.12) brightness(1.04);fill-opacity:.9}#walks-venn[data-astro-cid-qjulqrgr]:has(g[data-hover]:hover) g[data-astro-cid-qjulqrgr][data-hover]:not(:hover){opacity:.2}#walks-venn[data-astro-cid-qjulqrgr] g[data-astro-cid-qjulqrgr][data-hover]:hover .label[data-astro-cid-qjulqrgr]{fill:var(--walks-venn-hover-label)}#tree-props-proof[data-astro-cid-jfdz6zef]{--s: #4c4c5e;--bg2: #fff;--b: #e0deda;--hl: #6b38a0;--hl-bg: #6b38a01a}:root[data-theme=dark] #tree-props-proof[data-astro-cid-jfdz6zef]{--s: #aab0ca;--bg2: #212430;--b: #353849;--hl: #a89eff;--hl-bg: #a89eff24}#tree-props-proof[data-astro-cid-jfdz6zef] .th[data-astro-cid-jfdz6zef]{font-size:12px;font-weight:600;fill:var(--tpp-node-color)}#tree-props-proof[data-astro-cid-jfdz6zef] .ts[data-astro-cid-jfdz6zef]{font-size:10.5px;fill:var(--s)}#tree-props-proof[data-astro-cid-jfdz6zef] .ag[data-astro-cid-jfdz6zef] .al[data-astro-cid-jfdz6zef]{transition:stroke .18s,stroke-width .18s}#tree-props-proof[data-astro-cid-jfdz6zef] .ag[data-astro-cid-jfdz6zef]:hover .al[data-astro-cid-jfdz6zef]{stroke:var(--hl)!important;stroke-width:2px!important}#tree-props-proof[data-astro-cid-jfdz6zef] .ag[data-astro-cid-jfdz6zef] .lb[data-astro-cid-jfdz6zef]{transition:stroke .18s,fill .18s}#tree-props-proof[data-astro-cid-jfdz6zef] .ag[data-astro-cid-jfdz6zef]:hover .lb[data-astro-cid-jfdz6zef]{stroke:var(--hl)!important;fill:var(--hl-bg)!important}#tree-props-proof[data-astro-cid-jfdz6zef] .c-purple[data-astro-cid-jfdz6zef]{--tpp-node-color: #6b38a0}#tree-props-proof[data-astro-cid-jfdz6zef] .c-purple[data-astro-cid-jfdz6zef] rect[data-astro-cid-jfdz6zef]{fill:#6b38a014;stroke:#6b38a073}#tree-props-proof[data-astro-cid-jfdz6zef] .c-teal[data-astro-cid-jfdz6zef]{--tpp-node-color: #0e7a96}#tree-props-proof[data-astro-cid-jfdz6zef] .c-teal[data-astro-cid-jfdz6zef] rect[data-astro-cid-jfdz6zef]{fill:#0e7a9614;stroke:#0e7a9673}#tree-props-proof[data-astro-cid-jfdz6zef] .c-coral[data-astro-cid-jfdz6zef]{--tpp-node-color: #b84030}#tree-props-proof[data-astro-cid-jfdz6zef] .c-coral[data-astro-cid-jfdz6zef] rect[data-astro-cid-jfdz6zef]{fill:#b8403014;stroke:#b8403073}#tree-props-proof[data-astro-cid-jfdz6zef] .c-amber[data-astro-cid-jfdz6zef]{--tpp-node-color: #8a5a18}#tree-props-proof[data-astro-cid-jfdz6zef] .c-amber[data-astro-cid-jfdz6zef] rect[data-astro-cid-jfdz6zef]{fill:#8a5a1814;stroke:#8a5a1873}:root[data-theme=dark] #tree-props-proof[data-astro-cid-jfdz6zef] .c-purple[data-astro-cid-jfdz6zef]{--tpp-node-color: #c090ee}:root[data-theme=dark] #tree-props-proof[data-astro-cid-jfdz6zef] .c-purple[data-astro-cid-jfdz6zef] rect[data-astro-cid-jfdz6zef]{fill:#a870e01f;stroke:#a870e08c}:root[data-theme=dark] #tree-props-proof[data-astro-cid-jfdz6zef] .c-teal[data-astro-cid-jfdz6zef]{--tpp-node-color: #28b4d4}:root[data-theme=dark] #tree-props-proof[data-astro-cid-jfdz6zef] .c-teal[data-astro-cid-jfdz6zef] rect[data-astro-cid-jfdz6zef]{fill:#28b4d41f;stroke:#28b4d48c}:root[data-theme=dark] #tree-props-proof[data-astro-cid-jfdz6zef] .c-coral[data-astro-cid-jfdz6zef]{--tpp-node-color: #f07868}:root[data-theme=dark] #tree-props-proof[data-astro-cid-jfdz6zef] .c-coral[data-astro-cid-jfdz6zef] rect[data-astro-cid-jfdz6zef]{fill:#f078681f;stroke:#f078688c}:root[data-theme=dark] #tree-props-proof[data-astro-cid-jfdz6zef] .c-amber[data-astro-cid-jfdz6zef]{--tpp-node-color: #d89040}:root[data-theme=dark] #tree-props-proof[data-astro-cid-jfdz6zef] .c-amber[data-astro-cid-jfdz6zef] rect[data-astro-cid-jfdz6zef]{fill:#d890401f;stroke:#d890408c}.simplex[data-astro-cid-raco4nup]{margin:24px 0;border:1px solid var(--border);border-radius:8px;background:var(--surface);padding:14px 16px 16px;font-family:var(--font-ui)}.simplex[data-astro-cid-raco4nup]:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.simplex[data-astro-cid-raco4nup]:not(.ready) .bar[data-astro-cid-raco4nup],.simplex[data-astro-cid-raco4nup]:not(.ready) .foot[data-astro-cid-raco4nup]{visibility:hidden}.bar[data-astro-cid-raco4nup]{display:flex;justify-content:space-between;align-items:baseline;margin-bottom:8px;min-height:1.2em}.label[data-astro-cid-raco4nup]{font-weight:700;color:var(--text-primary)}.count[data-astro-cid-raco4nup]{font-size:.8rem;color:var(--text-secondary);font-variant-numeric:tabular-nums}.legend[data-astro-cid-raco4nup]{display:flex;flex-wrap:wrap;gap:6px 14px;margin:0 0 12px;font-size:.72rem;color:var(--text-secondary)}.chip[data-astro-cid-raco4nup]{display:inline-flex;align-items:center;gap:5px}.chip[data-astro-cid-raco4nup]:before{content:"";width:11px;height:11px;border-radius:3px;flex:none}.chip[data-astro-cid-raco4nup].enter:before{background:var(--accent-dim);border:1px solid var(--accent)}.chip[data-astro-cid-raco4nup].leave:before{background:var(--accent-dim)}.chip[data-astro-cid-raco4nup].pivot:before{background:var(--accent-subtle)}.chip[data-astro-cid-raco4nup].changed:before{display:none}.chip[data-astro-cid-raco4nup].changed{color:var(--accent);font-weight:600}.scroll[data-astro-cid-raco4nup]{overflow-x:auto;scrollbar-width:thin}.stack[data-astro-cid-raco4nup] .step .tableau{display:none}.stack[data-astro-cid-raco4nup]{display:grid;margin-top:2px}.stack[data-astro-cid-raco4nup]>.step{grid-area:1 / 1;min-width:0;opacity:0;visibility:hidden;transition:opacity .15s}.stack[data-astro-cid-raco4nup]>.step.active{opacity:1;visibility:visible}@media(prefers-reduced-motion:reduce){.stack[data-astro-cid-raco4nup]>.step{transition:none}}.foot[data-astro-cid-raco4nup]{display:flex;justify-content:space-between;align-items:center;flex-wrap:wrap;gap:10px;margin-top:12px}.dots[data-astro-cid-raco4nup]{display:flex;gap:7px}.dots[data-astro-cid-raco4nup] .dot{width:9px;height:9px;padding:0;border-radius:50%;border:1px solid var(--border-strong);background:none;cursor:pointer}.dots[data-astro-cid-raco4nup] .dot[aria-selected=true]{background:var(--accent);border-color:var(--accent)}.controls[data-astro-cid-raco4nup]{display:flex;gap:8px}.controls[data-astro-cid-raco4nup] button[data-astro-cid-raco4nup]{font:inherit;font-size:.85rem;padding:5px 12px;border:1px solid var(--border-strong);border-radius:6px;background:var(--surface-2);color:var(--text-primary);cursor:pointer}.controls[data-astro-cid-raco4nup] button[data-astro-cid-raco4nup]:hover:not(:disabled){border-color:var(--accent);color:var(--accent)}.controls[data-astro-cid-raco4nup] button[data-astro-cid-raco4nup]:disabled{opacity:.4;cursor:default}.live[data-astro-cid-raco4nup]{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0)}table[data-astro-cid-wsalju5e].tableau{border-collapse:collapse;table-layout:fixed;width:100%;min-width:34rem;font-size:.9rem;font-family:var(--font-ui)}.tableau[data-astro-cid-wsalju5e] col[data-astro-cid-wsalju5e].c-basic{width:3rem}.tableau[data-astro-cid-wsalju5e] col[data-astro-cid-wsalju5e].c-rhs,.tableau[data-astro-cid-wsalju5e] col[data-astro-cid-wsalju5e].c-ratio{width:5rem}.tableau[data-astro-cid-wsalju5e] th[data-astro-cid-wsalju5e],.tableau[data-astro-cid-wsalju5e] td[data-astro-cid-wsalju5e]{padding:6px 8px;text-align:center;border-bottom:1px solid var(--border);white-space:nowrap}.tableau[data-astro-cid-wsalju5e] thead[data-astro-cid-wsalju5e] tr[data-astro-cid-wsalju5e]{border-bottom:2px solid var(--border-strong)}.tableau[data-astro-cid-wsalju5e] tbody[data-astro-cid-wsalju5e] tr[data-astro-cid-wsalju5e]:last-child td[data-astro-cid-wsalju5e]{border-bottom:none}.tableau[data-astro-cid-wsalju5e] th[data-astro-cid-wsalju5e].basic,.tableau[data-astro-cid-wsalju5e] td[data-astro-cid-wsalju5e].basic{text-align:left;color:var(--text-secondary)}.tableau[data-astro-cid-wsalju5e] td[data-astro-cid-wsalju5e].num,.tableau[data-astro-cid-wsalju5e] th[data-astro-cid-wsalju5e].num{font-variant-numeric:tabular-nums}.tableau[data-astro-cid-wsalju5e] .rhs[data-astro-cid-wsalju5e]{border-left:2px solid var(--border-strong)}.tableau[data-astro-cid-wsalju5e] td[data-astro-cid-wsalju5e].ratio{color:var(--text-secondary);font-size:.8rem}.tableau[data-astro-cid-wsalju5e] tr[data-astro-cid-wsalju5e].ratio-row td[data-astro-cid-wsalju5e]{border-top:2px solid var(--border-strong);color:var(--text-secondary);font-size:.8rem}.tableau[data-astro-cid-wsalju5e] td[data-astro-cid-wsalju5e].ratio-label{font-style:italic}.tableau[data-astro-cid-wsalju5e] th[data-astro-cid-wsalju5e],.tableau[data-astro-cid-wsalju5e] td[data-astro-cid-wsalju5e]{transition:background-color .2s,color .2s}.tableau[data-astro-cid-wsalju5e] th[data-astro-cid-wsalju5e].enter,.tableau[data-astro-cid-wsalju5e] td[data-astro-cid-wsalju5e].enter,.tableau[data-astro-cid-wsalju5e] tr[data-astro-cid-wsalju5e].leave td[data-astro-cid-wsalju5e]{background:var(--accent-dim)}.tableau[data-astro-cid-wsalju5e] td[data-astro-cid-wsalju5e].changed{color:var(--accent);font-weight:600}.tableau[data-astro-cid-wsalju5e] td[data-astro-cid-wsalju5e].pivot{background:var(--accent-subtle);color:var(--accent);font-weight:700}@media(prefers-reduced-motion:reduce){.tableau[data-astro-cid-wsalju5e] th[data-astro-cid-wsalju5e],.tableau[data-astro-cid-wsalju5e] td[data-astro-cid-wsalju5e]{transition:none}}.step-note[data-astro-cid-wsalju5e]{margin:12px 0 0;min-height:2.8em;font-size:.9rem;line-height:1.45;color:var(--text-secondary)}.step-note[data-astro-cid-wsalju5e] p{margin:0}.step-note[data-astro-cid-wsalju5e] .katex{font-size:1em}.sequence[data-astro-cid-dklovrzt]{margin:24px 0;border:1px solid var(--border);border-radius:8px;background:var(--surface);padding:14px 16px 16px;font-family:var(--font-ui)}.sequence[data-astro-cid-dklovrzt]:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.bar[data-astro-cid-dklovrzt]{display:flex;justify-content:space-between;align-items:flex-start;gap:12px;margin-bottom:10px;min-height:2.5em}.label[data-astro-cid-dklovrzt]{font-weight:700;color:var(--text-primary);min-width:0;line-height:1.3;overflow-wrap:anywhere}.count[data-astro-cid-dklovrzt]{font-size:.8rem;color:var(--text-secondary);font-variant-numeric:tabular-nums;flex:none;padding-top:2px}.scroll[data-astro-cid-dklovrzt]{overflow-x:auto;scrollbar-width:thin}svg[data-astro-cid-dklovrzt]{display:block;min-width:640px}.lifeline[data-astro-cid-dklovrzt]{stroke:var(--border-strong);stroke-width:1px;stroke-dasharray:3 3}.chip[data-astro-cid-dklovrzt] rect[data-astro-cid-dklovrzt]{fill:var(--surface-2);stroke:var(--border-strong);stroke-width:1px}.chip-name[data-astro-cid-dklovrzt]{font-size:.78rem;font-weight:700;fill:var(--text-primary)}.chip-sub[data-astro-cid-dklovrzt]{font-size:.62rem;font-family:var(--font-mono);fill:var(--text-muted)}.msg[data-astro-cid-dklovrzt]{transition:opacity .25s}.msg[data-astro-cid-dklovrzt] path[data-astro-cid-dklovrzt]{fill:none;stroke:var(--text-muted);stroke-width:1.4px;stroke-linecap:round;stroke-linejoin:round}.msg[data-astro-cid-dklovrzt] path[data-astro-cid-dklovrzt].dashed{stroke-dasharray:5 4}.msg[data-astro-cid-dklovrzt] path[data-astro-cid-dklovrzt].media{stroke:var(--text-muted);stroke-width:1.4px}.msg-label[data-astro-cid-dklovrzt]{font-size:.62rem;fill:var(--text-secondary);font-family:var(--font-mono);font-weight:500}.note-label[data-astro-cid-dklovrzt]{font-size:.68rem;font-style:italic;fill:var(--text-muted);letter-spacing:.2px}.msg[data-astro-cid-dklovrzt].future{opacity:.5}.msg[data-astro-cid-dklovrzt].done{opacity:.32}.msg[data-astro-cid-dklovrzt].current{opacity:1}.msg[data-astro-cid-dklovrzt].current path[data-astro-cid-dklovrzt]{stroke:var(--sem);stroke-width:2px}.msg[data-astro-cid-dklovrzt].current .msg-label[data-astro-cid-dklovrzt],.msg[data-astro-cid-dklovrzt].current .note-label[data-astro-cid-dklovrzt]{fill:var(--sem);font-weight:700}.foot[data-astro-cid-dklovrzt]{display:flex;justify-content:space-between;align-items:center;flex-wrap:wrap;gap:10px;margin-top:12px}.dots[data-astro-cid-dklovrzt]{display:flex;gap:7px}.dots[data-astro-cid-dklovrzt] .dot{width:9px;height:9px;padding:0;border-radius:50%;border:1px solid var(--border-strong);background:none;cursor:pointer}.dots[data-astro-cid-dklovrzt] .dot[aria-selected=true]{background:var(--sem);border-color:var(--sem)}.controls[data-astro-cid-dklovrzt]{display:flex;gap:8px}.controls[data-astro-cid-dklovrzt] button[data-astro-cid-dklovrzt]{font:inherit;font-size:.85rem;padding:5px 12px;border:1px solid var(--border-strong);border-radius:6px;background:var(--surface-2);color:var(--text-primary);cursor:pointer}.controls[data-astro-cid-dklovrzt] button[data-astro-cid-dklovrzt]:hover:not(:disabled){border-color:var(--sem);color:var(--sem)}.controls[data-astro-cid-dklovrzt] button[data-astro-cid-dklovrzt]:disabled{opacity:.4;cursor:default}.live[data-astro-cid-dklovrzt]{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0)}.flow[data-astro-cid-cy3llqrd]{margin:24px 0;border:1px solid var(--border);border-radius:8px;background:var(--surface);padding:14px 16px 16px;font-family:var(--font-ui)}.flow[data-astro-cid-cy3llqrd]:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.bar[data-astro-cid-cy3llqrd]{display:flex;justify-content:space-between;align-items:flex-start;gap:12px;margin-bottom:10px;min-height:2.5em}.label[data-astro-cid-cy3llqrd]{font-weight:700;color:var(--text-primary);min-width:0;line-height:1.3;overflow-wrap:anywhere}.count[data-astro-cid-cy3llqrd]{font-size:.8rem;color:var(--text-secondary);font-variant-numeric:tabular-nums;flex:none;padding-top:2px}.scroll[data-astro-cid-cy3llqrd]{overflow-x:auto;scrollbar-width:thin}svg[data-astro-cid-cy3llqrd]{display:block;min-width:640px}.row-title[data-astro-cid-cy3llqrd]{font-size:.6rem;font-weight:800;letter-spacing:.6px;text-transform:uppercase;fill:var(--text-muted)}.box[data-astro-cid-cy3llqrd]{text-align:center}.box[data-astro-cid-cy3llqrd] rect[data-astro-cid-cy3llqrd]{fill:var(--surface-2);stroke:var(--border-strong);stroke-width:1px}.box-label[data-astro-cid-cy3llqrd]{font-size:.68rem;font-weight:700;fill:var(--text-primary);font-family:var(--font-body)}.box-sub[data-astro-cid-cy3llqrd]{font-size:.6rem;font-family:var(--font-mono);fill:var(--text-muted)}.box[data-astro-cid-cy3llqrd].current rect[data-astro-cid-cy3llqrd]{stroke:var(--sem);stroke-width:1.6px;fill:var(--sem-bg)}.box[data-astro-cid-cy3llqrd].current .box-label[data-astro-cid-cy3llqrd]{fill:var(--sem)}.link[data-astro-cid-cy3llqrd]{transition:opacity .25s}.link[data-astro-cid-cy3llqrd] path[data-astro-cid-cy3llqrd]{fill:none;stroke:var(--text-muted);stroke-width:1.4px;stroke-linecap:round;stroke-linejoin:round}.link[data-astro-cid-cy3llqrd] path[data-astro-cid-cy3llqrd].dash{stroke-dasharray:5 4}.link-label[data-astro-cid-cy3llqrd]{font-size:.6rem;font-family:var(--font-mono);fill:var(--text-secondary)}.link[data-astro-cid-cy3llqrd].current path[data-astro-cid-cy3llqrd]{stroke:var(--sem);stroke-width:2.2px}.link[data-astro-cid-cy3llqrd].current .link-label[data-astro-cid-cy3llqrd]{fill:var(--sem);font-weight:700}.link[data-astro-cid-cy3llqrd].done{opacity:.32}.link[data-astro-cid-cy3llqrd].future{opacity:.5}.foot[data-astro-cid-cy3llqrd]{display:flex;justify-content:space-between;align-items:center;flex-wrap:wrap;gap:10px;margin-top:12px}.dots[data-astro-cid-cy3llqrd]{display:flex;gap:7px}.dots[data-astro-cid-cy3llqrd] .dot{width:9px;height:9px;padding:0;border-radius:50%;border:1px solid var(--border-strong);background:none;cursor:pointer}.dots[data-astro-cid-cy3llqrd] .dot[aria-selected=true]{background:var(--sem);border-color:var(--sem)}.controls[data-astro-cid-cy3llqrd]{display:flex;gap:8px}.controls[data-astro-cid-cy3llqrd] button[data-astro-cid-cy3llqrd]{font:inherit;font-size:.85rem;padding:5px 12px;border:1px solid var(--border-strong);border-radius:6px;background:var(--surface-2);color:var(--text-primary);cursor:pointer}.controls[data-astro-cid-cy3llqrd] button[data-astro-cid-cy3llqrd]:hover:not(:disabled){border-color:var(--sem);color:var(--sem)}.controls[data-astro-cid-cy3llqrd] button[data-astro-cid-cy3llqrd]:disabled{opacity:.4;cursor:default}.live[data-astro-cid-cy3llqrd]{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0)}.rgb-cmyk[data-astro-cid-kzd3wdie]{margin:24px 0;border:1px solid var(--border);border-radius:8px;background:var(--surface);padding:16px;font-family:var(--font-ui)}.panels[data-astro-cid-kzd3wdie]{display:grid;grid-template-columns:1fr 1fr;gap:20px}@media(width<=40rem){.panels[data-astro-cid-kzd3wdie]{grid-template-columns:1fr}}.panel-head[data-astro-cid-kzd3wdie]{display:flex;justify-content:space-between;align-items:center;min-height:1.8rem;margin-bottom:10px}.panel-title[data-astro-cid-kzd3wdie]{font-weight:700;font-size:.8rem;letter-spacing:.4px;color:var(--text-primary)}.panel-head[data-astro-cid-kzd3wdie] input[data-astro-cid-kzd3wdie][type=color]{width:2rem;height:1.6rem;padding:0;border:1px solid var(--border-strong);border-radius:4px;background:none;cursor:pointer}.row[data-astro-cid-kzd3wdie]{display:grid;grid-template-columns:1.2rem 1fr 3rem;align-items:center;gap:8px;margin:6px 0}.ch[data-astro-cid-kzd3wdie]{font-family:var(--font-mono);font-size:.8rem;font-weight:600;color:var(--text-secondary)}.row[data-astro-cid-kzd3wdie] input[data-astro-cid-kzd3wdie][type=range]{width:100%;accent-color:var(--sem, var(--accent))}.row[data-astro-cid-kzd3wdie] input[data-astro-cid-kzd3wdie][type=number]{width:100%;font-family:var(--font-mono);font-variant-numeric:tabular-nums;font-size:.8rem;text-align:right;padding:2px 4px;border:1px solid var(--border);border-radius:4px;background:var(--bg);color:var(--text-primary);-moz-appearance:textfield;appearance:textfield}.row[data-astro-cid-kzd3wdie] input[data-astro-cid-kzd3wdie][type=number]::-webkit-inner-spin-button,.row[data-astro-cid-kzd3wdie] input[data-astro-cid-kzd3wdie][type=number]::-webkit-outer-spin-button{-webkit-appearance:none;margin:0}.rgb-cmyk[data-astro-cid-kzd3wdie] input[data-astro-cid-kzd3wdie]:focus-visible{outline:2px solid var(--accent);outline-offset:1px}.output[data-astro-cid-kzd3wdie]{display:flex;align-items:center;gap:14px;margin-top:16px}.chip[data-astro-cid-kzd3wdie]{width:84px;height:56px;flex:none;border-radius:6px;border:1px solid var(--border-strong)}.caps[data-astro-cid-kzd3wdie]{display:flex;flex-direction:column;gap:3px}.cap[data-astro-cid-kzd3wdie]{font-family:var(--font-mono);font-variant-numeric:tabular-nums;font-size:.75rem;color:var(--text-muted)}.canonical[data-astro-cid-kzd3wdie]{margin:12px 0 0;font-size:.8rem;color:var(--text-secondary)}.canonical[data-astro-cid-kzd3wdie] code[data-astro-cid-kzd3wdie]{font-family:var(--font-mono);color:var(--text-primary)}.live[data-astro-cid-kzd3wdie]{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}.clog[data-astro-cid-n7l74ht5]{margin:24px auto;border:1px solid var(--border);border-radius:8px;background:var(--bg);overflow:hidden;font-family:var(--font-ui);max-width:80ch}svg[data-astro-cid-n7l74ht5].explorer{max-width:unset;display:block;width:100%;height:auto;aspect-ratio:var(--ar);touch-action:none;cursor:crosshair}.grid[data-astro-cid-n7l74ht5]{stroke:var(--border);stroke-width:.5px}.axis[data-astro-cid-n7l74ht5]{stroke:var(--border-strong);stroke-width:1px}.axis-label[data-astro-cid-n7l74ht5]{fill:var(--text-muted);font-size:5px;font-family:var(--font-mono)}.guide[data-astro-cid-n7l74ht5]{stroke:var(--text-muted);stroke-width:1px;stroke-dasharray:3 3}.ray[data-astro-cid-n7l74ht5]{stroke:var(--sem, var(--accent));stroke-width:2.5px;stroke-linecap:round}.origin[data-astro-cid-n7l74ht5]{fill:var(--surface);stroke:var(--border-strong);stroke-width:1.5px}.zlabel[data-astro-cid-n7l74ht5]{fill:var(--text-primary);font-family:var(--font-mono);font-size:4.5px;paint-order:stroke;stroke:var(--bg);stroke-width:2px;stroke-linejoin:round}.logz-label[data-astro-cid-n7l74ht5]{fill:var(--dia-out)}.handle[data-astro-cid-n7l74ht5]{fill:var(--surface);stroke:var(--sem, var(--accent));stroke-width:1.25px;cursor:grab}.handle[data-astro-cid-n7l74ht5]:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.dot[data-astro-cid-n7l74ht5]{stroke:var(--surface);stroke-width:1px}.row[data-astro-cid-n7l74ht5]{display:flex;align-items:center;gap:8px;margin:4px 0;font-size:.85rem}.swatch[data-astro-cid-n7l74ht5]{width:.7rem;height:.7rem;border-radius:50%;flex:none}.klabel[data-astro-cid-n7l74ht5]{width:4.2rem;flex:none;color:var(--text-secondary)}.value[data-astro-cid-n7l74ht5]{color:var(--text-primary)}.live[data-astro-cid-n7l74ht5]{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}.rhs-slider[data-astro-cid-o34wozjs]{margin:24px 0;padding:16px 18px 18px;border:1px solid var(--border);border-radius:10px;background:var(--surface)}table[data-astro-cid-o34wozjs].tableau{border-collapse:collapse;table-layout:fixed;width:100%;font-size:.9rem;font-family:var(--font-ui)}.tableau[data-astro-cid-o34wozjs] th[data-astro-cid-o34wozjs],.tableau[data-astro-cid-o34wozjs] td[data-astro-cid-o34wozjs]{padding:6px 8px;text-align:center;border-bottom:1px solid var(--border);white-space:nowrap}.tableau[data-astro-cid-o34wozjs] thead[data-astro-cid-o34wozjs] tr[data-astro-cid-o34wozjs]{border-bottom:2px solid var(--border-strong)}.tableau[data-astro-cid-o34wozjs] tbody[data-astro-cid-o34wozjs] tr[data-astro-cid-o34wozjs]:last-child td[data-astro-cid-o34wozjs]{border-bottom:none}.tableau[data-astro-cid-o34wozjs] th[data-astro-cid-o34wozjs].basic,.tableau[data-astro-cid-o34wozjs] td[data-astro-cid-o34wozjs].basic{text-align:left;color:var(--text-secondary)}.tableau[data-astro-cid-o34wozjs] td[data-astro-cid-o34wozjs].num,.tableau[data-astro-cid-o34wozjs] th[data-astro-cid-o34wozjs].num{font-variant-numeric:tabular-nums}.tableau[data-astro-cid-o34wozjs] .rhs[data-astro-cid-o34wozjs]{border-left:2px solid var(--border-strong)}.tableau[data-astro-cid-o34wozjs] td[data-astro-cid-o34wozjs].changed{color:var(--accent);font-weight:600;transition:color .15s}.control[data-astro-cid-o34wozjs]{display:flex;align-items:center;gap:12px;flex-wrap:wrap;margin-top:16px}.control[data-astro-cid-o34wozjs] label[data-astro-cid-o34wozjs]{display:flex;align-items:center;gap:4px;font-size:13px;color:var(--text-secondary)}.control[data-astro-cid-o34wozjs] input[data-astro-cid-o34wozjs][type=range]{flex:160px;accent-color:var(--s5)}.control[data-astro-cid-o34wozjs] output[data-astro-cid-o34wozjs]{font-family:var(--font-mono);font-size:13px;color:var(--s5);min-width:4ch;text-align:right}.status[data-astro-cid-o34wozjs]{margin-top:12px;padding:8px 10px;border-radius:6px;font-size:12.5px;border:1px solid var(--border);color:var(--text-secondary)}.status[data-astro-cid-o34wozjs][data-feasible=true]{background:color-mix(in oklab,var(--s3) 12%,var(--surface));border-color:var(--s3-border)}.status[data-astro-cid-o34wozjs][data-feasible=false]{background:color-mix(in oklab,var(--s4) 12%,var(--surface));border-color:var(--s4-border)}.cost-slider[data-astro-cid-6yegf4xp]{margin:24px 0;padding:16px 18px 18px;border:1px solid var(--border);border-radius:10px;background:var(--surface)}table[data-astro-cid-6yegf4xp].tableau{border-collapse:collapse;table-layout:fixed;width:100%;font-size:.9rem;font-family:var(--font-ui)}.tableau[data-astro-cid-6yegf4xp] th[data-astro-cid-6yegf4xp],.tableau[data-astro-cid-6yegf4xp] td[data-astro-cid-6yegf4xp]{padding:6px 8px;text-align:center;border-bottom:1px solid var(--border);white-space:nowrap}.tableau[data-astro-cid-6yegf4xp] thead[data-astro-cid-6yegf4xp] tr[data-astro-cid-6yegf4xp]{border-bottom:2px solid var(--border-strong)}.tableau[data-astro-cid-6yegf4xp] tbody[data-astro-cid-6yegf4xp] tr[data-astro-cid-6yegf4xp]:last-child td[data-astro-cid-6yegf4xp]{border-bottom:none}.tableau[data-astro-cid-6yegf4xp] th[data-astro-cid-6yegf4xp].basic,.tableau[data-astro-cid-6yegf4xp] td[data-astro-cid-6yegf4xp].basic{text-align:left;color:var(--text-secondary)}.tableau[data-astro-cid-6yegf4xp] td[data-astro-cid-6yegf4xp].num,.tableau[data-astro-cid-6yegf4xp] th[data-astro-cid-6yegf4xp].num{font-variant-numeric:tabular-nums}.tableau[data-astro-cid-6yegf4xp] .rhs[data-astro-cid-6yegf4xp]{border-left:2px solid var(--border-strong)}.tableau[data-astro-cid-6yegf4xp] td[data-astro-cid-6yegf4xp].changed{color:var(--accent);font-weight:600;transition:color .15s}.control[data-astro-cid-6yegf4xp]{display:flex;align-items:center;gap:12px;flex-wrap:wrap;margin-top:16px}.control[data-astro-cid-6yegf4xp] label[data-astro-cid-6yegf4xp]{display:flex;align-items:center;gap:4px;font-size:13px;color:var(--text-secondary)}.control[data-astro-cid-6yegf4xp] input[data-astro-cid-6yegf4xp][type=range]{flex:160px;accent-color:var(--s5)}.control[data-astro-cid-6yegf4xp] output[data-astro-cid-6yegf4xp]{font-family:var(--font-mono);font-size:13px;color:var(--s5);min-width:4ch;text-align:right}.status[data-astro-cid-6yegf4xp]{margin-top:12px;padding:8px 10px;border-radius:6px;font-size:12.5px;border:1px solid var(--border);color:var(--text-secondary)}.status[data-astro-cid-6yegf4xp][data-optimal=true]{background:color-mix(in oklab,var(--s3) 12%,var(--surface));border-color:var(--s3-border)}.status[data-astro-cid-6yegf4xp][data-optimal=false]{background:color-mix(in oklab,var(--s4) 12%,var(--surface));border-color:var(--s4-border)}.row-op[data-astro-cid-v4tuohyj]{margin:24px 0;padding:16px 18px 18px;border:1px solid var(--border);border-radius:10px;background:var(--surface)}.formula[data-astro-cid-v4tuohyj]{display:flex;align-items:center;gap:6px;flex-wrap:wrap;margin-bottom:12px;font-size:.9rem;color:var(--text-secondary)}table[data-astro-cid-v4tuohyj].tableau{border-collapse:collapse;table-layout:fixed;width:100%;font-size:.9rem;font-family:var(--font-ui)}.tableau[data-astro-cid-v4tuohyj] th[data-astro-cid-v4tuohyj],.tableau[data-astro-cid-v4tuohyj] td[data-astro-cid-v4tuohyj]{padding:6px 8px;text-align:center;border-bottom:1px solid var(--border);white-space:nowrap;transition:background-color .15s,color .15s}.tableau[data-astro-cid-v4tuohyj] thead[data-astro-cid-v4tuohyj] tr[data-astro-cid-v4tuohyj]{border-bottom:2px solid var(--border-strong)}.tableau[data-astro-cid-v4tuohyj] tbody[data-astro-cid-v4tuohyj] tr[data-astro-cid-v4tuohyj]:last-child td[data-astro-cid-v4tuohyj]{border-bottom:none}.tableau[data-astro-cid-v4tuohyj] th[data-astro-cid-v4tuohyj].basic,.tableau[data-astro-cid-v4tuohyj] td[data-astro-cid-v4tuohyj].basic{text-align:left;color:var(--text-secondary)}.tableau[data-astro-cid-v4tuohyj] td[data-astro-cid-v4tuohyj].num,.tableau[data-astro-cid-v4tuohyj] th[data-astro-cid-v4tuohyj].num{font-variant-numeric:tabular-nums}.tableau[data-astro-cid-v4tuohyj] .rhs[data-astro-cid-v4tuohyj]{border-left:2px solid var(--border-strong)}.tableau[data-astro-cid-v4tuohyj] tr[data-astro-cid-v4tuohyj].source-row td[data-astro-cid-v4tuohyj]{background:color-mix(in oklab,var(--s5) 14%,var(--surface))}.tableau[data-astro-cid-v4tuohyj] tr[data-astro-cid-v4tuohyj].source-row td[data-astro-cid-v4tuohyj].basic{color:var(--s5);font-weight:700}.tableau[data-astro-cid-v4tuohyj] td[data-astro-cid-v4tuohyj].target-cell{background:var(--accent-subtle)}.tableau[data-astro-cid-v4tuohyj] td[data-astro-cid-v4tuohyj].target-cell.changed{color:var(--accent);font-weight:600}.control[data-astro-cid-v4tuohyj]{display:flex;align-items:center;gap:12px;flex-wrap:wrap;margin-top:16px}.control[data-astro-cid-v4tuohyj] label[data-astro-cid-v4tuohyj]{display:flex;align-items:center;gap:4px;font-size:13px;color:var(--text-secondary)}.control[data-astro-cid-v4tuohyj] input[data-astro-cid-v4tuohyj][type=range]{flex:160px;accent-color:var(--s5)}.control[data-astro-cid-v4tuohyj] output[data-astro-cid-v4tuohyj]{font-family:var(--font-mono);font-size:13px;color:var(--s5);min-width:4ch;text-align:right}.status[data-astro-cid-v4tuohyj]{margin-top:12px;padding:8px 10px;border-radius:6px;font-size:12.5px;border:1px solid var(--border);color:var(--text-secondary)}.status[data-astro-cid-v4tuohyj][data-optimal=true]{background:color-mix(in oklab,var(--s3) 12%,var(--surface));border-color:var(--s3-border)}.status[data-astro-cid-v4tuohyj][data-optimal=false]{background:color-mix(in oklab,var(--s4) 12%,var(--surface));border-color:var(--s4-border)}.new-var-slider[data-astro-cid-hxqfsfsd]{margin:24px 0;padding:16px 18px 18px;border:1px solid var(--border);border-radius:10px;background:var(--surface)}.row[data-astro-cid-hxqfsfsd]{display:flex;align-items:center;justify-content:space-between;gap:12px;font-size:.9rem;font-family:var(--font-ui)}.row[data-astro-cid-hxqfsfsd] .label[data-astro-cid-hxqfsfsd]{display:flex;align-items:center;gap:6px;color:var(--text-secondary)}.row[data-astro-cid-hxqfsfsd] .value[data-astro-cid-hxqfsfsd]{font-family:var(--font-mono);font-variant-numeric:tabular-nums;color:var(--text-primary)}.row[data-astro-cid-hxqfsfsd] .value[data-astro-cid-hxqfsfsd].changed{color:var(--accent);font-weight:600;transition:color .15s}.control[data-astro-cid-hxqfsfsd]{display:flex;align-items:center;gap:12px;flex-wrap:wrap;margin-top:16px}.control[data-astro-cid-hxqfsfsd] label[data-astro-cid-hxqfsfsd]{display:flex;align-items:center;gap:4px;font-size:13px;color:var(--text-secondary)}.control[data-astro-cid-hxqfsfsd] input[data-astro-cid-hxqfsfsd][type=range]{flex:160px;accent-color:var(--s5)}.control[data-astro-cid-hxqfsfsd] output[data-astro-cid-hxqfsfsd]{font-family:var(--font-mono);font-size:13px;color:var(--s5);min-width:4ch;text-align:right}.status[data-astro-cid-hxqfsfsd]{margin-top:12px;padding:8px 10px;border-radius:6px;font-size:12.5px;border:1px solid var(--border);color:var(--text-secondary)}.status[data-astro-cid-hxqfsfsd][data-optimal=true]{background:color-mix(in oklab,var(--s3) 12%,var(--surface));border-color:var(--s3-border)}.status[data-astro-cid-hxqfsfsd][data-optimal=false]{background:color-mix(in oklab,var(--s4) 12%,var(--surface));border-color:var(--s4-border)}.new-constraint-slider[data-astro-cid-qfpqh5cp]{margin:24px 0;padding:16px 18px 18px;border:1px solid var(--border);border-radius:10px;background:var(--surface)}.row[data-astro-cid-qfpqh5cp]{display:flex;align-items:center;justify-content:space-between;gap:12px;font-size:.9rem;font-family:var(--font-ui)}.row[data-astro-cid-qfpqh5cp] .label[data-astro-cid-qfpqh5cp]{display:flex;align-items:center;gap:6px;color:var(--text-secondary)}.row[data-astro-cid-qfpqh5cp] .value[data-astro-cid-qfpqh5cp]{font-family:var(--font-mono);font-variant-numeric:tabular-nums;color:var(--text-primary)}.control[data-astro-cid-qfpqh5cp]{display:flex;align-items:center;gap:12px;flex-wrap:wrap;margin-top:16px}.control[data-astro-cid-qfpqh5cp] label[data-astro-cid-qfpqh5cp]{display:flex;align-items:center;gap:4px;font-size:13px;color:var(--text-secondary)}.control[data-astro-cid-qfpqh5cp] input[data-astro-cid-qfpqh5cp][type=range]{flex:160px;accent-color:var(--s5)}.control[data-astro-cid-qfpqh5cp] output[data-astro-cid-qfpqh5cp]{font-family:var(--font-mono);font-size:13px;color:var(--s5);min-width:4ch;text-align:right}.status[data-astro-cid-qfpqh5cp]{margin-top:12px;padding:8px 10px;border-radius:6px;font-size:12.5px;border:1px solid var(--border);color:var(--text-secondary)}.status[data-astro-cid-qfpqh5cp][data-satisfied=true]{background:color-mix(in oklab,var(--s3) 12%,var(--surface));border-color:var(--s3-border)}.status[data-astro-cid-qfpqh5cp][data-satisfied=false]{background:color-mix(in oklab,var(--s4) 12%,var(--surface));border-color:var(--s4-border)}#bb-tree[data-astro-cid-gik2sppp]{--s5: #3e28b8;--s5-bg: #e0dff6;--s5-border: #9a90e0;--border: #d0d0de;--text: #1a1a24;--text-secondary: #58586a;--bg2: #fff}:root[data-theme=dark] #bb-tree[data-astro-cid-gik2sppp]{--s5: #a596f5;--s5-bg: color-mix(in oklab, var(--s5) 16%, #1c1e28);--s5-border: color-mix(in oklab, var(--s5) 45%, #1c1e28);--border: #35373d;--text: #e8e8ee;--text-secondary: #a4a4b4;--bg2: #1c1e28}#bb-tree[data-astro-cid-gik2sppp] .edge[data-astro-cid-gik2sppp] line[data-astro-cid-gik2sppp]{stroke:var(--border);stroke-width:1.5px}#bb-tree[data-astro-cid-gik2sppp] .edge[data-astro-cid-gik2sppp] .lb[data-astro-cid-gik2sppp]{fill:var(--bg2);stroke:var(--border);stroke-width:.5px}#bb-tree[data-astro-cid-gik2sppp] .edge[data-astro-cid-gik2sppp] .lt[data-astro-cid-gik2sppp]{font-size:11px;fill:var(--text-secondary);font-family:var(--font-ui, sans-serif)}#bb-tree[data-astro-cid-gik2sppp] .node[data-astro-cid-gik2sppp] rect[data-astro-cid-gik2sppp]{fill:var(--bg2);stroke:var(--border);stroke-width:1px}#bb-tree[data-astro-cid-gik2sppp] .node[data-astro-cid-gik2sppp] .hd[data-astro-cid-gik2sppp]{font-size:11px;font-weight:600;fill:var(--text-secondary);font-family:var(--font-ui, sans-serif)}#bb-tree[data-astro-cid-gik2sppp] .node[data-astro-cid-gik2sppp] .bd[data-astro-cid-gik2sppp]{font-size:12px;fill:var(--text);font-family:var(--font-ui, sans-serif)}#bb-tree[data-astro-cid-gik2sppp] .node[data-astro-cid-gik2sppp] .tag[data-astro-cid-gik2sppp]{font-size:10px;fill:var(--text-secondary);font-family:var(--font-ui, sans-serif)}#bb-tree[data-astro-cid-gik2sppp] .node[data-astro-cid-gik2sppp].best rect[data-astro-cid-gik2sppp]{fill:var(--s5-bg);stroke:var(--s5-border);stroke-width:1.5px}#bb-tree[data-astro-cid-gik2sppp] .node[data-astro-cid-gik2sppp].best .best-tag[data-astro-cid-gik2sppp]{fill:var(--s5);font-weight:600}#bb-tree[data-astro-cid-gik2sppp] .node[data-astro-cid-gik2sppp].discarded rect[data-astro-cid-gik2sppp]{fill:var(--bg2);stroke:var(--border);stroke-dasharray:4 3}#bb-tree[data-astro-cid-gik2sppp] .node[data-astro-cid-gik2sppp].discarded .bd[data-astro-cid-gik2sppp],#bb-tree[data-astro-cid-gik2sppp] .node[data-astro-cid-gik2sppp].discarded .tag[data-astro-cid-gik2sppp]{fill:var(--text-secondary)}.transport[data-astro-cid-3hd7am4f]{margin:20px 0;overflow-x:auto;--loop-plus: #16a34a;--loop-minus: #dc2626}:root[data-theme=dark] .transport[data-astro-cid-3hd7am4f]{--loop-plus: #15803d;--loop-minus: #b91c1c}table[data-astro-cid-3hd7am4f]{border-collapse:collapse;font-size:.9rem;max-width:600px;margin:0 auto}col[data-astro-cid-3hd7am4f].c-label{width:3.2rem}col[data-astro-cid-3hd7am4f].c-data,col[data-astro-cid-3hd7am4f].c-margin{width:4rem}th[data-astro-cid-3hd7am4f],td[data-astro-cid-3hd7am4f]{padding:4px 6px;text-align:center;border:1px solid var(--border)}th[data-astro-cid-3hd7am4f]{color:var(--text-secondary);font-weight:600}th[data-astro-cid-3hd7am4f].margin,td[data-astro-cid-3hd7am4f].margin{background:var(--surface-2);color:var(--text-secondary);font-weight:700;font-variant-numeric:tabular-nums}th[data-astro-cid-3hd7am4f].supply,td[data-astro-cid-3hd7am4f].supply,th[data-astro-cid-3hd7am4f].penalty,td[data-astro-cid-3hd7am4f].penalty{border-left:2px solid var(--border-strong)}tr[data-astro-cid-3hd7am4f].totals th[data-astro-cid-3hd7am4f],tr[data-astro-cid-3hd7am4f].totals td[data-astro-cid-3hd7am4f]{border-top:2px solid var(--border-strong)}td[data-astro-cid-3hd7am4f].cell{position:relative;height:3rem;vertical-align:bottom;transition:background-color .2s,color .2s}td[data-astro-cid-3hd7am4f].cell.plain{height:auto;vertical-align:middle}td[data-astro-cid-3hd7am4f].cell .cost[data-astro-cid-3hd7am4f]{position:absolute;top:2px;left:4px;font-size:.9rem;color:var(--text-muted)}td[data-astro-cid-3hd7am4f].cell.plain .cost[data-astro-cid-3hd7am4f]{position:static;display:block;font-size:.9rem;color:var(--text-primary)}td[data-astro-cid-3hd7am4f].cell .alloc[data-astro-cid-3hd7am4f]{display:block;font-family:var(--font-mono);font-weight:700;color:var(--accent);padding-bottom:2px}td[data-astro-cid-3hd7am4f].cell.occupied{background:var(--accent-subtle)}td[data-astro-cid-3hd7am4f].cell.zero .alloc[data-astro-cid-3hd7am4f]{color:var(--text-secondary);font-weight:400}td[data-astro-cid-3hd7am4f].cell.current{background:var(--accent-dim);outline:2px solid var(--accent);outline-offset:-2px}td[data-astro-cid-3hd7am4f].cell.changed .alloc[data-astro-cid-3hd7am4f]{color:var(--accent)}td[data-astro-cid-3hd7am4f].cell.loop-edge-top{border-top:3px solid var(--accent)}td[data-astro-cid-3hd7am4f].cell.loop-edge-bottom{border-bottom:3px solid var(--accent)}td[data-astro-cid-3hd7am4f].cell.loop-edge-left{border-left:3px solid var(--accent)}td[data-astro-cid-3hd7am4f].cell.loop-edge-right{border-right:3px solid var(--accent)}td[data-astro-cid-3hd7am4f].cell .sign[data-astro-cid-3hd7am4f]{position:absolute;top:3px;right:3px;width:14px;height:14px;display:inline-flex;align-items:center;justify-content:center;border-radius:3px;font-weight:700;font-size:.7rem;line-height:1;color:#fff}td[data-astro-cid-3hd7am4f].cell.plain .sign[data-astro-cid-3hd7am4f]{top:3px}.sign[data-astro-cid-3hd7am4f].plus{background:var(--loop-plus)}.sign[data-astro-cid-3hd7am4f].minus{background:var(--loop-minus)}td[data-astro-cid-3hd7am4f].margin.selected{background:var(--accent-dim);color:var(--accent);font-weight:700}td[data-astro-cid-3hd7am4f].margin.changed{color:var(--accent);font-weight:700}th[data-astro-cid-3hd7am4f].exhausted,td[data-astro-cid-3hd7am4f].margin.exhausted,td[data-astro-cid-3hd7am4f].cell.exhausted{opacity:.4}th[data-astro-cid-3hd7am4f].exhausted{text-decoration:line-through;text-decoration-color:var(--text-muted)}td[data-astro-cid-3hd7am4f].cell.exhausted .cost[data-astro-cid-3hd7am4f]{color:var(--text-muted)}figcaption[data-astro-cid-3hd7am4f]{margin-top:8px;text-align:center;font-size:.85rem;color:var(--text-secondary)}.step-note[data-astro-cid-i7sdxe2n]{margin:12px 0 0;min-height:2.8em;font-size:.9rem;line-height:1.45;color:var(--text-secondary)}.step-note[data-astro-cid-i7sdxe2n] p{margin:0}.step-note[data-astro-cid-i7sdxe2n] .katex{font-size:1em}.tw[data-astro-cid-bdkgfu7l]{margin:24px 0;border:1px solid var(--border);border-radius:8px;background:var(--surface);padding:14px 16px 16px;font-family:var(--font-ui)}.tw[data-astro-cid-bdkgfu7l]:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.tw[data-astro-cid-bdkgfu7l]:not(.ready) .bar[data-astro-cid-bdkgfu7l],.tw[data-astro-cid-bdkgfu7l]:not(.ready) .foot[data-astro-cid-bdkgfu7l]{visibility:hidden}.bar[data-astro-cid-bdkgfu7l]{display:flex;justify-content:space-between;align-items:baseline;margin-bottom:8px;min-height:1.2em}.label[data-astro-cid-bdkgfu7l]{font-weight:700;color:var(--text-primary)}.count[data-astro-cid-bdkgfu7l]{font-size:.8rem;color:var(--text-secondary);font-variant-numeric:tabular-nums}.legend[data-astro-cid-bdkgfu7l]{display:flex;flex-wrap:wrap;gap:6px 14px;margin:0 0 12px;font-size:.72rem;color:var(--text-secondary)}.chip[data-astro-cid-bdkgfu7l]{display:inline-flex;align-items:center;gap:5px}.chip[data-astro-cid-bdkgfu7l]:before{content:"";width:11px;height:11px;border-radius:3px;flex:none;border:1px solid var(--border-strong)}.chip[data-astro-cid-bdkgfu7l].occupied:before{background:var(--accent-subtle)}.chip[data-astro-cid-bdkgfu7l].zero:before{background:var(--accent-subtle)}.chip[data-astro-cid-bdkgfu7l].current:before{background:var(--accent-dim);border-color:var(--accent)}.chip[data-astro-cid-bdkgfu7l].loop-path:before{background:none;border:2px solid var(--accent)}.chip[data-astro-cid-bdkgfu7l].loop-plus:before{background:#16a34a;border-color:#16a34a}.chip[data-astro-cid-bdkgfu7l].loop-minus:before{background:#dc2626;border-color:#dc2626}:root[data-theme=dark] .chip[data-astro-cid-bdkgfu7l].loop-plus:before{background:#15803d;border-color:#15803d}:root[data-theme=dark] .chip[data-astro-cid-bdkgfu7l].loop-minus:before{background:#b91c1c;border-color:#b91c1c}.scroll[data-astro-cid-bdkgfu7l]{overflow-x:auto;scrollbar-width:thin}.stack[data-astro-cid-bdkgfu7l] .step>.transport{display:none}.stack[data-astro-cid-bdkgfu7l]{display:grid;margin-top:2px}.stack[data-astro-cid-bdkgfu7l]>.step{grid-area:1 / 1;min-width:0;opacity:0;visibility:hidden;transition:opacity .15s}.stack[data-astro-cid-bdkgfu7l]>.step.active{opacity:1;visibility:visible}@media(prefers-reduced-motion:reduce){.stack[data-astro-cid-bdkgfu7l]>.step{transition:none}}.foot[data-astro-cid-bdkgfu7l]{display:flex;justify-content:space-between;align-items:center;flex-wrap:wrap;gap:10px;margin-top:12px}.dots[data-astro-cid-bdkgfu7l]{display:flex;gap:7px}.dots[data-astro-cid-bdkgfu7l] .dot{width:9px;height:9px;padding:0;border-radius:50%;border:1px solid var(--border-strong);background:none;cursor:pointer}.dots[data-astro-cid-bdkgfu7l] .dot[aria-selected=true]{background:var(--accent);border-color:var(--accent)}.controls[data-astro-cid-bdkgfu7l]{display:flex;gap:8px}.controls[data-astro-cid-bdkgfu7l] button[data-astro-cid-bdkgfu7l]{font:inherit;font-size:.85rem;padding:5px 12px;border:1px solid var(--border-strong);border-radius:6px;background:var(--surface-2);color:var(--text-primary);cursor:pointer}.controls[data-astro-cid-bdkgfu7l] button[data-astro-cid-bdkgfu7l]:hover:not(:disabled){border-color:var(--accent);color:var(--accent)}.controls[data-astro-cid-bdkgfu7l] button[data-astro-cid-bdkgfu7l]:disabled{opacity:.4;cursor:default}.live[data-astro-cid-bdkgfu7l]{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0)}.excel[data-astro-cid-izmqnrw3]{margin:20px 0;--excel-input: #1a56db}:root[data-theme=dark] .excel[data-astro-cid-izmqnrw3]{--excel-input: #6a9bf4}.sheet-wrap[data-astro-cid-izmqnrw3]{overflow-x:auto;border:1px solid var(--border-strong);border-radius:4px;width:fit-content;max-width:100%;margin:0 auto}table[data-astro-cid-izmqnrw3].sheet{margin:0;width:auto;border-collapse:collapse;font-family:var(--font-ui);font-size:.85rem}th[data-astro-cid-izmqnrw3],td[data-astro-cid-izmqnrw3]{border:1px solid var(--border);height:2rem;padding:0 10px;text-align:center;white-space:nowrap}thead[data-astro-cid-izmqnrw3] th[data-astro-cid-izmqnrw3]{background:var(--surface-2);color:var(--text-secondary);font-weight:600;position:sticky;top:0}th[data-astro-cid-izmqnrw3].corner{background:var(--surface-2)}th[data-astro-cid-izmqnrw3].rowhead{background:var(--surface-2);color:var(--text-secondary);font-weight:600}td[data-astro-cid-izmqnrw3].cell{background:var(--surface);color:var(--text-primary);text-align:left}td[data-astro-cid-izmqnrw3].cell.label{font-weight:600;color:var(--text-secondary)}td[data-astro-cid-izmqnrw3].cell.input{font-variant-numeric:tabular-nums;color:var(--excel-input)}td[data-astro-cid-izmqnrw3].cell.formula{font-family:var(--font-mono);font-size:.8rem;color:var(--text-primary);background:var(--accent-dim)}td[data-astro-cid-izmqnrw3].cell.limit{font-variant-numeric:tabular-nums;color:var(--text-secondary)}figcaption[data-astro-cid-izmqnrw3]{margin-top:8px;text-align:center;font-size:.85rem;color:var(--text-secondary)}.note-feedback[data-astro-cid-jgd2zsze]{display:flex;align-items:center;gap:12px;padding-top:24px;font-family:var(--font-ui);flex-wrap:wrap}.note-feedback-label[data-astro-cid-jgd2zsze]{font-size:.875rem;font-weight:500;color:var(--text-secondary);flex-shrink:0}.note-feedback-btns[data-astro-cid-jgd2zsze]{display:flex;align-items:center;gap:8px}.note-feedback-btn[data-astro-cid-jgd2zsze]{display:inline-flex;align-items:center;gap:6px;padding:7px 14px;color:var(--text-secondary);background:var(--surface-2);border:1px solid var(--border);border-radius:8px;cursor:pointer;font:inherit;font-size:.8125rem;font-weight:600;transition:background .12s,border-color .12s,color .12s,transform .1s}.note-feedback-btn[data-astro-cid-jgd2zsze]:hover{color:var(--sem);background:var(--sem-bg);border-color:var(--sem-border)}.note-feedback-btn[data-astro-cid-jgd2zsze]:active{transform:scale(.95)}.note-feedback-btn[data-astro-cid-jgd2zsze].is-active{color:var(--sem);background:var(--sem-bg);border-color:var(--sem-border)}.note-feedback-btn[data-astro-cid-jgd2zsze].is-active svg[data-astro-cid-jgd2zsze]{fill:currentColor;opacity:1}.note-feedback-btn[data-astro-cid-jgd2zsze] svg[data-astro-cid-jgd2zsze]{flex-shrink:0;opacity:.75}.note-feedback-btn-label[data-astro-cid-jgd2zsze]{line-height:1}.note-feedback-count[data-astro-cid-jgd2zsze]{font-size:.75rem;font-weight:600;font-variant-numeric:tabular-nums;color:var(--text-muted);line-height:1;min-width:1ch;text-align:center}.note-feedback-btn[data-astro-cid-jgd2zsze].is-active .note-feedback-count[data-astro-cid-jgd2zsze]{color:currentColor;opacity:.75}.note-authors[data-astro-cid-yogdywx5]{margin-top:36px;padding-top:24px;border-top:1px solid var(--border);font-family:var(--font-ui)}.note-authors-label[data-astro-cid-yogdywx5]{display:block;font-size:.6875rem;font-weight:600;letter-spacing:.3px;color:var(--text-muted);margin-bottom:10px}.note-authors-list[data-astro-cid-yogdywx5]{display:flex;flex-direction:column;gap:8px;list-style:none;margin:0;padding:0}.note-authors-item[data-astro-cid-yogdywx5]{display:flex;align-items:center;gap:10px;--author-bg: color-mix(in oklab, var(--author-color) 13%, var(--surface));--author-border: color-mix(in oklab, var(--author-color) 32%, var(--surface))}.note-authors-avatar[data-astro-cid-yogdywx5]{display:inline-flex;align-items:center;justify-content:center;width:30px;height:30px;border-radius:50%;background:var(--author-bg);color:var(--author-color);border:1px solid var(--author-border);font-size:.6875rem;font-weight:700;flex-shrink:0}.note-authors-name[data-astro-cid-yogdywx5],.note-authors-link[data-astro-cid-yogdywx5]{font-size:.9375rem;font-weight:700;color:var(--text-primary);text-decoration:none}.note-authors-link[data-astro-cid-yogdywx5]:hover{color:var(--author-color);text-decoration:underline}.note-authors-meta[data-astro-cid-yogdywx5]{display:block;margin-top:12px;font-size:.8125rem;color:var(--text-muted)}[data-astro-cid-sesgm73s]:where(article){margin-top:calc(var(--spacing) * 10);font-family:var(--font-body);font-size:1rem;line-height:1.75;color:var(--text-secondary);& h2{font-family:var(--font-ui);font-size:1.5rem;font-weight:800;letter-spacing:-.4px;line-height:1;color:var(--text-primary);margin:24px 0 14px;display:flex;align-items:center;gap:6px}& h2:first-child{margin-top:0}& h3{font-family:var(--font-ui);font-size:1.25rem;font-weight:700;letter-spacing:-.1px;color:var(--text-primary);margin:20px 0 10px}& h4{font-family:var(--font-ui);font-size:1.125rem;font-weight:700;color:var(--text-primary);margin:24px 0 8px}& ul{list-style:outside;padding-left:1.4rem;margin-bottom:16px;display:flex;flex-direction:column;gap:1px}& ul:has(li br){gap:6px}& li{max-width:84ch}& ul li::marker{color:var(--sem)}& ul ul{list-style:circle;margin-bottom:0}& ul ul ul{list-style:square}& ol{padding-left:22px;margin-bottom:16px;display:flex;flex-direction:column;gap:5px;list-style:decimal}& strong{font-weight:700;color:var(--text-primary)}& em{font-style:italic}& code{font-family:var(--font-mono);font-size:.875rem;background:var(--surface-2);border:1px solid var(--border);padding:1px 6px;border-radius:4px;color:var(--text-primary);font-weight:400}& pre{border-radius:9px;padding:12px 16px;margin:20px 0;overflow-x:auto;position:relative;scrollbar-width:thin;scrollbar-color:var(--border-strong) transparent}& pre::-webkit-scrollbar{height:6px}& pre::-webkit-scrollbar-thumb{background:var(--border-strong);border-radius:3px}& pre,code{line-height:1.4}& pre code{background:none;border:none;padding:0;font-size:.78125rem;font-weight:400}& pre .kw{color:#7f98f8}& pre .fn{color:#6fcfb0}& pre .str{color:#98cc98}& pre .cm{color:#4a5a72;font-style:italic}& pre .num{color:#e8c870}& pre .tp{color:#c0a8e8}& pre:before{content:attr(data-lang);position:absolute;top:10px;right:14px;font-family:var(--font-mono);font-size:.625rem;font-weight:500;letter-spacing:.5px;text-transform:uppercase;transition:opacity .12s}& pre:hover:before{opacity:0}.copy-btn{position:absolute;top:6px;right:8px;font-family:var(--font-mono);font-size:.6875rem;font-weight:500;padding:2px 8px;border-radius:5px;border:1px solid var(--border);background:var(--surface-2, var(--surface));color:var(--text-2, var(--text));cursor:pointer;opacity:0;transition:opacity .12s;line-height:1.6}& pre:hover .copy-btn{opacity:1}@media(hover:none){.copy-btn{opacity:1}}& thead tr{border-bottom:2px solid var(--border-strong)}& th{font-size:.9em;font-weight:700;letter-spacing:.5px;padding:8px 14px;text-align:left}& td{padding:10px 14px;border-bottom:1px solid var(--border);color:var(--text-secondary);vertical-align:top;line-height:1.45}:where(tr:last-child td){border-bottom:none}.term{background:var(--accent-dim);color:var(--accent);border-radius:3px;padding:0 5px;font-family:var(--font-ui);font-weight:600;font-size:.95em}& p,blockquote{margin-bottom:16px}& p{font-size:1em;font-size:1.06em;line-height:1.6;text-wrap:pretty;&:not(:has(.MathJax:only-of-type)):not(:has(img:only-of-type)){max-width:84ch}&:has(svg.block-image:only-child),img{margin-left:auto;margin-right:auto}&:has(.MathJax:only-of-type) mjx-container[data-astro-cid-sesgm73s] svg[data-astro-cid-sesgm73s],&:has(.MathJax):not(:has(.MathJax:only-of-type)) mjx-container[data-astro-cid-sesgm73s] svg[data-astro-cid-sesgm73s]{display:inline-block;font-size:1.25rem}&:has(.MathJax:only-of-type){text-align:center}}& li{font-size:1rem;line-height:1.6;.MathJax{font-size:1.25rem;& svg{display:inline-block;margin-left:.25rem;margin-right:.25rem}}}& img,svg:not(.katex svg){max-width:min(90ch,100%);height:auto}& img,svg.block-image{display:block;margin:0 auto}& img{cursor:zoom-in}& mjx-container[display=true] svg{text-align:center;font-size:1.25rem;margin:2.5rem auto}& h2 mjx-container svg,h3 mjx-container svg,h4 mjx-container svg{display:inline-block!important}.katex-display{text-align:center;font-size:1.12rem;overflow-x:auto;overflow-y:hidden;scrollbar-width:none}.katex-display::-webkit-scrollbar{display:none}:where(table){width:100%;border-collapse:collapse;font-size:.875rem;margin:20px 0;font-family:var(--font-ui);& thead,tbody,tr{width:100%}& th,td{padding:.5rem 1rem;vertical-align:middle}.MathJax{display:inline-block;font-size:1.25rem}& img,svg:not(mjx-container svg){max-width:100%;height:auto;margin:auto}& td .MathJax{margin:auto}}& strong{color:var(--accent)}& a{color:var(--link, var(--sem));text-decoration:none;border-bottom:1px solid #0000;transition:border-color .15s}& a:hover{border-bottom-color:var(--link, var(--sem))}& a[href^="/s1"]{--link: var(--s1)}& a[href^="/s2"]{--link: var(--s2)}& a[href^="/s3"]{--link: var(--s3)}& a[href^="/s4"]{--link: var(--s4)}& a[href^="/s5"]{--link: var(--s5)}& a[href^="/s6"]{--link: var(--s6)}& a[href^="/s7"]{--link: var(--s7)}& a[href^="/s8"]{--link: var(--s8)}& blockquote{font-size:1.1rem;font-weight:500;padding:.5rem 1rem;background-color:var(--accent-subtle);border-radius:.375rem;& p{margin-bottom:0}}& figure{position:relative;& img{border-radius:.375rem}& figcaption{text-align:center;margin:1rem auto 0;line-height:1.3;font-size:.875rem;max-width:64ch}}@media(width<=48rem){margin-top:20px;font-size:.9375rem;& h2{font-size:1.1875rem}& h3{font-size:1.0625rem}& h4{font-size:1rem}& p{line-height:1.55}& p:has(.MathJax:only-of-type) mjx-container svg,p:has(.MathJax):not(:has(.MathJax:only-of-type)) mjx-container svg{font-size:1.05rem}& li{font-size:.9375rem;.MathJax{font-size:1.05rem}}& blockquote{font-size:.9375rem}& table{font-size:.8125rem;& th,td{padding:.375rem .5rem}.MathJax{font-size:1rem}}& mjx-container[display=true] svg{font-size:1.05rem;margin:1.5rem auto}.katex-display{font-size:1rem}}}.table-scroll{overflow-x:auto;-webkit-overflow-scrolling:touch}article[data-astro-cid-sesgm73s] mjx-container[display=true]{overflow-x:auto;overflow-y:hidden}.prereqs[data-astro-cid-vysvrfr7]{margin-top:24px;padding:14px 18px;background:var(--surface-2);border:1px solid var(--border);border-left:3px solid var(--sem);border-radius:6px}.prereqs-label[data-astro-cid-vysvrfr7]{font-family:var(--font-ui);font-size:.6875rem;font-weight:700;letter-spacing:.8px;text-transform:uppercase;color:var(--text-muted);margin-bottom:8px}.prereqs-list[data-astro-cid-vysvrfr7]{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:4px}.prereqs-list[data-astro-cid-vysvrfr7] li[data-astro-cid-vysvrfr7]{margin:0}.prereqs-list[data-astro-cid-vysvrfr7] a[data-astro-cid-vysvrfr7]{font-family:var(--font-body);font-size:1rem;color:var(--link, var(--sem));text-decoration:none;border-bottom:1px solid #0000;transition:border-color .15s}.prereqs-list[data-astro-cid-vysvrfr7] a[data-astro-cid-vysvrfr7]:hover{border-bottom-color:var(--link, var(--sem))}.prereqs-list[data-astro-cid-vysvrfr7] a[data-astro-cid-vysvrfr7][href^="/s1"]{--link: var(--s1)}.prereqs-list[data-astro-cid-vysvrfr7] a[data-astro-cid-vysvrfr7][href^="/s2"]{--link: var(--s2)}.prereqs-list[data-astro-cid-vysvrfr7] a[data-astro-cid-vysvrfr7][href^="/s3"]{--link: var(--s3)}.prereqs-list[data-astro-cid-vysvrfr7] a[data-astro-cid-vysvrfr7][href^="/s4"]{--link: var(--s4)}.prereqs-list[data-astro-cid-vysvrfr7] a[data-astro-cid-vysvrfr7][href^="/s5"]{--link: var(--s5)}.prereqs-list[data-astro-cid-vysvrfr7] a[data-astro-cid-vysvrfr7][href^="/s6"]{--link: var(--s6)}.prereqs-list[data-astro-cid-vysvrfr7] a[data-astro-cid-vysvrfr7][href^="/s7"]{--link: var(--s7)}.prereqs-list[data-astro-cid-vysvrfr7] a[data-astro-cid-vysvrfr7][href^="/s8"]{--link: var(--s8)}.prereqs-sem[data-astro-cid-vysvrfr7]{color:var(--text-muted);font-weight:400}.packet[data-astro-cid-eqj5rzzv]{display:block;margin:20px auto;background:var(--surface);border-radius:6px;width:auto;& text{fill:currentColor}}.frame[data-astro-cid-eqj5rzzv]{fill:none;stroke:var(--border-strong);stroke-width:1px}.div-h[data-astro-cid-eqj5rzzv]{stroke:var(--border-strong);stroke-width:1px}.div-v[data-astro-cid-eqj5rzzv]{stroke:var(--border);stroke-width:1px}.div-dashed[data-astro-cid-eqj5rzzv]{stroke:var(--border-strong);stroke-dasharray:4 3}.fname[data-astro-cid-eqj5rzzv]{font-family:var(--font-ui);font-size:.7rem;font-weight:600;fill:var(--text-primary)}.fsize[data-astro-cid-eqj5rzzv]{font-size:.65rem;fill:var(--text-muted)}.ruler[data-astro-cid-eqj5rzzv]{font-family:var(--font-mono);font-size:.5625rem;fill:var(--text-muted)}.permtable[data-astro-cid-gmitd5ao]{margin:20px 0;text-align:center}.title[data-astro-cid-gmitd5ao]{font-family:var(--font-ui);font-size:.8rem;font-weight:600;color:var(--text-primary);margin-bottom:8px}.grid[data-astro-cid-gmitd5ao]{list-style:none;margin:0 auto;padding:0;width:fit-content;max-width:100%;overflow-x:auto;display:grid;grid-template-columns:repeat(var(--cols),3rem);gap:3px}.cell[data-astro-cid-gmitd5ao]{position:relative;display:flex;align-items:center;justify-content:center;aspect-ratio:1;background:var(--surface);border:1px solid var(--border);border-radius:4px;font-family:var(--font-mono);font-size:.85rem;color:var(--text-primary)}.cell[data-astro-cid-gmitd5ao].accent{background:color-mix(in oklab,var(--dia-ct) 14%,var(--surface));border-color:color-mix(in oklab,var(--dia-ct) 45%,var(--surface))}.src[data-astro-cid-gmitd5ao]{margin-top:.35em}.out[data-astro-cid-gmitd5ao]{position:absolute;top:2px;left:3px;font-size:.5rem;line-height:1;color:var(--text-muted)}.caption[data-astro-cid-gmitd5ao]{font-size:.8rem;color:var(--text-muted);margin:8px auto 0;max-width:54ch!important}.rotsched[data-astro-cid-kjbqoz5r]{margin:20px 0;text-align:center}.grid[data-astro-cid-kjbqoz5r]{list-style:none;margin:0 auto;padding:0;width:fit-content;max-width:100%;overflow-x:auto;display:grid;grid-template-columns:repeat(16,2.5rem);gap:3px}.cell[data-astro-cid-kjbqoz5r]{position:relative;display:flex;align-items:center;justify-content:center;aspect-ratio:1;background:var(--surface);border:1px solid var(--border);border-radius:4px;font-family:var(--font-mono);font-size:.85rem;color:var(--text-primary)}.cell[data-astro-cid-kjbqoz5r].two{background:color-mix(in oklab,var(--dia-key) 14%,var(--surface));border-color:color-mix(in oklab,var(--dia-key) 45%,var(--surface))}.round[data-astro-cid-kjbqoz5r]{position:absolute;top:2px;left:3px;font-size:.5rem;line-height:1;color:var(--text-muted)}.shift[data-astro-cid-kjbqoz5r]{margin-top:.35em}.caption[data-astro-cid-kjbqoz5r]{font-size:.8rem;color:var(--text-muted);margin:8px auto 0;max-width:32rem}.note-action-btn[data-astro-cid-flgmyi7x]{display:inline-flex;align-items:center;gap:6px;padding:4px 9px;font-family:var(--font-ui);font-size:.75rem;font-weight:600;color:var(--text-secondary);background:var(--surface-2);border:1px solid var(--border);border-radius:5px;text-decoration:none;transition:background .12s,border-color .12s,color .12s}.note-action-btn[data-astro-cid-flgmyi7x] svg[data-astro-cid-flgmyi7x]{flex-shrink:0;color:currentColor;opacity:.85}.note-action-btn[data-astro-cid-flgmyi7x]:hover{color:var(--sem);background:var(--sem-bg);border-color:var(--sem-border)}.note-nav[data-astro-cid-et5hzocq]{display:flex;justify-content:space-between;gap:16px;margin:calc(6 * var(--spacing)) 0}.note-nav-btn[data-astro-cid-et5hzocq]{flex:1;max-width:320px;padding:9px 12px;border-radius:6px;border:1px solid var(--border);background:var(--surface);text-decoration:none;transition:border-color .12s,background .12s,color .12s;display:flex;align-items:center;gap:6px}.note-nav-btn[data-astro-cid-et5hzocq]:hover{border-color:var(--sem-border);background:var(--sem-bg)}.note-nav-icon{flex-shrink:0;color:var(--text-muted);transition:color .12s}.note-nav-btn[data-astro-cid-et5hzocq]:hover .note-nav-icon{color:var(--sem)}.note-nav-content[data-astro-cid-et5hzocq]{display:flex;flex-direction:column;gap:2px;flex:1;min-width:0}.note-nav-dir[data-astro-cid-et5hzocq]{font-family:var(--font-ui);font-size:.625rem;font-weight:700;color:var(--text-muted);letter-spacing:.8px;text-transform:uppercase}.note-nav-title[data-astro-cid-et5hzocq]{font-family:var(--font-ui);font-size:1.1rem;font-weight:700;color:var(--text-primary);line-height:1.3;letter-spacing:-.15px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.note-nav-btn[data-astro-cid-et5hzocq]:hover .note-nav-title[data-astro-cid-et5hzocq]{color:var(--sem)}.note-nav-btn[data-astro-cid-et5hzocq].right{flex-direction:row-reverse;margin-left:auto}.note-nav-btn[data-astro-cid-et5hzocq].right .note-nav-content[data-astro-cid-et5hzocq]{align-items:flex-end}[data-astro-cid-et5hzocq][data-theme=dark] .note-nav-btn[data-astro-cid-et5hzocq]:hover{box-shadow:0 3px 14px #00000059}@media(width<=48rem){.note-nav[data-astro-cid-et5hzocq]{flex-direction:column}.note-nav-btn[data-astro-cid-et5hzocq],.note-nav-btn[data-astro-cid-et5hzocq].right{max-width:100%;margin-left:0}}svg[data-astro-cid-bz55somq]{margin-left:auto;color:var(--text-muted);transition:transform .15s;flex-shrink:0}.sb-rule[data-astro-cid-facxijqd]{height:1px;background:var(--border);margin:8px 0}.sb-group-title[data-astro-cid-facxijqd]{padding:10px 16px 4px;font-size:.625rem;font-weight:700;color:var(--text-muted);letter-spacing:.8px;text-transform:uppercase}.sb-module-title[data-astro-cid-facxijqd]{padding:8px 16px 2px;font-size:.625rem;font-weight:600;color:var(--text-muted);letter-spacing:.6px;text-transform:uppercase;opacity:.8}.sb-item[data-astro-cid-facxijqd]{display:flex;align-items:center;padding:5px 16px;font-size:.78125rem;font-weight:500;color:var(--text-secondary);border-left:2px solid #0000;text-decoration:none;transition:background .1s,color .1s,border-color .1s;line-height:1.35}.sb-item[data-astro-cid-facxijqd]:hover{background:var(--surface-2);color:var(--text-primary)}.sb-item[data-astro-cid-facxijqd].active{background:var(--sem-dim);color:var(--sem);border-left-color:var(--sem);font-weight:700}.sb-item-sub[data-astro-cid-facxijqd]{padding-left:28px;font-size:.75rem}.sidebar[data-astro-cid-6ej6c6d2]{width:var(--sidebar-w);flex-shrink:0;overflow-y:auto;background:var(--surface);padding:0;scrollbar-width:thin;scrollbar-color:var(--border) transparent}.sidebar[data-astro-cid-6ej6c6d2]::-webkit-scrollbar{width:3px}.sidebar[data-astro-cid-6ej6c6d2]::-webkit-scrollbar-thumb{background:var(--border-strong);border-radius:2px}.sb-sem-wrap[data-astro-cid-6ej6c6d2]{position:relative;margin-bottom:6px;border-bottom:1px solid var(--border)}.sb-sem[data-astro-cid-6ej6c6d2]{width:100%;padding:14px 16px;display:flex;align-items:center;gap:10px;background:var(--sem-bg);border:0;border-bottom:1px solid var(--sem-border);color:var(--sem);font:inherit;text-align:left;cursor:pointer;transition:filter .1s}.sb-sem[data-astro-cid-6ej6c6d2]:hover{filter:brightness(.97)}[data-theme=dark] .sb-sem[data-astro-cid-6ej6c6d2]:hover{filter:brightness(1.25)}.sb-sem[data-astro-cid-6ej6c6d2] .sb-sem-name[data-astro-cid-6ej6c6d2]{color:var(--sem)}.sb-sem[data-astro-cid-6ej6c6d2] .sb-sem-chev{color:var(--sem);opacity:.7}.sb-sem[data-astro-cid-6ej6c6d2][aria-expanded=true] .sb-sem-chev{transform:rotate(180deg)}.sb-sem-menu[data-astro-cid-6ej6c6d2]{position:absolute;top:100%;left:8px;right:8px;z-index:10;margin-top:4px;background:var(--surface);border:1px solid var(--border);border-radius:6px;box-shadow:0 8px 24px #0000001f;display:flex;flex-direction:column;gap:1px}.sb-sem-opt[data-astro-cid-6ej6c6d2]{display:flex;align-items:center;gap:10px;padding:7px 10px;font-size:.8125rem;font-weight:600;color:var(--text-secondary);text-decoration:none;border-radius:4px;transition:background .1s,color .1s}.sb-sem-opt[data-astro-cid-6ej6c6d2]:hover{background:var(--surface-2);color:var(--text-primary)}.sb-sem-opt[data-astro-cid-6ej6c6d2].active{color:var(--opt-sem)}.sb-sem-opt-pip[data-astro-cid-6ej6c6d2],.sb-sem-pip[data-astro-cid-6ej6c6d2]{width:var(--pip-size);height:var(--pip-size);border-radius:2px;flex-shrink:0}.sb-sem-opt-pip[data-astro-cid-6ej6c6d2]{background:var(--opt-sem)}.sb-sem-pip[data-astro-cid-6ej6c6d2]{background:var(--sem)}.sb-sem-label[data-astro-cid-6ej6c6d2]{font-size:.625rem;font-weight:700;color:var(--text-muted);letter-spacing:.8px;text-transform:uppercase;display:block;margin-bottom:2px}.sb-sem-name[data-astro-cid-6ej6c6d2]{font-size:.8125rem;font-weight:700;color:var(--text-primary);letter-spacing:-.2px}.sb-item[data-astro-cid-6ej6c6d2]{display:flex;align-items:center;padding:5px 16px;font-size:.78125rem;font-weight:500;color:var(--text-secondary);border-left:2px solid #0000;text-decoration:none;transition:background .1s,color .1s,border-color .1s;line-height:1.35}.sb-item[data-astro-cid-6ej6c6d2]:hover{background:var(--surface-2);color:var(--text-primary)}.sb-item[data-astro-cid-6ej6c6d2].active{background:var(--sem-dim);color:var(--sem);border-left-color:var(--sem);font-weight:700}.sb-item-sub[data-astro-cid-6ej6c6d2]{padding-left:28px;font-size:.75rem}.sb-item-count[data-astro-cid-6ej6c6d2]{margin-left:auto;font-family:var(--font-mono);font-size:.625rem;color:var(--text-muted)}.sb-rule[data-astro-cid-6ej6c6d2]{height:1px;background:var(--border);margin:8px 0}@media(width<=48rem){.sb-item[data-astro-cid-6ej6c6d2]{padding:10px 16px}.sidebar[data-astro-cid-6ej6c6d2]{position:fixed;top:var(--nav-h);left:0;height:calc(100dvh - var(--nav-h));width:min(300px,85vw);z-index:50;transform:translate(-100%);box-shadow:2px 0 18px #0000002e}html.drawers-ready .sidebar[data-astro-cid-6ej6c6d2]{transition:transform .22s}html.sidebar-open .sidebar[data-astro-cid-6ej6c6d2]{transform:translate(0)}}#image-zoom[data-astro-cid-lzjqju43]{position:fixed;inset:0;box-sizing:border-box;width:100vw;height:100dvh;max-width:none;max-height:none;margin:0;padding:2rem 1.5rem;border:none;background:none;overflow:hidden;display:none;flex-direction:column;align-items:center;justify-content:center;gap:1rem;cursor:zoom-out}#image-zoom[data-astro-cid-lzjqju43][open]{display:flex}#image-zoom[data-astro-cid-lzjqju43]::backdrop{background:#000000d9;backdrop-filter:blur(2px);opacity:0;transition:opacity .28s}[data-theme=dark] #image-zoom[data-astro-cid-lzjqju43]::backdrop{background:#000000eb}#image-zoom[data-astro-cid-lzjqju43].is-open::backdrop{opacity:1}#image-zoom-img[data-astro-cid-lzjqju43]{flex:0 auto;min-height:0;width:min(80vw,100vw - 3rem);max-height:82dvh;object-fit:contain;border-radius:.375rem}#image-zoom-caption[data-astro-cid-lzjqju43]{flex:none;margin:0;max-width:min(64ch,100%);max-height:20vh;overflow-y:auto;text-align:center;font-family:var(--font-body);font-size:.875rem;line-height:1.3;color:#e8e8f0}#image-zoom-caption[data-astro-cid-lzjqju43][hidden]{display:none}#image-zoom-caption[data-astro-cid-lzjqju43] a{color:#fff;text-decoration:underline}#image-zoom-caption[data-astro-cid-lzjqju43] p{margin:0;font-size:1.06em;line-height:1.6}#image-zoom-close[data-astro-cid-lzjqju43]{position:absolute;top:1rem;right:1rem;display:flex;align-items:center;justify-content:center;width:2.25rem;height:2.25rem;padding:0;border:none;border-radius:999px;background:#ffffff1f;color:#e8e8f0;cursor:pointer;opacity:0;transition:opacity .28s,background .15s}#image-zoom-close[data-astro-cid-lzjqju43]:hover{background:#ffffff38}#image-zoom[data-astro-cid-lzjqju43].is-open #image-zoom-close[data-astro-cid-lzjqju43]{opacity:1}::view-transition-group(root){animation-duration:.4s;animation-timing-function:cubic-bezier(.16,1,.3,1)}::view-transition-group(zoom-image){animation-duration:.4s;animation-timing-function:cubic-bezier(.16,1,.3,1)}::view-transition-image-pair(zoom-image){overflow:clip}::view-transition-group(zoom-caption){animation-duration:.4s;animation-timing-function:cubic-bezier(.16,1,.3,1)}::view-transition-old(zoom-caption),::view-transition-new(zoom-caption){height:100%;width:100%;object-fit:none;object-position:center}@media(prefers-reduced-motion:reduce){::view-transition-group(root),::view-transition-group(zoom-image),::view-transition-group(zoom-caption),::view-transition-old(zoom-image),::view-transition-new(zoom-image),::view-transition-old(zoom-caption),::view-transition-new(zoom-caption){animation-duration:1ms!important}}:root{--sidebar-w: 280px;--toc-w: 280px;--nav-h: 54px;--pip-size: 16px;--stripe-fg: #f5b800;--stripe-bg: #1a1200}main[data-astro-cid-n67f4zmd]{height:calc(100dvh - var(--nav-h));overflow:hidden}section[data-astro-cid-n67f4zmd]:has(article){padding:0 calc(5 * var(--spacing));overflow:scroll;scroll-behavior:smooth;scrollbar-width:none}.main[data-astro-cid-n67f4zmd]{flex:1;min-width:0}.content[data-astro-cid-n67f4zmd]{max-width:724px;margin:0 auto;padding:40px 48px 96px}.note-hd[data-astro-cid-n67f4zmd]{margin-bottom:36px;padding-bottom:24px;border-bottom:1px solid var(--border)}.note-tag[data-astro-cid-n67f4zmd]{display:inline-flex;align-items:center;gap:7px;background:var(--sem-bg);border:1px solid var(--sem-border);color:var(--sem-text);border-radius:5px;padding:3px 10px;font-size:.6875rem;font-weight:700;letter-spacing:.3px;margin-bottom:16px;font-family:var(--font-ui)}.note-tag-dot[data-astro-cid-n67f4zmd]{width:5px;height:5px;border-radius:3px;background:var(--sem)}.note-title[data-astro-cid-n67f4zmd]{font-family:var(--font-ui);font-size:2rem;font-weight:800;letter-spacing:-.8px;line-height:1.08;color:var(--text-primary);margin-bottom:14px;text-wrap:pretty}.wip-banner[data-astro-cid-n67f4zmd]{display:flex;align-items:center;gap:8px;width:fit-content;margin:0 0 16px;padding:8px 12px;font-family:var(--font-ui);font-size:.8125rem;font-weight:600;color:var(--sem-text);background:var(--sem-bg);border:1px solid var(--sem-border);border-radius:6px}.wip-dot[data-astro-cid-n67f4zmd]{width:6px;height:6px;border-radius:3px;background:var(--sem);flex-shrink:0}.note-meta-item[data-astro-cid-n67f4zmd]{display:flex;align-items:center;gap:6px}.note-meta-sep[data-astro-cid-n67f4zmd]{margin:0 10px;opacity:.4}.note-meta[data-astro-cid-n67f4zmd]{display:flex;flex-direction:row;gap:16px;width:fit-content;color:var(--text-muted)}@media(width<=48rem){.note-meta[data-astro-cid-n67f4zmd]{flex-direction:column;gap:10px;font-size:.8125rem}}.note-meta[data-astro-cid-n67f4zmd]>[data-astro-cid-n67f4zmd]{width:fit-content;display:flex;gap:12px}pre{background:var(--shiki-light-bg);color:var(--shiki-light);border-color:var(--border)}pre code span{color:var(--shiki-light);background-color:var(--shiki-light-bg)}[data-theme=dark] pre{background:var(--shiki-dark-bg);color:var(--shiki-dark)}[data-theme=dark] pre code span{color:var(--shiki-dark);background-color:var(--shiki-dark-bg)}[data-theme=dark] .copy-btn{background:var(--shiki-dark-bg);border-color:var(--border);color:var(--shiki-dark)}.nav-drawer-btn[data-astro-cid-n67f4zmd]{display:inline-flex;align-items:center;justify-content:center;width:40px;height:40px;color:var(--text-secondary);background:var(--surface-2);border:1px solid var(--border);border-radius:7px;cursor:pointer;padding:0;transition:background .12s,color .12s,border-color .12s}.nav-drawer-btn[data-astro-cid-n67f4zmd]:hover,.nav-drawer-btn[data-astro-cid-n67f4zmd]:active{background:var(--sem-bg);border-color:var(--sem-border);color:var(--sem)}.drawer-backdrop[data-astro-cid-n67f4zmd]{display:none;position:fixed;inset:0;background:#00000073;z-index:40;opacity:0;pointer-events:none}html.drawers-ready .drawer-backdrop[data-astro-cid-n67f4zmd]{transition:opacity .2s}[data-astro-cid-n67f4zmd][data-theme=dark] .drawer-backdrop[data-astro-cid-n67f4zmd]{background:#000000a6}html.sidebar-open .drawer-backdrop[data-astro-cid-n67f4zmd],html.toc-open .drawer-backdrop[data-astro-cid-n67f4zmd]{opacity:1;pointer-events:auto}@media(width<=48rem){main[data-astro-cid-n67f4zmd]{height:auto;overflow:visible;display:block!important}.drawer-backdrop[data-astro-cid-n67f4zmd]{display:block}section[data-astro-cid-n67f4zmd]:has(article){padding:0 calc(4 * var(--spacing));overflow:visible;height:auto}.note-title[data-astro-cid-n67f4zmd]{font-size:1.4rem}}