@font-face{font-family:Atkinson Next;src:url(/fonts/atkinson-next-400.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Atkinson Next;src:url(/fonts/atkinson-next-400-italic.woff2) format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:Atkinson Next;src:url(/fonts/atkinson-next-700.woff2) format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:Atkinson Next;src:url(/fonts/atkinson-next-700-italic.woff2) format("woff2");font-weight:700;font-style:italic;font-display:swap}@font-face{font-family:Atkinson Mono;src:url(/fonts/atkinson-mono-400.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}:root{--paper: #F3F5F8;--ink: #1A2330;--muted: #566273;--rule: #D3DAE3;--rule-strong: #8F9BAB;--link: #1D4DB8;--mark: #FFE066;--mark-ink: #1A2330;--code-bg: #E4E9F0;--measure: 38rem;color-scheme:light}@media(prefers-color-scheme:dark){:root{--paper: #10151C;--ink: #E4E9EF;--muted: #9AA5B4;--rule: #28313D;--rule-strong: #5B6778;--link: #93B2FF;--mark: rgba(255, 214, 90, .3);--mark-ink: #FFF4C8;--code-bg: #1A212B;color-scheme:dark}}*,*:before,*:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;text-size-adjust:100%}body{margin:0;background:var(--paper);color:var(--ink);font-family:Atkinson Next,system-ui,-apple-system,Segoe UI,sans-serif;font-size:1.1875rem;line-height:1.62;font-kerning:normal;-webkit-font-smoothing:antialiased}.sym{font-family:system-ui,-apple-system,Segoe UI,sans-serif}a{color:var(--link);text-decoration-thickness:1px;text-underline-offset:.18em}a:hover{text-decoration-thickness:2px}:focus-visible{outline:3px solid var(--link);outline-offset:3px;border-radius:3px}.skip{position:absolute;left:-9999px}.skip:focus{left:1rem;top:1rem;background:var(--paper);padding:.4rem .7rem;z-index:10}.site-head{max-width:72rem;margin:0 auto;padding:1.5rem 1.25rem 0;display:flex;justify-content:space-between;align-items:baseline}.site-name{font-weight:700;font-size:1rem;color:var(--ink);text-decoration:none;letter-spacing:-.005em}.site-name:hover{text-decoration:underline}mark{color:var(--mark-ink);background:linear-gradient(176deg,transparent 0 10%,var(--mark) 10% 88%,transparent 88%);padding:0 .12em;margin:0 -.04em;-webkit-box-decoration-break:clone;box-decoration-break:clone;border-radius:.18em .3em .22em .35em}.home{max-width:calc(var(--measure) + 2.5rem);margin:0 auto;padding:4.5rem 1.25rem 3rem}.home h1{font-size:clamp(2.6rem,9vw,4.6rem);line-height:.98;letter-spacing:-.035em;margin:0 0 1.4rem}.home .intro{font-size:1.3rem;line-height:1.5;color:var(--ink);margin:0 0 3.5rem;max-width:32rem}.home h2{font-size:1rem;color:var(--muted);font-weight:400;margin:0 0 1rem}.post-list{list-style:none;margin:0;padding:0;border-top:1px solid var(--rule)}.post-list li{padding:1.4rem 0 1.5rem;border-bottom:1px solid var(--rule)}.post-list a.title{display:block;font-size:1.45rem;line-height:1.25;font-weight:700;letter-spacing:-.012em;color:var(--ink);text-decoration:none}.post-list a.title:hover{text-decoration:underline;text-decoration-color:var(--rule-strong)}.post-list .when{display:block;font-size:.95rem;color:var(--muted);margin:.35rem 0 .5rem}.post-list p{margin:0;color:var(--muted);font-size:1.05rem}.layout{max-width:72rem;margin:0 auto;padding:0 1.25rem}.article-head{max-width:var(--measure);margin:3.5rem auto 0}.article-head h1{font-size:clamp(2.1rem,6vw,3.25rem);line-height:1.06;letter-spacing:-.03em;margin:0 0 1.25rem;text-wrap:balance}.dek{font-size:1.25rem;line-height:1.5;color:var(--muted);margin:0 0 1.25rem;text-wrap:pretty}.note{font-size:.98rem;line-height:1.5;color:var(--muted);margin:0 0 1.25rem;padding-left:.85rem;border-left:3px solid var(--rule);text-wrap:pretty}.byline{font-size:.98rem;color:var(--muted);margin:0}.credit{font-size:.9rem;color:var(--muted);margin:.2rem 0 0}.toc{max-width:var(--measure);margin:2rem auto 0;border-top:1px solid var(--rule);border-bottom:1px solid var(--rule)}.toc-side{display:none}.toc summary{cursor:pointer;padding:.8rem 0;font-weight:700;font-size:1rem}.toc ol{margin:0 0 1rem;padding-left:1.4rem;font-size:1rem;line-height:1.5}.toc li{margin:.25rem 0}.toc a{color:var(--ink);text-decoration-color:var(--rule-strong)}.prose{max-width:var(--measure);margin:0 auto;padding-bottom:4rem}.prose h2{font-size:1.6rem;line-height:1.2;letter-spacing:-.018em;margin:3.2rem 0 1rem;scroll-margin-top:1.5rem}.prose p{margin:0 0 1.15rem;text-wrap:pretty}.prose ul,.prose ol{margin:0 0 1.3rem;padding-left:1.35rem}.prose li{margin:0 0 .6rem;padding-left:.2rem}.prose li::marker{color:var(--muted)}.prose ol>li::marker{font-weight:700}.prose strong{font-weight:700}.prose sub{font-size:.7em;line-height:0}.prose code{font-family:Atkinson Mono,ui-monospace,monospace;font-size:.86em;background:var(--code-bg);padding:.08em .3em;border-radius:.25em}.prose .katex-display{margin:1.4rem 0 1.6rem;padding:.2rem 0;overflow-x:auto;overflow-y:hidden;position:relative}.katex{font-size:1.08em}.table-wrap{overflow-x:auto;margin:1.4rem 0 1.5rem}table{border-collapse:collapse;width:100%;font-size:.95rem;line-height:1.4;font-variant-numeric:tabular-nums}th{text-align:left;font-weight:700;padding:.55rem .9rem .55rem 0;border-bottom:2px solid var(--ink)}td{padding:.55rem .9rem .55rem 0;border-bottom:1px solid var(--rule);vertical-align:top}td:not(:first-child),th:not(:first-child){white-space:nowrap}.figure{margin:2rem 0 2.2rem;width:min(56rem,calc(100vw - 2.5rem));position:relative;left:50%;transform:translate(-50%)}.figure svg{display:block;width:100%;height:auto}.figure .tall{display:none;max-width:22rem;margin:0 auto}.figure figcaption{font-size:.95rem;color:var(--muted);margin-top:.8rem}.dg-box{fill:var(--paper);stroke:var(--rule-strong);stroke-width:1.4}.dg-learn{fill:var(--mark);stroke:var(--ink);stroke-width:1.4}.dg-text{fill:var(--ink);font-family:Atkinson Next,system-ui,sans-serif;font-size:15px}.dg-line{stroke:var(--rule-strong);stroke-width:1.4;fill:none}.dg-head{fill:var(--rule-strong)}@media(prefers-color-scheme:dark){.dg-learn{stroke:var(--mark-ink)}}@media(max-width:48rem){.figure .wide{display:none}.figure .tall{display:block}}@media(min-width:76rem){.layout{display:grid;grid-template-columns:14rem minmax(0,1fr) 14rem;column-gap:2rem}.article-head,.prose{grid-column:2}.toc{display:none}.toc-side{display:block;grid-column:1;grid-row:2 / span 2;position:sticky;top:2rem;align-self:start;padding-top:3.3rem}.toc-side ol{margin:0;padding-left:1.1rem;font-size:.9rem;line-height:1.45;color:var(--muted)}.toc-side li{margin:.3rem 0}.toc-side a{color:var(--muted);text-decoration:none}.toc-side a:hover{color:var(--ink);text-decoration:underline}.figure{width:calc(100% + 15rem);left:0;transform:none}}.site-foot{width:min(var(--measure),calc(100% - 2.5rem));margin:0 auto;padding:1.5rem 0 3rem;border-top:1px solid var(--rule);font-size:.95rem;color:var(--muted);display:flex;justify-content:space-between;gap:1rem;flex-wrap:wrap}.site-foot a{color:var(--muted)}@media(max-width:40rem){body{font-size:1.0625rem}.home{padding-top:3rem}.article-head{margin-top:2.5rem}.dek{font-size:1.12rem}.prose h2{font-size:1.4rem;margin-top:2.6rem}}@media print{.toc,.site-head,.site-foot{display:none}body{background:#fff;color:#000}}