:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light dark;--serif:"Iowan Old Style", "Iowan Old Style BT", "Palatino Linotype", "URW Palladio L", P052, Georgia, serif;--sans:-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--mono:"SF Mono", ui-monospace, Menlo, Monaco, monospace;--background:#fff;--text:#282828;--muted:#6b6866;--link:#676767;--link-underline:#6767674d;--rule:#ebe9e6;--accent:#b25c12;--code-background:#f6f5f3;--measure:660px}@media (prefers-color-scheme:dark){:root{--lightningcss-light: ;--lightningcss-dark:initial;--background:#161616;--text:#e7e5e2;--muted:#9e9a96;--link:#b4b0ac;--link-underline:#b4b0ac59;--rule:#2c2b29;--accent:#e39a5c;--code-background:#202020}}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{background:var(--background);color:var(--text);font-family:var(--serif);font-kerning:normal;text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;margin:0;font-size:17px;line-height:1.6}a{color:var(--link);text-decoration:underline;-webkit-text-decoration-color:var(--link-underline);text-decoration-color:var(--link-underline);text-underline-offset:.18em;text-decoration-thickness:1px}a:hover{color:var(--text);text-decoration-color:currentColor}a:focus-visible{outline:2px solid var(--link);outline-offset:2px}.site-header{font-family:var(--sans);flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.25rem 1.5rem;padding:18px 24px;font-size:15px;display:flex}.site-name{color:var(--text);letter-spacing:.01em;text-decoration:none}.site-header nav{gap:0 1.6rem;display:flex}.site-header nav a{color:var(--text);letter-spacing:-.01em;text-decoration:none}.site-header nav a:hover{color:var(--muted)}.page{max-width:calc(var(--measure) + 48px);margin:0 auto;padding:48px 24px 120px}.intro p{margin:0}.intro p+p{margin-top:1.1em}.listing{margin-top:56px}.page-title,.section-title{font-family:var(--sans);letter-spacing:-.01em;margin:0 0 12px;font-size:22px;font-weight:400}.entries{margin:0;padding:0;list-style:none}.entries li{border-bottom:1px solid var(--rule);grid-template-columns:136px 1fr;gap:0 16px;padding:22px 0;display:grid}.entries li:last-child{border-bottom:0}.entries time,.entry-date{color:var(--muted);font-family:var(--sans);font-variant-numeric:tabular-nums;font-size:15px;line-height:27px}.entry-title{color:var(--text);font-size:18px;text-decoration:none}a.entry-title:hover{color:var(--muted)}.entry-subtitle{color:var(--muted);font-family:var(--sans);margin:2px 0 0;font-size:15px;line-height:1.45}.entry-link{margin-left:.75rem}.draft-badge{color:var(--accent);font-family:var(--sans);letter-spacing:.06em;text-transform:uppercase;margin-left:.6rem;font-size:12px}@media (width<=560px){.entries li{grid-template-columns:1fr}}.article-header{text-align:center;margin:8px 0 56px}.article-header h1{margin:0 0 16px;font-size:30px;font-weight:600;line-height:1.4}.byline,.dateline{font-family:var(--sans);margin:0;font-size:15px;line-height:1.5}.byline{letter-spacing:.015em}.dateline{color:var(--muted);margin-top:4px}.article-body{position:relative}.abstract{border-bottom:1px solid var(--rule);margin:0 0 40px;padding-bottom:28px}.abstract h2{color:var(--muted);font-family:var(--sans);letter-spacing:.06em;text-transform:uppercase;margin:0 0 6px;font-size:13px;font-weight:400}.abstract p{margin:0}.prose p{margin:0 0 1.36em}.prose h2{margin:2.9em 0 1.1em;font-size:1.365em;font-weight:600;line-height:1.4}.prose h3{margin:2.2em 0 .8em;font-size:1.12em;font-weight:600}.heading-anchor{color:var(--muted);opacity:0;margin-left:.4em;font-weight:400;text-decoration:none;transition:opacity .15s}h2:hover .heading-anchor,h3:hover .heading-anchor,.heading-anchor:focus{opacity:1}.prose ul,.prose ol{margin:0 0 1.36em;padding-left:1.4em}.prose li+li{margin-top:.3em}.prose strong{font-weight:600}.toc{display:none}@media (width>=1240px){.toc{width:200px;height:100%;display:block;position:absolute;top:0;right:calc(100% + 56px)}.toc ol{font-family:var(--sans);margin:0;padding:0;font-size:13px;line-height:1.4;list-style:none;position:sticky;top:32px}.toc li{padding:5px 0 5px 14px;position:relative}.toc a{color:var(--muted);text-decoration:none}.toc a:hover,.toc .active a{color:var(--text)}.toc .active:before{content:"";background:var(--text);border-radius:50%;width:4px;height:4px;position:absolute;top:12px;left:0}}.katex{font-size:1.1em}.math-display{margin:1.35em 0;overflow:auto hidden}.math-display .katex-display{margin:0}.nowrap{white-space:nowrap}.theorem,.proof{margin:1.6em 0}.theorem-italic{font-style:italic}.block-name{font-style:normal;font-weight:600}.block-note{font-style:normal}.proof .block-name{font-style:italic;font-weight:400}.qed{float:right;margin-left:1em}.figure{margin:1.7em 0}.figure-images{text-align:center}.figure img{max-width:100%;height:auto}.figure figcaption{color:var(--muted);font-family:var(--sans);margin-top:12px;font-size:13px;line-height:1.4}.figure figcaption .block-name{color:var(--text)}@media (prefers-color-scheme:dark){.figure img[src^="data:image/svg+xml"]{filter:invert()hue-rotate(180deg)}}.sidenote-number,.sidenote-ref{vertical-align:super;font-size:.7em;line-height:0}.sidenote-number{cursor:pointer;margin-left:.1em}.margin-toggle{display:none}.sidenote{float:left;clear:both;border-left:2px solid var(--rule);width:100%;margin:.6em 0;padding-left:1em;font-size:.85em;font-style:normal;line-height:1.4;display:none}.margin-toggle:checked+.sidenote{display:block}.sidenote-mark{vertical-align:super;font-size:.8em;line-height:0}@media (width>=1240px){.sidenote-number{cursor:auto}.sidenote,.margin-toggle:checked+.sidenote{float:right;clear:right;border-left:0;width:220px;margin:.3em -276px .9em 0;padding-left:0;display:block}}.references{margin-top:3.5em;font-size:15px;line-height:1.5}.references h2{font-size:1.365em}.references dl{grid-template-columns:max-content 1fr;gap:10px 16px;display:grid}.references dt{color:var(--muted)}.references dd{overflow-wrap:anywhere;margin:0}.url{font-family:var(--mono);overflow-wrap:anywhere;font-size:.85em}blockquote{border-left:2px solid var(--rule);color:var(--muted);margin:1.4em 0;padding-left:1.2em}hr{border:0;border-top:1px solid var(--rule);margin:3em 0}table{border-collapse:collapse;margin:1.4em 0;font-size:15px}th,td{border-bottom:1px solid var(--rule);text-align:left;padding:6px 12px}code,pre{font-family:var(--mono);font-size:.82em}code{background:var(--code-background);border-radius:4px;padding:.12em .35em}pre{background:var(--code-background);border-radius:6px;padding:16px 18px;line-height:1.5;overflow-x:auto}pre code{background:0 0;padding:0}.not-found h1{font-family:var(--sans);font-size:22px;font-weight:400}