: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}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 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}.hero,.notes{max-width:var(--measure);margin:0 auto}.hero{text-align:center}.hero h1{margin:1.5rem 0 .5rem;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}.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}.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{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 .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 .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}