:root{--bg:#fbfbf9;--surface:#f2f2ee;--fg:#1b1d21;--muted:#5f6570;--line:#e0e0da;--accent:#2b59c3;--theorem:#2b59c3;--definition:#2f855a;--example:#c05621;--remark:#718096;--font-text:Charter, "Bitstream Charter", "Sitka Text", Cambria, serif;--font-ui:system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--measure:44rem;color-scheme:light dark}@media (prefers-color-scheme:dark){:root{--bg:#131519;--surface:#1b1e24;--fg:#e4e4e0;--muted:#9aa1ad;--line:#2d313a;--accent:#86a8ff;--theorem:#86a8ff;--definition:#68d391;--example:#f6ad55;--remark:#a0aec0}}*,:before,:after{box-sizing:border-box}html{scroll-behavior:smooth}body{background:var(--bg);color:var(--fg);font:1.125rem/1.65 var(--font-text);margin:0}a{color:var(--accent);text-underline-offset:.15em}h1,h2,h3{font-family:var(--font-ui);letter-spacing:-.01em;line-height:1.25}main{padding:2rem 1.25rem 4rem}.site-header,.site-footer{max-width:72rem;font-family:var(--font-ui);justify-content:space-between;align-items:center;margin:0 auto;padding:1rem 1.25rem;display:flex}.site-header{border-bottom:1px solid var(--line)}.site-footer{color:var(--muted);justify-content:center;font-size:.875rem}.site-header nav{gap:1.25rem;display:flex}.site-header nav a{color:var(--muted);text-decoration:none}.site-header nav a:hover{color:var(--fg)}.brand{color:var(--fg);align-items:center;gap:.6rem;font-weight:650;text-decoration:none;display:inline-flex}.eyebrow{color:var(--muted);font:600 .8rem var(--font-ui);letter-spacing:.06em;text-transform:uppercase;margin:0}.button{background:var(--accent);color:var(--bg);font:600 .9rem var(--font-ui);border-radius:8px;align-items:baseline;gap:.5rem;padding:.55rem 1rem;text-decoration:none;display:inline-flex}.button:hover{filter:brightness(1.1)}.button span{opacity:.8;font-weight:400}.button.secondary{border:1px solid var(--accent);color:var(--accent);background:0 0;padding:calc(.55rem - 1px) calc(1rem - 1px)}.downloads{flex-wrap:wrap;gap:.5rem;display:flex}.hero,.notes,.contact{max-width:var(--measure);flex-direction:column;justify-content:center;min-height:calc(100svh - 4rem);margin:0 auto;display:flex}.hero .button{color:var(--accent);background:0 0;font-size:1.05rem}.contact-list{border-top:1px solid var(--line);grid-template-columns:5.5rem 1fr;align-items:baseline;gap:1rem;margin:0;padding:1.25rem 0;display:grid}.contact-list dd{margin:0}.hero{text-align:center}.hero h1{margin:1.5rem 0 2rem;font-size:clamp(2.25rem,6vw,3.25rem)}.lead{color:var(--muted);margin:0 0 3rem;font-size:1.25rem}.note-list{margin:0;padding:0;list-style:none}.note-item{border-top:1px solid var(--line);grid-template-columns:5.5rem 1fr auto;align-items:baseline;gap:1rem;padding:1.25rem 0;display:grid}.note-item h3{margin:0;font-size:1.2rem}.note-item h3 a{color:inherit;text-decoration:none}.note-item h3 a:hover{color:var(--accent)}.note-item p{color:var(--muted);margin:.25rem 0;font-size:1rem}.note-item time{color:var(--muted);font:.85rem var(--font-ui)}.pdf-link{border:1px solid var(--line);font:600 .8rem var(--font-ui);border-radius:6px;padding:.2rem .6rem;text-decoration:none}.pdf-link:hover{border-color:var(--accent)}.draft{background:var(--example);color:var(--bg);vertical-align:middle;border-radius:4px;margin-left:.5rem;padding:.1rem .4rem;font-size:.7rem}@media (width<=36rem){.note-item{grid-template-columns:1fr auto}.note-item .eyebrow{grid-column:1/-1}}.note{max-width:var(--measure);margin:0 auto}.note-header{margin-bottom:2rem}.notes-header{text-align:center}.note-header h1{margin:.4rem 0 1.25rem;font-size:clamp(2rem,5vw,2.75rem)}.toc{border:1px solid var(--line);font:.875rem/1.5 var(--font-ui);border-radius:8px;margin-bottom:2rem;padding:.75rem 1rem}.toc p{color:var(--muted);letter-spacing:.06em;text-transform:uppercase;margin:0 0 .4rem;font-size:.75rem;font-weight:600}.toc ol{margin:0;padding-left:1.1rem}.toc a{color:var(--fg);text-decoration:none}.toc a:hover{color:var(--accent)}@media (width>=72rem){.note{grid-template-columns:minmax(0, var(--measure)) 13rem;max-width:calc(var(--measure) + 16rem);column-gap:3rem;display:grid}.note>:not(.toc){grid-column:1}.toc{border:0;grid-area:2/2/span 2;align-self:start;padding:0;position:sticky;top:2rem}}.pager{border-top:1px solid var(--line);font-family:var(--font-ui);justify-content:space-between;gap:1rem;margin-top:4rem;padding-top:1.5rem;display:flex}.pager a{flex-direction:column;text-decoration:none;display:flex}.pager small{color:var(--muted)}.pager .next{text-align:right;margin-left:auto}.prose h2{margin:2.5em 0 .6em;font-size:1.5rem}.prose h3{margin:2em 0 .5em;font-size:1.2rem}.prose :is(h2,h3,[id]){scroll-margin-top:1.5rem}.prose img{max-width:100%;height:auto}.image-pair{align-items:center;gap:1rem;margin:1.5rem 0 .5rem;display:flex}.image-pair figure{text-align:center;flex:1 1 0;margin:0}.image-pair figcaption{color:var(--muted);font-size:.9em}.image-pair>span{font-size:1.75rem}@media (width<=560px){.image-pair{flex-direction:column}.image-pair>span{rotate:90deg}}.katex{font-size:1.05em}.katex-display{padding-block:.25em;overflow:auto hidden}.block{--kind:var(--theorem);border-left:3px solid var(--kind);background:var(--surface);border-radius:0 8px 8px 0;margin:1.5rem 0;padding:.9rem 1.1rem}.block-definition{--kind:var(--definition)}.block-example,.block-exercise{--kind:var(--example)}.block-remark{--kind:var(--remark)}.block>:first-child{margin-top:0}.block>:last-child{margin-bottom:0}.block-head{font:.95rem var(--font-ui);margin-bottom:.35rem}.block-head strong{color:var(--kind)}.block-proof{background:0 0;border:0;padding:0}.block-proof .block-head strong{color:inherit;font-style:italic;font-weight:600}.block-proof:after{content:"∎";text-align:right;display:block}.viz{--col-1:#e8590c;--col-2:#2f9e44;--col-3:#7950f2;border:1px solid var(--line);background:var(--surface);border-radius:12px;margin:2rem 0;padding:1rem}.viz figcaption{font:.95rem var(--font-ui);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.75rem;margin-top:.75rem;display:flex}.viz output{font-variant-numeric:tabular-nums}.viz button{border:1px solid var(--line);background:var(--bg);color:var(--fg);font:inherit;cursor:pointer;border-radius:6px;padding:.35rem .8rem}.viz button:hover{border-color:var(--accent)}.viz input{border:1px solid var(--line);background:var(--bg);width:4.5em;color:inherit;font:inherit;text-align:right;border-radius:4px;margin:1px 0;padding:0 .3rem}.viz .col-1{color:var(--col-1)}.viz .col-2{color:var(--col-2)}.viz .col-3{color:var(--col-3)}.viz .ghost{opacity:.45}.viz .matrix{vertical-align:middle;text-align:right;font-variant-numeric:tabular-nums;border-inline:1.5px solid;border-radius:4px;grid-template-columns:auto auto;column-gap:.8em;padding:0 .4em;line-height:1.35;display:inline-grid}.viz .matrix.column{grid-template-columns:auto}.viz .equations{grid-template-columns:auto 1fr;row-gap:.9rem;padding:.25rem 0;display:grid;overflow-x:auto}.viz .equation{grid-column:1/-1;grid-template-columns:subgrid;white-space:nowrap;align-items:center;column-gap:.5em;display:grid}.viz .equation>:first-child{text-align:right}.viz .rhs{align-items:center;gap:.45em;display:flex}.viz .step{opacity:0;visibility:hidden;transition:opacity .5s,visibility .5s}.viz .step.shown{opacity:1;visibility:visible}.viz .active{background:color-mix(in srgb, var(--accent) 16%, transparent);border-radius:4px}.viz button:disabled{opacity:.4;cursor:default}@media (prefers-reduced-motion:reduce){.viz .step{transition:none}}.viz .arrow{fill:currentColor;stroke:currentColor;stroke-width:3px;stroke-linecap:round;stroke-linejoin:round}.viz .handle{fill:currentColor;fill-opacity:.2;stroke:currentColor;stroke-width:1.5px;cursor:grab;touch-action:none}.viz .handle:active{cursor:grabbing}.viz .handle:focus{outline:none}.viz .handle:focus-visible{fill-opacity:.45;stroke-width:3px}.svd-bg[data-astro-cid-c725pqmp]{display:none}@media (width>=60rem) and (prefers-reduced-motion:no-preference){.svd-bg[data-astro-cid-c725pqmp]{z-index:-1;pointer-events:none;user-select:none;color:var(--fg);opacity:.07;font:1.5rem/1.4 var(--font-text);flex-direction:column;justify-content:center;align-items:center;display:flex;position:fixed;inset:0}}canvas[data-astro-cid-c725pqmp]{width:min(62vh,38rem);height:min(62vh,38rem)}.equation[data-astro-cid-c725pqmp]{align-items:center;gap:1.25rem;display:flex}figure[data-astro-cid-c725pqmp]{opacity:.5;grid-template-columns:auto auto;place-items:center;column-gap:.3em;margin:0;transition:opacity .6s;display:grid}figure[data-astro-cid-c725pqmp].active{opacity:1}figure[data-astro-cid-c725pqmp] .matrix[data-astro-cid-c725pqmp],figcaption[data-astro-cid-c725pqmp]{grid-column:-2}figcaption[data-astro-cid-c725pqmp]{margin-top:.4em;font-style:italic}.matrix[data-astro-cid-c725pqmp]{grid-template-columns:repeat(var(--cols), auto);text-align:right;font-variant-numeric:tabular-nums;border-inline:2px solid;border-radius:6px;column-gap:.9em;padding:.1em .45em;display:grid}