@font-face{font-family:STIX Two Text;font-style:normal;font-weight:400 700;font-display:swap;src:url(/fonts/stix-two-text-latin-normal.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:STIX Fallback;src:local(Georgia);size-adjust:96.25%;ascent-override:78.96%;descent-override:24.93%;line-gap-override:0%}@font-face{font-family:STIX Two Text;font-style:italic;font-weight:400 700;font-display:swap;src:url(/fonts/stix-two-text-latin-italic.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}:root{color-scheme:light;--paper:#faf8f4;--paper-raised:#fff;--paper-sunken:#f0ece4;--rule:#dcd6ca;--rule-strong:#beb6a6;--ink:#16181d;--ink-2:#444a54;--ink-3:#656b75;--accent:#2740b0;--accent-hover:#1b2e86;--accent-tint:#eaedfb;--visited:#6b3fa0;--definition:#0f6e63;--theorem:#6b3fa0;--conjecture:#8f5a08;--counterexample:#a32319;--mark:#fbefc0;--series-1:#0072b2;--series-2:#d55e00;--series-3:#009e73;--series-4:#b8608f;--series-5:#16181d;--seq-0:#00204c;--seq-1:#0a3268;--seq-2:#38526e;--seq-3:#5b656f;--seq-4:#787571;--seq-5:#99876b;--seq-6:#bd9b60;--seq-7:#e2b14e;--seq-8:#ffea46;--font-body:"STIX Two Text", "STIX Fallback", Georgia, "Times New Roman", serif;--font-ui:system-ui, -apple-system, "Segoe UI", sans-serif;--font-mono:ui-monospace, SFMono-Regular, "Cascadia Mono", Menlo, monospace;--measure:62ch;--gutter:1.5rem;--step:.25rem}[data-theme=dark]{color-scheme:dark;--paper:#0f1216;--paper-raised:#161a20;--paper-sunken:#090b0e;--rule:#282e38;--rule-strong:#3c4450;--ink:#e6e3dc;--ink-2:#a9b0ba;--ink-3:#868d98;--accent:#93aeff;--accent-hover:#b7c8ff;--accent-tint:#171e38;--visited:#c4a2ee;--definition:#4fc8b6;--theorem:#c4a2ee;--conjecture:#e3a84c;--counterexample:#f0897f;--mark:#3b3416;--series-1:#63b3e8;--series-2:#f08a4b;--series-3:#43c89c;--series-4:#e39ac4;--series-5:#e6e3dc;--seq-0:#42586f;--seq-1:#5a646f;--seq-2:#6f7070;--seq-3:#857c6f;--seq-4:#9d896a;--seq-5:#b79863;--seq-6:#d2a758;--seq-7:#ecbb4a;--seq-8:#ffea46}*,:before,:after{box-sizing:border-box}body{background:var(--paper);color:var(--ink);font-family:var(--font-body);text-rendering:optimizelegibility;margin:0;font-size:clamp(1.0625rem,.95rem + .42vw,1.3125rem);line-height:1.65}.shell{max-width:calc(var(--measure) + var(--gutter) * 2);padding:calc(var(--step) * 12) var(--gutter);margin-inline:auto}h1,h2,h3{letter-spacing:-.01em;line-height:1.25}a{color:var(--accent);text-underline-offset:2px;text-decoration-thickness:1px}a:hover{color:var(--accent-hover)}a:visited{color:var(--visited)}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}code,pre{font-family:var(--font-mono);font-size:.9em}pre{background:var(--paper-sunken);padding:calc(var(--step) * 4);border-radius:4px;overflow-x:auto}hr{border:0;border-top:1px solid var(--rule);margin:calc(var(--step) * 10) 0}.meta{font-family:var(--font-ui);color:var(--ink-2);font-size:.875rem}.math-display{max-width:100%;display:block}mjx-container[display=true]{padding-block:calc(var(--step) * 2)}figure.plot{margin:calc(var(--step) * 11) 0;width:min(94vw,62rem);margin-inline:calc(50% - min(47vw,31rem))}.chart2d{background:var(--paper-raised);border:1px solid var(--rule);aspect-ratio:1/.56;touch-action:none;border-radius:5px;overflow:hidden}.chart2d.is-live{aspect-ratio:auto;cursor:crosshair}.chart2d.is-panning{cursor:grabbing}.chart2d svg{width:100%;height:auto;display:block}.chart-legend{gap:calc(var(--step) * 2) calc(var(--step) * 6);margin:calc(var(--step) * 3) 0 0;font-family:var(--font-ui);color:var(--ink-2);flex-wrap:wrap;padding:0;font-size:.8125rem;list-style:none;display:flex}.chart-legend li{align-items:center;gap:calc(var(--step) * 2);display:flex}.chart-legend svg{flex:none;width:34px;height:12px}.scene3d{background:var(--paper-raised);border:1px solid var(--rule);aspect-ratio:1/.62;touch-action:none;border-radius:5px;position:relative;overflow:hidden}.scene3d.is-live{cursor:grab;aspect-ratio:auto}.scene3d.is-live:active{cursor:grabbing}.scene3d canvas{display:block}.scene3d-labels{pointer-events:none;position:absolute;inset:0;overflow:hidden}.scene3d-tick,.scene3d-axis{font-family:var(--font-ui);color:var(--ink-3);white-space:nowrap;user-select:none}.scene3d-tick{font-variant-numeric:tabular-nums;font-size:.6875rem}.scene3d-axis{color:var(--ink-2);font-size:.8125rem;font-style:italic}.figure-fallback{font-family:var(--font-ui);color:var(--ink-3);text-align:center;padding:calc(var(--step) * 12) var(--step);margin:0;font-size:.875rem}.is-live .figure-fallback{display:none}.figure-hint{font-family:var(--font-ui);letter-spacing:.02em;color:var(--ink-3);margin:calc(var(--step) * 2) 0 0;visibility:hidden;font-size:.75rem}.is-live+.figure-hint,.chart-legend+.figure-hint{visibility:visible}figure.plot figcaption{font-family:var(--font-ui);color:var(--ink-2);margin-top:calc(var(--step) * 3);max-width:46rem;font-size:.875rem;line-height:1.5}figure.plot figcaption b{color:var(--ink);font-weight:600}.theme-toggle{align-items:center;gap:calc(var(--step) * 2);margin-left:auto;margin-bottom:calc(var(--step) * 6);padding:calc(var(--step) * 1.5) calc(var(--step) * 3);border:1px solid var(--rule);color:var(--ink-2);font-family:var(--font-ui);cursor:pointer;background:0 0;border-radius:4px;font-size:.8125rem;display:flex}.theme-toggle:hover{border-color:var(--rule-strong);color:var(--ink)}.theme-toggle svg{fill:none;stroke:currentColor;stroke-width:1.7px;stroke-linecap:round;width:15px;height:15px}.theme-toggle .icon-sun,[data-theme=dark] .theme-toggle .icon-moon{display:none}[data-theme=dark] .theme-toggle .icon-sun{display:block}mark{background:var(--mark);color:inherit;border-radius:2px;padding:0 .15em}.callout{--callout-colour:var(--ink-2);border-left:3px solid var(--callout-colour);background:var(--paper-raised);padding:calc(var(--step) * 4) calc(var(--step) * 5);margin:calc(var(--step) * 7) 0;border-radius:0 4px 4px 0}.callout.is-definition{--callout-colour:var(--definition)}.callout.is-theorem{--callout-colour:var(--theorem)}.callout.is-conjecture{--callout-colour:var(--conjecture)}.callout.is-counterexample{--callout-colour:var(--counterexample)}.callout-label{align-items:center;gap:calc(var(--step) * 2);font-family:var(--font-ui);letter-spacing:.11em;text-transform:uppercase;color:var(--callout-colour);margin:0 0 calc(var(--step) * 2);font-size:.75rem;font-weight:600;display:flex}.callout-sigil{font-family:var(--font-mono);letter-spacing:0;font-weight:700}.callout-sigil:before{content:"["}.callout-sigil:after{content:"]"}.callout>:last-child{margin-bottom:0}.callout-qed{text-align:right;color:var(--ink-2);margin-top:-1.5em;line-height:1;display:block}