@font-face{font-family:"LT Serif";font-weight:400;font-style:normal;font-display:swap;src:url(./lt-serif-DoKJsCO4.woff2) format("woff2")}@font-face{font-family:"LT Serif";font-weight:400;font-style:italic;font-display:swap;src:url(./lt-serif-it-C0JbPFUM.woff2) format("woff2")}@font-face{font-family:"LT Serif";font-weight:700;font-style:normal;font-display:swap;src:url(./lt-serif-bx-Co6M-HIo.woff2) format("woff2")}@font-face{font-family:"LT Serif Bold";font-weight:700;font-style:normal;font-display:swap;src:url(./lt-serif-b-taIXNSst.woff2) format("woff2")}@font-face{font-family:LT Concrete;font-weight:400;font-style:normal;font-display:swap;src:url(./lt-concrete-SFgnAXQ2.woff2) format("woff2")}@font-face{font-family:LT Concrete;font-weight:400;font-style:italic;font-display:swap;src:url(./lt-concrete-it-uJ1tNtx9.woff2) format("woff2")}@font-face{font-family:LT Concrete;font-weight:700;font-style:normal;font-display:swap;src:url(./lt-concrete-bx-BJxDMrqY.woff2) format("woff2")}@font-face{font-family:LT Bright;font-weight:400;font-style:normal;font-display:swap;src:url(./lt-bright-BrgQTclu.woff2) format("woff2")}@font-face{font-family:LT Bright;font-weight:600;font-style:normal;font-display:swap;src:url(./lt-bright-sb-BdjFvWIc.woff2) format("woff2")}@font-face{font-family:LT Typewriter;font-weight:400;font-style:normal;font-display:swap;src:url(./lt-tt-BexJdRWD.woff2) format("woff2")}@font-face{font-family:"LT Math Italic";font-weight:400;font-style:italic;font-display:swap;src:url(./lt-math-it-CeFqkoW0.woff2) format("woff2");unicode-range:U+0041-005A,U+0061-007A,U+0391-03A9,U+03B1-03C9,U+03D1,U+03D5,U+03F5}@font-face{font-family:"LT Math";font-weight:400;font-style:normal;font-display:swap;src:url(./lt-math-DZ1f8bUA.woff2) format("woff2");unicode-range:U+2032,U+2190-22FF,U+2308-230B,U+27E8-27E9}:root{color-scheme:light;--paper: #fbfbfd;--panel: #f2f3f8;--panel-2: #e9ebf3;--ink: #1b1c2a;--ink-2: #4a4c62;--ink-3: #6f728a;--rule: #dcdeea;--rule-2: #c3c6d9;--tikz: #ebecfc;--tikz-line: #3a3eb2;--accent: #2f3dc9;--accent-ink: #2f3dc9;--accent-soft: #dfe3ff;--wanted: #e46c0a;--wanted-ink: #a84a05;--wanted-soft: #fdeada;--gray-box: #ececf1;--good: #137a26;--bad: #c3332f;--bad-soft: #fbe3e2;--order-0: #86b6ef;--order-1: #2a78d6;--order-2: #104281;--on-accent: #ffffff;--shadow: 0 1px 2px rgba(27, 28, 42, .06), 0 6px 24px rgba(27, 28, 42, .06);--serif: "LT Serif", "LT Math", "Latin Modern Roman", "CMU Serif", "STIX Two Text", Georgia, serif;--text: "LT Concrete", "LT Math", "CMU Concrete", "Iowan Old Style", "Palatino Linotype", Palatino, Georgia, serif;--sans: "LT Bright", "LT Math", "CMU Bright", "Helvetica Neue", Arial, system-ui, sans-serif;--mono: "LT Typewriter", "LT Math", "CMU Typewriter Text", "Courier Prime", ui-monospace, "SF Mono", Menlo, monospace;--mathit: "LT Math Italic", "LT Serif", "LT Math", "Latin Modern Math", "STIX Two Math", Georgia, serif;--col: 41rem;--wide: 70rem;--gutter: clamp(16px, 4vw, 40px)}@media (prefers-color-scheme: dark){:root:not([data-theme=light]){color-scheme:dark;--paper: #10111b;--panel: #171826;--panel-2: #1e2031;--ink: #e6e7f3;--ink-2: #b6b8cd;--ink-3: #8d90a8;--rule: #2a2c41;--rule-2: #3c3f58;--tikz: #1d1f45;--tikz-line: #8e95ff;--accent: #6573ea;--accent-ink: #9aa4ff;--accent-soft: #252a5a;--wanted: #d9751c;--wanted-ink: #ffa152;--wanted-soft: #3a2513;--gray-box: #1d1e29;--good: #43c25a;--bad: #ef6b66;--bad-soft: #3a1c1d;--order-0: #184f95;--order-1: #3987e5;--order-2: #9ec5f4;--on-accent: #ffffff;--shadow: 0 1px 2px rgba(0, 0, 0, .3), 0 8px 28px rgba(0, 0, 0, .35)}}:root[data-theme=dark]{color-scheme:dark;--paper: #10111b;--panel: #171826;--panel-2: #1e2031;--ink: #e6e7f3;--ink-2: #b6b8cd;--ink-3: #8d90a8;--rule: #2a2c41;--rule-2: #3c3f58;--tikz: #1d1f45;--tikz-line: #8e95ff;--accent: #6573ea;--accent-ink: #9aa4ff;--accent-soft: #252a5a;--wanted: #d9751c;--wanted-ink: #ffa152;--wanted-soft: #3a2513;--gray-box: #1d1e29;--good: #43c25a;--bad: #ef6b66;--bad-soft: #3a1c1d;--order-0: #184f95;--order-1: #3987e5;--order-2: #9ec5f4;--on-accent: #ffffff;--shadow: 0 1px 2px rgba(0, 0, 0, .3), 0 8px 28px rgba(0, 0, 0, .35)}*,*:before,*:after{box-sizing:border-box}html{scroll-behavior:smooth;-webkit-text-size-adjust:100%}@media (prefers-reduced-motion: reduce){html{scroll-behavior:auto}}body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--text);font-size:19px;line-height:1.6;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility;font-kerning:normal}@media (max-width: 640px){body{font-size:17.5px}}a{color:var(--accent-ink);text-decoration-thickness:1px;text-underline-offset:2px}a:hover{text-decoration-thickness:2px}b,strong{font-weight:700}.m,var,.display{font-family:var(--serif);font-size:1.04em;font-style:normal;white-space:nowrap}var{font-family:var(--mathit);font-style:italic;padding-right:.04em}.m var{font-size:1em}.m i{font-family:var(--mathit)}sup,sub{font-size:.72em;line-height:0}sup var,sub var{font-size:1em}.binom{display:inline-flex;align-items:center;vertical-align:middle;margin:0 .12em;white-space:nowrap}.binom:before,.binom:after{content:"(";font-size:1.75em;line-height:1;font-weight:300;transform:scaleX(.75)}.binom:after{content:")"}.binom>span{display:inline-flex;flex-direction:column;align-items:center;font-size:.74em;line-height:1.12}.binom>span>span{display:block}.display{display:flex;flex-direction:column;align-items:center;gap:.35em;margin:1.1em 0 1.2em;white-space:normal;text-align:center;font-size:1.12em}.display>span{white-space:nowrap}.display__gap{font-size:.82em;color:var(--ink-2);margin-top:-.3em}code{font-family:var(--mono);font-size:.86em;background:var(--panel);border:1px solid var(--rule);border-radius:3px;padding:.04em .32em;white-space:nowrap}:focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:3px}#rail{position:fixed;left:0;top:0;bottom:0;width:13.5rem;padding:2rem 0 2rem 1.4rem;display:flex;align-items:center;z-index:20;pointer-events:none}#rail ol{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:1px;pointer-events:auto}#rail a{display:grid;grid-template-columns:1.6rem 1fr;align-items:baseline;padding:2px 0;font-family:var(--sans);font-size:12.5px;line-height:1.35;color:var(--ink-3);text-decoration:none}#rail a span:first-child{font-variant-numeric:tabular-nums}#rail a:hover{color:var(--ink)}#rail a.on{color:var(--accent-ink);font-weight:600}@media (max-width: 1399px){#rail{display:none}}.hero{display:grid;grid-template-columns:minmax(0,1.15fr) minmax(0,1fr);gap:clamp(1.5rem,4vw,4rem);align-items:center;max-width:var(--wide);margin:0 auto;padding:clamp(2rem,6vh,4.5rem) var(--gutter) clamp(2rem,5vh,3.5rem)}.hero__text{min-width:0}.eyebrow{margin:0 0 .9rem;font-family:var(--sans);font-size:12.5px;font-weight:600;letter-spacing:.08em;text-transform:uppercase;color:var(--ink-3)}.hero__title{margin:0 0 1.4rem;font-family:var(--serif);font-weight:400;font-size:clamp(2.5rem,5.4vw,4rem);line-height:1;letter-spacing:-.01em;text-wrap:balance}.scores{display:flex;flex-wrap:wrap;gap:.6rem 2.6rem;margin:0 0 1.6rem}.score{display:grid;grid-template-columns:auto auto;grid-template-rows:auto auto;column-gap:.9rem;align-items:end}.score__name{grid-column:1 / -1;font-family:var(--sans);font-size:13px;font-weight:600;letter-spacing:.06em;color:var(--ink-2)}.score__was{font-family:var(--serif);font-size:clamp(1.6rem,3vw,2.1rem);color:var(--ink-3);text-decoration:line-through;text-decoration-thickness:2px;text-decoration-color:var(--wanted);line-height:1.4;padding-bottom:.32em}.score__now{font-family:var(--serif);font-size:clamp(3.4rem,8.4vw,6.2rem);line-height:1;color:var(--ink);letter-spacing:-.01em}.score__now var{font-size:1em;padding-right:.02em}.score__now sup{font-size:.48em;vertical-align:.95em;color:var(--accent-ink);font-variant-numeric:tabular-nums;letter-spacing:0}.hero__lede{margin:0 0 .9rem;font-size:1.12em;line-height:1.55;max-width:34em}.hero__sub{margin:0;color:var(--ink-2);max-width:34em}.hero__fig{margin:0;min-width:0;display:flex;flex-direction:column;gap:.6rem}#hero-tree{width:100%;aspect-ratio:1 / .86;display:block}.hero__fig figcaption{font-family:var(--sans);font-size:13px;line-height:1.45;color:var(--ink-3);max-width:30em}@media (max-width: 880px){.hero{grid-template-columns:minmax(0,1fr)}#hero-tree{aspect-ratio:1 / .62}}main{padding-bottom:2rem}.chapter{padding:clamp(2.6rem,7vh,4.5rem) var(--gutter) 0;border-top:1px solid var(--rule)}.chapter>*{max-width:var(--col);margin-left:auto;margin-right:auto}.chapter>.panel--wide{max-width:var(--wide)}.chapter>.panel--chart{max-width:52rem}.chapter__head{margin-bottom:1.3rem}.chapter__head .eyebrow{margin-bottom:.45rem}.chapter h2{margin:0;font-family:var(--serif);font-weight:700;font-size:clamp(1.65rem,3.4vw,2.2rem);line-height:1.12;letter-spacing:-.005em;text-wrap:balance}.prose{min-width:0}.prose p{margin:0 0 1em}.prose p:last-child{margin-bottom:0}.prose em{font-style:italic}.hyps{margin:0 0 1em;padding:0;list-style:none;display:grid;gap:.5em}.hyps li{padding:.6em .9em;border-left:3px solid var(--tikz-line);background:var(--tikz);border-radius:0 4px 4px 0}.panel{margin-top:1.8rem;margin-bottom:2rem;padding:clamp(14px,2.4vw,22px);background:var(--panel);border-radius:8px;display:flex;flex-direction:column;gap:14px;min-width:0}.panel figcaption,.cap{margin:0;font-family:var(--sans);font-size:13.5px;line-height:1.5;color:var(--ink-2)}.panel figcaption var,.cap var,.panel figcaption .m{font-size:1.06em}.controls{display:flex;flex-wrap:wrap;align-items:center;gap:8px 10px;font-family:var(--sans);font-size:14px}.controls--top{margin-bottom:2px}button{font-family:var(--sans);font-size:14px;font-weight:600;line-height:1.2;color:var(--ink);background:var(--paper);border:1px solid var(--rule-2);border-radius:6px;padding:7px 12px;cursor:pointer;transition:background-color .15s,border-color .15s,color .15s}button:hover{border-color:var(--ink-3)}button.primary{background:var(--accent);border-color:var(--accent);color:var(--on-accent)}button.primary:hover{filter:brightness(1.08)}button:disabled{opacity:.5;cursor:default}.seg{display:inline-flex;flex-wrap:wrap;border:1px solid var(--rule-2);border-radius:6px;overflow:hidden;background:var(--paper)}.seg button{border:0;border-radius:0;border-right:1px solid var(--rule-2);background:transparent;font-weight:400}.seg button:last-child{border-right:0}.seg button[aria-checked=true]{background:var(--tikz);color:var(--accent-ink);font-weight:600}.check{display:inline-flex;align-items:center;gap:6px;color:var(--ink-2);cursor:pointer}.check input{accent-color:var(--accent);width:16px;height:16px;margin:0}.slider{display:grid;grid-template-columns:auto minmax(90px,1fr) auto;align-items:center;gap:4px 10px;flex:1 1 15rem;min-width:0;color:var(--ink-2)}.slider>span{white-space:nowrap}.slider input{width:100%;accent-color:var(--accent);margin:0}.slider output{min-width:5.5em;text-align:right;font-variant-numeric:tabular-nums;color:var(--ink);font-weight:600}.slider var,.select var{font-size:1.05em}.select{display:inline-flex;align-items:center;gap:8px;color:var(--ink-2)}select{font-family:var(--sans);font-size:14px;color:var(--ink);background:var(--paper);border:1px solid var(--rule-2);border-radius:6px;padding:6px 8px}.readout{margin:0;font-family:var(--sans);font-size:14.5px;line-height:1.55;color:var(--ink);min-height:1.55em}.readout var,.readout .m{font-size:1.06em}.ok{color:var(--good);font-weight:600}.no{color:var(--bad);font-weight:600}.tiles{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(9rem,100%),1fr));gap:10px}.tile{background:var(--paper);border:1px solid var(--rule);border-radius:6px;padding:10px 12px 11px;display:flex;flex-direction:column;gap:3px;min-width:0}.tile__label{font-family:var(--sans);font-size:12.5px;color:var(--ink-2);line-height:1.35}.tile__value{font-family:var(--sans);font-size:22px;font-weight:600;line-height:1.15;color:var(--ink)}.tile__value var,.tile__value .m{font-weight:400}.tile__note{font-family:var(--sans);font-size:12.5px;color:var(--ink-3);line-height:1.35}.tile--key{border-color:var(--tikz-line);background:var(--tikz)}.chart{width:100%;min-width:0;position:relative}.chart svg{display:block;width:100%;height:auto;overflow:visible}.chart text{font-family:var(--sans)}.chart .axis line,.chart .axis path{stroke:var(--rule-2)}.chart .grid line{stroke:var(--rule)}.chart .tick text{fill:var(--ink-3);font-size:12px}.chart .label{fill:var(--ink-2);font-size:12.5px}.chart .label--strong{fill:var(--ink);font-size:13px;font-weight:600}.chart .halo{paint-order:stroke;stroke:var(--panel);stroke-width:4px;stroke-linejoin:round}.legend{display:flex;flex-wrap:wrap;gap:4px 16px;font-family:var(--sans);font-size:13px;color:var(--ink-2);margin:0 0 6px}.legend>span{display:inline-flex;align-items:center;gap:6px}.legend i{display:inline-block;width:16px;height:2px;border-radius:1px;background:currentColor}.legend i.sw{width:11px;height:11px;border-radius:2px}.tip{position:absolute;pointer-events:none;z-index:5;background:var(--paper);color:var(--ink);border:1px solid var(--rule-2);box-shadow:var(--shadow);border-radius:6px;padding:7px 9px;font-family:var(--sans);font-size:12.5px;line-height:1.45;white-space:nowrap;transform:translate(-50%,calc(-100% - 10px));opacity:0;transition:opacity .12s}.tip.show{opacity:1}.tip b{font-weight:600;font-size:13.5px}.tip .k{display:inline-block;width:12px;height:2px;vertical-align:middle;margin-right:6px}.threesum{display:flex;flex-direction:column;gap:12px}.threesum__row{display:grid;grid-template-columns:repeat(var(--n, 14),minmax(0,1fr));gap:4px;padding-top:22px;padding-bottom:22px;position:relative}.ts-tile{position:relative;font-family:var(--serif);font-size:clamp(13px,2.1vw,18px);font-variant-numeric:tabular-nums;text-align:center;padding:8px 0;background:var(--paper);border:1px solid var(--rule);border-radius:4px;transition:background-color .18s,border-color .18s}.ts-tile.i{border-color:var(--ink);box-shadow:inset 0 0 0 1px var(--ink)}.ts-tile.j,.ts-tile.k{background:var(--accent-soft);border-color:var(--accent)}.ts-tile.hit{background:var(--wanted-soft);border-color:var(--wanted);box-shadow:inset 0 0 0 1px var(--wanted)}.ts-tile.done{color:var(--ink-3)}.ts-ptr{position:absolute;left:50%;transform:translate(-50%);font-family:var(--serif);font-style:italic;font-size:15px;color:var(--accent-ink);line-height:1}.ts-ptr.top{top:-20px}.ts-ptr.bot{bottom:-20px;color:var(--ink)}.threesum__readout{margin:0;font-family:var(--sans);font-size:14.5px;min-height:2.9em;color:var(--ink)}.threesum__readout .m{font-size:1.08em}.threesum__meter{height:6px;background:var(--panel-2);border-radius:3px;overflow:hidden}.threesum__meter span{display:block;height:100%;width:0;background:var(--accent);border-radius:3px;transition:width .15s}.web{display:grid;grid-template-columns:minmax(0,1fr) 17rem;gap:14px;align-items:start}.scroll-hint{display:none;margin:0;font-family:var(--sans);font-size:13px;color:var(--ink-3)}@media (max-width: 700px){.scroll-hint{display:block}}.web__scroll{overflow-x:auto;min-width:0;-webkit-overflow-scrolling:touch}#web-svg{display:block;width:100%;min-width:640px;height:auto}.web__info{background:var(--paper);border:1px solid var(--rule);border-radius:6px;padding:12px 14px;font-family:var(--sans);font-size:13.5px;line-height:1.5;color:var(--ink-2);min-height:12rem}.web__info h3{margin:0 0 6px;font-family:var(--serif);font-weight:700;font-size:17px;line-height:1.25;color:var(--ink)}.web__info p{margin:0 0 8px}.web__info ul{margin:0;padding-left:1.1em}.web__info li{margin:0 0 3px}.web__info .now{color:var(--accent-ink);font-weight:600}@media (max-width: 960px){.web{grid-template-columns:minmax(0,1fr)}.web__info{min-height:0}}.wn rect{transition:fill .35s,stroke .35s,opacity .35s}.wn text{transition:fill .35s,opacity .35s}.wn{cursor:pointer}.wn:focus-visible{outline:none}.wn:focus-visible rect{stroke-width:2.5}.we{transition:stroke .35s,opacity .35s}.lop{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1.05fr);gap:18px;align-items:center}.lop__graph svg{display:block;width:100%;height:auto}.lop__mats{min-width:0;overflow-x:auto}@media (max-width: 760px){.lop{grid-template-columns:minmax(0,1fr)}}.mat{border-collapse:separate;border-spacing:2px;font-family:var(--serif);font-size:13px;font-variant-numeric:tabular-nums}.mat td,.mat th{width:22px;height:22px;text-align:center;padding:0;border-radius:3px}.mat th{font-family:var(--sans);font-weight:400;color:var(--ink-3);font-size:11.5px}.mat td{background:var(--paper);color:var(--ink-2);border:1px solid var(--rule)}.mat td.one{color:var(--ink);font-weight:600}.mat td.hl{background:var(--accent-soft);border-color:var(--accent);color:var(--ink)}.mat td.q{border-color:var(--wanted);background:var(--wanted-soft);color:var(--ink);cursor:pointer}.mat td.q.sel{box-shadow:inset 0 0 0 2px var(--wanted);font-weight:700}.falk{display:grid;grid-template-columns:auto auto;grid-template-rows:auto auto;gap:6px 8px;justify-content:start;align-items:end}.falk>.x{grid-column:1;grid-row:2;align-self:start}.falk>.y{grid-column:2;grid-row:1}.falk>.xy{grid-column:2;grid-row:2;align-self:start}.falk .mat th:first-child{width:22px}.mat-cap{font-family:var(--sans);font-size:12px;color:var(--ink-3);margin:2px 0 0;text-align:center}.mat-cap var{font-size:1.1em}.hash{display:grid;grid-template-columns:minmax(0,1.35fr) minmax(0,1fr);gap:18px;align-items:start}.hash svg{display:block;width:100%;height:auto}.hash__side{display:flex;flex-direction:column;gap:12px;min-width:0}@media (max-width: 760px){.hash{grid-template-columns:minmax(0,1fr)}}.htable{width:100%;border-collapse:collapse;font-family:var(--sans);font-size:13px;font-variant-numeric:tabular-nums}.htable th{text-align:left;font-weight:600;color:var(--ink-2);border-bottom:1px solid var(--rule-2);padding:4px 6px}.htable td{padding:4px 6px;border-bottom:1px solid var(--rule)}.htable td.num{text-align:right;font-family:var(--serif);font-size:14px}.htable tr.cand td{background:var(--bad-soft)}.htable tr.zero td{background:var(--wanted-soft)}.strassen{display:grid;grid-template-columns:minmax(0,1fr);gap:18px;align-items:center}.strassen__eqs{display:grid;grid-template-columns:repeat(2,max-content);gap:4px 22px;font-size:16px;white-space:normal;justify-content:center}.strassen__eqs .full{grid-column:1 / -1;margin-top:10px;text-align:center}.strassen__tree{width:100%;max-width:560px;height:auto;display:block;margin:0 auto}@media (max-width: 640px){.strassen__eqs{grid-template-columns:max-content;justify-content:start;font-size:14.5px;gap:3px;overflow-x:auto}.strassen__eqs>span:empty{display:none}.strassen__eqs>span{order:var(--order, 9)}.strassen__eqs .full{grid-column:1;text-align:left}}.sch{display:grid;grid-template-columns:minmax(0,.95fr) minmax(0,1.4fr) minmax(0,1fr);gap:18px;align-items:start}@media (max-width: 1060px){.sch{grid-template-columns:minmax(0,1fr) minmax(0,1fr)}.sch__terms{grid-column:1 / -1;grid-row:2}}@media (max-width: 640px){.sch{grid-template-columns:minmax(0,1fr)}.sch__terms{grid-row:auto}}.sch h4{margin:0 0 8px;font-family:var(--sans);font-size:12.5px;font-weight:600;letter-spacing:.06em;text-transform:uppercase;color:var(--ink-3)}.vec{display:flex;align-items:center;gap:6px;margin-bottom:8px;font-family:var(--serif)}.vec .lab{width:2.4em;font-size:17px}.vec .grid2{display:grid;grid-template-columns:repeat(2,auto);gap:4px}.num-in{width:3.1em;font-family:var(--serif);font-size:16px;text-align:center;padding:4px 2px;border:1px solid var(--rule-2);border-radius:4px;background:var(--paper);color:var(--ink);font-variant-numeric:tabular-nums}.num-in.outer{border-color:var(--rule-2)}.num-in.inner{border-color:var(--tikz-line);background:var(--tikz)}.hatgrid{display:grid;grid-template-columns:repeat(4,auto);gap:2px 4px;font-family:var(--serif);font-size:14.5px;font-variant-numeric:tabular-nums;margin-top:4px;justify-content:start}.hatgrid span{text-align:right;padding:1px 4px;min-width:2.2em}.hatgrid .pad{color:var(--ink-3)}.hatgrid .sum{color:var(--good);border-top:1px solid var(--rule-2)}.hatgrid .sumr{color:var(--good);border-left:1px solid var(--rule-2)}.hats{display:flex;gap:18px;flex-wrap:wrap;margin-top:6px}.hats .hname{font-family:var(--serif);font-size:15px}.terms{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:6px}.term{background:var(--paper);border:1px solid var(--rule);border-radius:5px;padding:6px 8px 7px;font-family:var(--serif);font-size:14px;line-height:1.35;min-width:0}.term__name{font-family:var(--sans);font-size:12px;font-weight:600;color:var(--ink-2)}.term__f{color:var(--ink-2);font-size:13.5px;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.term__v{font-size:17px;color:var(--ink);font-variant-numeric:tabular-nums}.term--p0{grid-column:1 / -1;border-color:var(--tikz-line);background:var(--tikz)}.outs{display:flex;flex-direction:column;gap:10px}.zgrid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:4px}.zc{background:var(--paper);border:1px solid var(--rule);border-radius:4px;padding:4px 6px;font-family:var(--serif);font-size:13.5px;line-height:1.3;font-variant-numeric:tabular-nums;min-width:0}.zc .want{color:var(--ink-3);font-size:12.5px}.zc .err{color:var(--bad);font-size:12.5px}.zc.exact{border-color:var(--good)}.zc.off{border-color:var(--bad);background:var(--bad-soft)}.z0{background:var(--paper);border:1px solid var(--good);border-radius:5px;padding:8px 10px;font-family:var(--serif);font-size:15px;line-height:1.5}.z0 .big{font-size:21px}.count{font-family:var(--sans);font-size:13px;color:var(--ink-2)}.strs{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:20px 24px;align-items:start}@media (max-width: 900px){.strs{grid-template-columns:minmax(0,1fr)}}.strgrid{display:grid;grid-template-columns:4.8em repeat(6,minmax(0,1fr));gap:4px;align-items:center}.strgrid .lvl{font-family:var(--sans);font-size:12px;color:var(--ink-3);text-align:center;padding:3px 0;border-radius:4px;border:1px dashed var(--rule-2);background:transparent;font-weight:400;cursor:pointer}.strgrid .lvl.in{border-style:solid;border-color:var(--tikz-line);color:var(--accent-ink);background:var(--tikz);font-weight:600}.strgrid .rowlab{font-family:var(--sans);font-size:12.5px;color:var(--ink-2)}.cell{font-family:var(--mono);font-size:15px;text-align:center;padding:6px 0;border-radius:4px;border:1px solid var(--rule);background:var(--paper);color:var(--ink);font-weight:400;min-width:0}button.cell{cursor:pointer}.cell.in{background:var(--tikz);border-color:var(--tikz-line)}.cell.o0{background:color-mix(in srgb,var(--order-0) 40%,var(--paper))}.strs__mats{display:flex;flex-direction:column;gap:10px;min-width:0}.strs__mats canvas{display:block;max-width:100%}.mrow{display:flex;align-items:center;gap:10px;flex-wrap:wrap}.mlabel{font-family:var(--sans);font-size:12.5px;color:var(--ink-2);line-height:1.4}.mlabel var{font-size:1.08em}.facts-mini{display:grid;grid-template-columns:repeat(auto-fit,minmax(8.5rem,1fr));gap:8px;margin-top:4px}.leaves{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1.15fr);gap:22px;align-items:start}@media (max-width: 900px){.leaves{grid-template-columns:minmax(0,1fr)}}.lgrid{display:grid;grid-template-columns:2.6em repeat(10,minmax(0,1fr));gap:2px}.lgrid .h{font-family:var(--mono);font-size:11px;color:var(--ink-3);text-align:center;align-self:end;padding-bottom:2px}.lgrid .v{text-align:right;padding-right:4px;align-self:center}.leafbtn{aspect-ratio:1;min-width:0;padding:0;border:0;border-radius:2px;font-family:var(--sans);font-size:10.5px;font-weight:600;line-height:1;cursor:pointer;color:var(--paper)}.leafbtn.o0{background:var(--order-0);color:var(--ink)}.leafbtn.o1{background:var(--order-1)}.leafbtn.o2{background:var(--order-2)}.leafbtn.sel{outline:2px solid var(--wanted);outline-offset:1px}.lkey{display:flex;flex-wrap:wrap;gap:4px 14px;font-family:var(--sans);font-size:12.5px;color:var(--ink-2);margin-top:8px}.lkey span{display:inline-flex;align-items:center;gap:6px}.lkey i{width:11px;height:11px;border-radius:2px;display:inline-block}.lside{display:flex;flex-direction:column;gap:12px;min-width:0}.prods{display:grid;grid-template-columns:repeat(5,minmax(0,1fr));gap:6px}.prod{position:relative;border:1px solid var(--rule-2);border-radius:3px;background:var(--paper);aspect-ratio:1;min-width:0}.prod.unused{border-style:dashed;background:transparent}.prod.served{border-color:var(--wanted)}.prod .q{position:absolute;left:3px;top:2px;font-family:var(--sans);font-size:10.5px;color:var(--ink-3);line-height:1}.prod .dot{position:absolute;width:7px;height:7px;margin:-3.5px 0 0 -3.5px;border-radius:50%;background:var(--wanted);box-shadow:0 0 0 2px var(--paper)}.prod .dot.self{background:var(--accent)}.strline{display:flex;flex-wrap:wrap;gap:4px;align-items:center}.strline .cell{min-width:3.3em;padding:5px 6px}.outlist{font-family:var(--mono);font-size:13.5px;line-height:1.6;color:var(--ink-2);max-height:11.5em;overflow:auto;border:1px solid var(--rule);border-radius:5px;background:var(--paper);padding:6px 10px}.outlist div{white-space:nowrap}.outlist .me{color:var(--accent-ink)}.outlist .dim{color:var(--ink-3)}.run{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:18px;align-items:start}@media (max-width: 860px){.run{grid-template-columns:minmax(0,1fr)}}.run canvas{display:block;width:100%;height:auto;touch-action:none}#run-xy{aspect-ratio:1;cursor:crosshair;border-radius:4px}#run-icicle{aspect-ratio:1;border-radius:4px}.run .cap{margin-top:6px}.busy{opacity:.55;transition:opacity .2s}.facts{margin:1.3em 0 1.4em;display:grid;gap:0;border-top:1px solid var(--rule-2);font-family:var(--sans);font-size:15px;line-height:1.45}.facts div{display:grid;grid-template-columns:10rem minmax(0,1fr);gap:12px;padding:9px 0;border-bottom:1px solid var(--rule)}.facts dt{color:var(--ink-3);font-weight:600}.facts dd{margin:0;color:var(--ink)}@media (max-width: 560px){.facts div{grid-template-columns:minmax(0,1fr);gap:2px}}.foot{border-top:1px solid var(--rule);padding:2rem var(--gutter) 3rem;font-family:var(--sans);font-size:14px;line-height:1.55;color:var(--ink-2)}.foot>*{max-width:var(--col);margin:0 auto .8em}.foot cite{font-style:italic;font-family:var(--text);font-size:1.05em}