.explorer[data-astro-cid-lzjaapbb]{border:1px solid var(--line);background:var(--surface);box-shadow:none;border-radius:6px;margin:2.5rem 0;overflow:hidden}.figure-heading[data-astro-cid-lzjaapbb]{border-bottom:1px solid var(--line);font-family:var(--sans);color:var(--ink);flex-wrap:wrap;justify-content:space-between;gap:.5rem;padding:1.3rem 1.5rem;font-size:.875rem;font-weight:650;display:flex}.interactive-label[data-astro-cid-lzjaapbb]{color:var(--green);font-weight:500}.panels[data-astro-cid-lzjaapbb]{grid-template-columns:1fr 1fr;gap:0;padding:1rem .5rem 0;display:grid}.panel[data-astro-cid-lzjaapbb]{min-width:0}.panel-title[data-astro-cid-lzjaapbb]{text-align:center;color:var(--muted);margin:.5rem 0 0;font-size:1rem}svg[data-astro-cid-lzjaapbb]{width:100%;height:auto;display:block}.controls[data-astro-cid-lzjaapbb]{grid-template-columns:1fr 1fr;gap:1rem 2rem;padding:0 1.5rem 1rem;display:grid}.controls[data-astro-cid-lzjaapbb][hidden]{display:none}label[data-astro-cid-lzjaapbb]{font-family:var(--sans);color:var(--muted);font-size:.875rem}label[data-astro-cid-lzjaapbb] span[data-astro-cid-lzjaapbb]{justify-content:space-between;gap:1rem;display:flex}output[data-astro-cid-lzjaapbb]{font-variant-numeric:tabular-nums;color:var(--green)}input[data-astro-cid-lzjaapbb]{width:100%;accent-color:var(--green);cursor:pointer;min-height:30px;margin:.5rem 0 0}#torus-v[data-astro-cid-lzjaapbb]{accent-color:#887342}button[data-astro-cid-lzjaapbb]{border:1px solid var(--line);color:var(--green);font:500 .875rem var(--sans);cursor:pointer;background:#fff;border-radius:6px;grid-column:1/-1;justify-self:center;min-height:44px;padding:.7rem 1rem}button[data-astro-cid-lzjaapbb]:hover{background:#edf1e9}button[data-astro-cid-lzjaapbb]:focus-visible,input[data-astro-cid-lzjaapbb]:focus-visible{outline:3px solid var(--green);outline-offset:4px}.point-readout[data-astro-cid-lzjaapbb]{text-align:center;color:var(--ink);margin:.5rem 0 1.4rem;padding:0 1rem;font-size:1rem}figcaption[data-astro-cid-lzjaapbb]{border-top:1px solid var(--line);color:var(--muted);padding:1.2rem 1.5rem;font-size:1rem;line-height:1.65}figcaption[data-astro-cid-lzjaapbb] strong[data-astro-cid-lzjaapbb]{color:var(--ink)}@media (width<=620px){.panels[data-astro-cid-lzjaapbb]{grid-template-columns:1fr}.panel[data-astro-cid-lzjaapbb]+.panel[data-astro-cid-lzjaapbb]{border-top:1px solid var(--line);padding-top:1rem}.controls[data-astro-cid-lzjaapbb]{grid-template-columns:1fr;gap:.6rem}.figure-heading[data-astro-cid-lzjaapbb],figcaption[data-astro-cid-lzjaapbb]{padding:1rem}.explorer[data-astro-cid-lzjaapbb]{border-radius:6px}}.math-figure[data-astro-cid-7hz7dzco]{border:1px solid var(--line);background:var(--surface);box-shadow:none;border-radius:6px;margin:2.5rem 0;overflow:hidden}.figure-label[data-astro-cid-7hz7dzco]{font:600 .875rem var(--sans);color:var(--ink);border-bottom:1px solid var(--line);padding:1.25rem 1.5rem}.plot-scroll[data-astro-cid-7hz7dzco]{scrollbar-width:thin;overflow-x:auto}.plot-scroll[data-astro-cid-7hz7dzco]:focus-visible{outline:3px solid var(--green);outline-offset:-3px}svg[data-astro-cid-7hz7dzco]{width:100%;min-width:520px;height:auto;padding:1rem .75rem .25rem;display:block}figcaption[data-astro-cid-7hz7dzco]{border-top:1px solid var(--line);color:var(--muted);padding:1.2rem 1.5rem;font-size:1rem;line-height:1.65}figcaption[data-astro-cid-7hz7dzco] strong[data-astro-cid-7hz7dzco]{color:var(--ink)}@media (width<=600px){.math-figure[data-astro-cid-7hz7dzco]{border-radius:6px}.figure-label[data-astro-cid-7hz7dzco],figcaption[data-astro-cid-7hz7dzco]{padding:1rem}svg[data-astro-cid-7hz7dzco]{padding:.75rem 0}}.torus-article[data-astro-cid-ifkn6k5w]{padding:1.8rem 0 5rem}.back-link[data-astro-cid-ifkn6k5w]{font:500 .875rem var(--sans);color:var(--green);padding:.5rem 0;text-decoration:none;display:inline-block}.article-hero[data-astro-cid-ifkn6k5w]{text-align:left;max-width:1070px;margin:auto;padding:3.5rem 0 4.5rem}.eyebrow[data-astro-cid-ifkn6k5w],.section-number[data-astro-cid-ifkn6k5w],.box-label[data-astro-cid-ifkn6k5w]{font-family:var(--sans);color:var(--green);letter-spacing:.12em;text-transform:uppercase;margin:0 0 1rem;font-size:.78rem;font-weight:700}h1[data-astro-cid-ifkn6k5w]{font-family:var(--serif);letter-spacing:-.04em;color:var(--ink);margin:0;font-size:clamp(2.8rem,6.2vw,5.2rem);font-weight:400;line-height:1.06}h1[data-astro-cid-ifkn6k5w] span[data-astro-cid-ifkn6k5w]{color:var(--green)}.lead[data-astro-cid-ifkn6k5w]{max-width:730px;color:var(--muted);margin:1.8rem 0 1.3rem;font-size:1.25rem;line-height:1.75}.byline[data-astro-cid-ifkn6k5w]{font:400 .875rem/1.6 var(--sans);color:var(--muted);flex-wrap:wrap;justify-content:flex-start;gap:.65rem;display:flex}.hero-equation[data-astro-cid-ifkn6k5w]{border:1px solid var(--line);background:var(--surface);width:fit-content;max-width:100%;box-shadow:none;border-radius:6px;margin:2rem 0 0;padding:.6rem 2rem;font-size:clamp(1.1rem,2vw,1.4rem);display:block;overflow-x:auto}.article-layout[data-astro-cid-ifkn6k5w]{grid-template-columns:205px minmax(0,1fr);align-items:start;gap:3.5rem;max-width:1070px;margin:0 auto;display:grid}.contents[data-astro-cid-ifkn6k5w]{padding-top:.3rem;position:sticky;top:2rem}.contents[data-astro-cid-ifkn6k5w] .eyebrow[data-astro-cid-ifkn6k5w]{color:var(--muted);font-size:.75rem}.contents[data-astro-cid-ifkn6k5w] ol[data-astro-cid-ifkn6k5w]{margin:0 0 1.8rem;padding:0;list-style:none}.contents[data-astro-cid-ifkn6k5w] li[data-astro-cid-ifkn6k5w]{margin:0 0 .15rem}.contents[data-astro-cid-ifkn6k5w] li[data-astro-cid-ifkn6k5w] a[data-astro-cid-ifkn6k5w]{font:500 .875rem/1.45 var(--sans);color:var(--muted);gap:.65rem;padding:.7rem 0;text-decoration:none;display:flex}.contents[data-astro-cid-ifkn6k5w] li[data-astro-cid-ifkn6k5w] a[data-astro-cid-ifkn6k5w] span[data-astro-cid-ifkn6k5w]{color:var(--muted);font-variant-numeric:tabular-nums;padding-top:.1rem;font-size:.75rem}.contents[data-astro-cid-ifkn6k5w] li[data-astro-cid-ifkn6k5w] a[data-astro-cid-ifkn6k5w]:hover{color:var(--green)}.contents[data-astro-cid-ifkn6k5w] a[data-astro-cid-ifkn6k5w]:after{display:none}.source-link[data-astro-cid-ifkn6k5w]{border-top:1px solid var(--line);color:var(--green);font:500 .875rem/1.6 var(--sans);padding-top:1.3rem;text-decoration:none;display:inline-block}.article-body[data-astro-cid-ifkn6k5w]{min-width:0;color:var(--ink);font-size:1.12rem;line-height:1.82}.article-body[data-astro-cid-ifkn6k5w] p[data-astro-cid-ifkn6k5w]{margin:.9rem 0 1.2rem}.article-body[data-astro-cid-ifkn6k5w] strong[data-astro-cid-ifkn6k5w]{color:var(--ink)}.article-body[data-astro-cid-ifkn6k5w] a[data-astro-cid-ifkn6k5w]{color:var(--green);text-underline-offset:3px}.opening[data-astro-cid-ifkn6k5w]{border-bottom:1px solid var(--line);margin:0 0 3.5rem;padding:0 0 1.8rem;font-size:1.18rem}.opening[data-astro-cid-ifkn6k5w] p[data-astro-cid-ifkn6k5w]:first-child{margin-top:0}section[data-astro-cid-ifkn6k5w]{margin:0 0 4.5rem;scroll-margin-top:2rem}.article-body[data-astro-cid-ifkn6k5w] .section-number[data-astro-cid-ifkn6k5w]{margin:0 0 .7rem;font-size:.75rem;line-height:1.5}h2[data-astro-cid-ifkn6k5w]{font-family:var(--serif);letter-spacing:-.025em;color:var(--ink);text-wrap:balance;margin:0 0 1.6rem;font-size:clamp(1.85rem,3vw,2.6rem);font-weight:400;line-height:1.15}h3[data-astro-cid-ifkn6k5w]{font-family:var(--serif);color:var(--ink);letter-spacing:-.015em;margin:2.3rem 0 1rem;font-size:1.6rem;font-weight:400;line-height:1.35}.definition[data-astro-cid-ifkn6k5w],.theorem[data-astro-cid-ifkn6k5w]{background:var(--surface);border:1px solid var(--line);border-left:3px solid var(--green);border-radius:0 4px 4px 0;min-width:0;margin:1.8rem 0;padding:1.2rem 1.4rem}.theorem[data-astro-cid-ifkn6k5w]{background:#edf1e9}.article-body[data-astro-cid-ifkn6k5w] .box-label[data-astro-cid-ifkn6k5w]{margin:0 0 .7rem;font-size:.75rem;line-height:1.5}.theorem[data-astro-cid-ifkn6k5w] p[data-astro-cid-ifkn6k5w]:last-child,.definition[data-astro-cid-ifkn6k5w] p[data-astro-cid-ifkn6k5w]:last-child{margin-bottom:0}.proof[data-astro-cid-ifkn6k5w]{border-top:1px solid var(--line);border-bottom:1px solid var(--line);background:var(--surface);margin:1.6rem 0}.proof[data-astro-cid-ifkn6k5w]+.proof[data-astro-cid-ifkn6k5w]{border-top:0;margin-top:-1.6rem}.proof[data-astro-cid-ifkn6k5w] summary[data-astro-cid-ifkn6k5w]{cursor:pointer;min-height:52px;font:600 .9375rem/1.6 var(--sans);color:var(--green);padding:.85rem .1rem}.proof[data-astro-cid-ifkn6k5w] summary[data-astro-cid-ifkn6k5w]::marker,.proof[data-astro-cid-ifkn6k5w] summary[data-astro-cid-ifkn6k5w]:hover{color:var(--green)}.proof[data-astro-cid-ifkn6k5w]>div[data-astro-cid-ifkn6k5w]{padding:0 .25rem .7rem;font-size:1.06rem}.proof[data-astro-cid-ifkn6k5w]>div[data-astro-cid-ifkn6k5w] p[data-astro-cid-ifkn6k5w]:first-child{margin-top:.3rem}.lemma[data-astro-cid-ifkn6k5w]{border-left:2px solid #b0bba8;padding:.4rem 0 .4rem 1rem}.identity-list[data-astro-cid-ifkn6k5w]{background:var(--surface);border:1px solid var(--line);border-radius:6px;margin:1.8rem 0;padding:.3rem 1.3rem}.identity-list[data-astro-cid-ifkn6k5w]>div[data-astro-cid-ifkn6k5w]{padding:.8rem 0}.identity-list[data-astro-cid-ifkn6k5w]>div[data-astro-cid-ifkn6k5w]+div[data-astro-cid-ifkn6k5w]{border-top:1px solid var(--line)}.identity-name[data-astro-cid-ifkn6k5w]{font:600 .8125rem var(--sans);color:var(--green)}.result[data-astro-cid-ifkn6k5w]{background:var(--green);color:#edf1e9;box-shadow:none;border-radius:6px;margin:2rem 0;padding:1.6rem 1.5rem}.result[data-astro-cid-ifkn6k5w] .box-label[data-astro-cid-ifkn6k5w]{color:#d8e2d2}.result[data-astro-cid-ifkn6k5w] .math-block{color:var(--surface)}.result[data-astro-cid-ifkn6k5w] p[data-astro-cid-ifkn6k5w]:last-child{margin-bottom:0}.closing-result[data-astro-cid-ifkn6k5w]{border:1px solid var(--line);border-top:3px solid var(--green);background:#edf1e9;border-radius:4px;margin:3rem 0 0;padding:2rem}.closing-result[data-astro-cid-ifkn6k5w] h3[data-astro-cid-ifkn6k5w]{margin:.6rem 0 1rem;font-size:1.8rem;line-height:1.2}.closing-result[data-astro-cid-ifkn6k5w] p[data-astro-cid-ifkn6k5w]{margin-bottom:1rem}.appendix[data-astro-cid-ifkn6k5w]{border-top:1px solid var(--line);padding-top:2.5rem}.appendix[data-astro-cid-ifkn6k5w] h2[data-astro-cid-ifkn6k5w],.references[data-astro-cid-ifkn6k5w] h2[data-astro-cid-ifkn6k5w]{font-size:1.75rem}.references[data-astro-cid-ifkn6k5w]{border-top:1px solid var(--line);padding-top:2.5rem;font-size:1rem}.pdf-button[data-astro-cid-ifkn6k5w]{background:var(--green);font:600 .875rem/1.5 var(--sans);border-radius:6px;align-items:center;gap:1.2rem;min-height:46px;padding:.7rem 1rem;text-decoration:none;display:inline-flex;color:#fff!important}.pdf-button[data-astro-cid-ifkn6k5w]:after{display:none}.pdf-button[data-astro-cid-ifkn6k5w]:hover{background:#274a3d}.bibliography[data-astro-cid-ifkn6k5w]{margin:2rem 0;padding-left:1.25rem}.bibliography[data-astro-cid-ifkn6k5w] li[data-astro-cid-ifkn6k5w]{margin-bottom:.85rem;padding-left:.3rem;line-height:1.65}.article-body[data-astro-cid-ifkn6k5w] .math-block{scrollbar-width:thin;max-width:100%;padding:.4rem 0;font-size:.97em;overflow:auto hidden}.article-body[data-astro-cid-ifkn6k5w] .katex-display{margin:.55em 0}.article-body[data-astro-cid-ifkn6k5w] .katex-display>.katex{white-space:nowrap}a[data-astro-cid-ifkn6k5w]:focus-visible,summary[data-astro-cid-ifkn6k5w]:focus-visible,.wide-equation[data-astro-cid-ifkn6k5w]:focus-visible{outline:3px solid var(--green);outline-offset:4px;border-radius:3px}@media (width<=1050px){.article-layout[data-astro-cid-ifkn6k5w]{grid-template-columns:1fr;gap:2.5rem;max-width:800px}.contents[data-astro-cid-ifkn6k5w]{background:var(--surface);border:1px solid var(--line);border-radius:6px;padding:1.3rem 1.5rem;position:static}.contents[data-astro-cid-ifkn6k5w] ol[data-astro-cid-ifkn6k5w]{grid-template-columns:1fr 1fr;gap:0 1rem;margin-bottom:.8rem;display:grid}.source-link[data-astro-cid-ifkn6k5w]{border:0;padding:.4rem 0}.contents[data-astro-cid-ifkn6k5w] .eyebrow[data-astro-cid-ifkn6k5w]{margin-bottom:.5rem}}@media (width<=600px){.article-hero[data-astro-cid-ifkn6k5w]{padding:2.5rem 0 3rem}.lead[data-astro-cid-ifkn6k5w]{font-size:1.1rem;line-height:1.75}.byline[data-astro-cid-ifkn6k5w]{gap:.2rem .5rem;font-size:.8125rem}.hero-equation[data-astro-cid-ifkn6k5w]{padding:.4rem .8rem}.article-body[data-astro-cid-ifkn6k5w]{font-size:1.06rem;line-height:1.8}.contents[data-astro-cid-ifkn6k5w]{padding:1rem}.contents[data-astro-cid-ifkn6k5w] ol[data-astro-cid-ifkn6k5w]{grid-template-columns:1fr}.contents[data-astro-cid-ifkn6k5w] li[data-astro-cid-ifkn6k5w] a[data-astro-cid-ifkn6k5w]{min-height:40px;padding:.4rem 0}section[data-astro-cid-ifkn6k5w]{margin-bottom:3.5rem}.definition[data-astro-cid-ifkn6k5w],.theorem[data-astro-cid-ifkn6k5w],.result[data-astro-cid-ifkn6k5w]{padding:1rem}.closing-result[data-astro-cid-ifkn6k5w]{padding:1.3rem}.article-body[data-astro-cid-ifkn6k5w] .math-block{font-size:.91em}.opening[data-astro-cid-ifkn6k5w]{margin-bottom:2.5rem;font-size:1.1rem}.article-hero[data-astro-cid-ifkn6k5w] h1[data-astro-cid-ifkn6k5w]{font-size:clamp(2.5rem,10vw,3.5rem)}}@media (prefers-reduced-motion:reduce){.torus-article[data-astro-cid-ifkn6k5w] *{scroll-behavior:auto!important;transition:none!important}}@media print{.contents[data-astro-cid-ifkn6k5w],.back-link[data-astro-cid-ifkn6k5w],.pdf-button[data-astro-cid-ifkn6k5w]{display:none}.article-layout[data-astro-cid-ifkn6k5w]{display:block}.article-hero[data-astro-cid-ifkn6k5w]{padding:1rem 0}.article-body[data-astro-cid-ifkn6k5w]{font-size:11pt}.article-body[data-astro-cid-ifkn6k5w] figure{break-inside:avoid}.article-body[data-astro-cid-ifkn6k5w] .controls{display:none}.result[data-astro-cid-ifkn6k5w]{background:var(--paper);color:var(--ink)}.result[data-astro-cid-ifkn6k5w] .box-label[data-astro-cid-ifkn6k5w],.result[data-astro-cid-ifkn6k5w] .math-block{color:var(--ink)}}