@font-face{font-family:Jussch Serif;src:url(/fonts/serif-regular.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Jussch Serif;src:url(/fonts/serif-bold.woff2)format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:Jussch Serif;src:url(/fonts/serif-italic.woff2)format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:Jussch Serif;src:url(/fonts/serif-bold-italic.woff2)format("woff2");font-weight:700;font-style:italic;font-display:swap}@font-face{font-family:JetBrains Mono;src:url(/fonts/jetbrains-mono-variable.woff2)format("woff2");font-weight:400 700;font-style:normal;font-display:swap}:root{--paper:#fdfdfb;--ink:#000;--muted:#5f5e66;--rule:#e0dfda;--link:#1a4fa0;--link-visited:#683d99;--fill:#f2f1ec;--mark:#e6e4dc;--code-foreground:var(--ink);--code-token-keyword:#8c2f1b;--code-token-string:#245d32;--code-token-string-expression:#245d32;--code-token-constant:#734600;--code-token-comment:#55545b;--code-token-function:var(--ink);--code-token-parameter:var(--ink);--code-token-punctuation:var(--ink);--code-token-link:var(--link);--code-token-inserted:#245d32;--code-token-deleted:#8c2f1b;--code-token-changed:#734600;--measure:40rem;--gutter:1.25rem;--serif:"Jussch Serif", Charter, "Bitstream Charter", "Iowan Old Style", Georgia, Cambria, "Times New Roman", Times, serif;--mono:"JetBrains Mono", ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace}@media (prefers-color-scheme:dark){:root{--paper:#0f0f0f;--ink:#e7e5e0;--muted:#979590;--rule:#2e2e2c;--link:#8ab4f8;--link-visited:#c4a7e7;--fill:#1b1b1a;--mark:#2b2b28;--code-token-keyword:#eda58a;--code-token-string:#a6d3a0;--code-token-string-expression:#a6d3a0;--code-token-constant:#e2be7f;--code-token-comment:#a19f99;--code-token-inserted:#a6d3a0;--code-token-deleted:#eda58a;--code-token-changed:#e2be7f}}*,:before,:after{box-sizing:border-box}body,h1,h2,h3,h4,h5,h6,p,figure,blockquote,dl,dd,ul,ol{margin:0}img,svg,video{max-width:100%;height:auto}html{-webkit-text-size-adjust:100%;scroll-padding-top:2rem;font-size:106.25%}body{background:#fdfdfb;background:var(--paper);color:var(--ink);font-family:Jussch Serif,Charter,Bitstream Charter,Iowan Old Style,Georgia,Cambria,Times New Roman,Times,serif;font-family:var(--serif);font-feature-settings:"kern";font-kerning:normal;word-wrap:break-word;font-size:1.0625rem;line-height:1.65}@media (min-width:40rem){html{font-size:112.5%}body{font-size:1.125rem}}h1,h2,h3,h4,h5,h6{text-wrap:balance;scroll-margin-top:2rem;font-weight:700;line-height:1.3}h1{font-size:1.5rem}h2{font-size:1.25rem}h3{font-size:1.125rem}h4,h5,h6{font-size:1em}p{text-wrap:pretty}a{color:var(--link);text-underline-offset:.15em;-webkit-text-decoration:underline;text-decoration:underline}a:visited{color:var(--link-visited)}a:hover{color:var(--ink)}a:focus-visible,button:focus-visible,summary:focus-visible,[tabindex]:focus-visible{outline:2px solid #1a4fa0;outline:2px solid var(--link);outline-offset:2px}code,pre,kbd,samp{font-family:JetBrains Mono,ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,DejaVu Sans Mono,monospace;font-family:var(--mono);font-size:.875em}hr{border:0;border-top:1px solid #e0dfda;border-top:1px solid var(--rule);height:0}time{font-feature-settings:"tnum";font-variant-numeric:tabular-nums}sup,sub{line-height:0}.skip-link{background:#fdfdfb;background:var(--paper);border:1px solid #e0dfda;border:1px solid var(--rule);padding:.5rem .75rem;position:absolute;top:0;left:-9999px}.skip-link:focus{z-index:1;top:.5rem;left:.5rem}.site-header,.site-main,.site-footer{max-width:40rem;max-width:var(--measure);padding-left:1.25rem;padding-left:var(--gutter);padding-right:1.25rem;padding-right:var(--gutter);margin:0 auto}.site-header{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.5rem 1rem;padding-top:1.75rem;padding-bottom:1.25rem;display:flex}.site-header a{color:var(--ink);-webkit-text-decoration:none;text-decoration:none}.site-header a:hover,.site-footer a:hover{-webkit-text-decoration:underline;text-decoration:underline}.site-footer a{color:var(--muted);-webkit-text-decoration:none;text-decoration:none}.site-footer a:hover{color:var(--ink)}.site-name{font-size:inherit;font-weight:700}.site-header nav a+a{margin-left:1rem}.site-footer{border-top:1px solid #e0dfda;border-top:1px solid var(--rule);color:var(--muted);margin-top:4rem;padding-top:1.25rem;padding-bottom:3rem;font-size:.9375rem}.site-footer ul{margin:0;padding:0;list-style:none}.site-footer li{display:inline}.site-footer li+li:before{content:" · ";color:var(--rule)}.intro p+p{margin-top:1.375rem}.home h2{margin-top:2.5rem;margin-bottom:.75rem}.post-list{margin:0;padding:0;list-style:none}.post-list li{grid-gap:0 .75rem;grid-template-columns:7rem 1fr;gap:0 .75rem;padding:.4rem 0;display:grid}.post-list time{color:var(--muted);font-size:.9375rem}@media (max-width:30rem){.post-list li{grid-template-columns:1fr;gap:0}.post-list time{grid-row:2;font-size:.9375rem}}.draft-marker{color:var(--muted);font-size:.9375rem;font-style:italic}.site-main>h1+p{margin-top:1.375rem}.post-header{margin-bottom:1.75rem}.post-header h1{margin-bottom:.5rem}.post-lead{color:var(--muted)}.post-meta{color:var(--muted);margin-top:.5rem;font-size:.9375rem}.notice{border-left:3px solid #e0dfda;border-left:3px solid var(--rule);background:#f2f1ec;background:var(--fill);margin-bottom:1rem;padding:.5rem .75rem;font-size:.9375rem}.toc{margin-bottom:2rem;font-size:.9375rem}.toc summary{cursor:pointer;color:var(--muted)}.toc ul{margin:.5rem 0 0;padding-left:1.25rem}.toc ul ul{margin-top:.25rem}.toc li{padding:.1rem 0}.toc-sub{margin-left:1rem}.post-nav{border-top:1px solid #e0dfda;border-top:1px solid var(--rule);margin-top:3rem;padding-top:1.25rem;font-size:.9375rem}.post-nav p{margin-top:.25rem}.post-nav span{color:var(--muted)}.reading-flow>*+*,.reading-flow section>*+*,.reading-flow details>*+*,.callout>*+*,.theorem>*+*,.proof>*+*{margin-top:1.375rem}@media (max-width:40rem){.intro p,.reading-flow p,.reading-flow li{-webkit-hyphens:auto;hyphens:auto;hyphenate-limit-chars:7 3 3}}.reading-flow code,.reading-flow a[href^=http]{-webkit-hyphens:manual;hyphens:manual}.reading-flow h2,.reading-flow h3,.reading-flow h4,.reading-flow h5,.reading-flow h6{margin-top:2.5rem;margin-bottom:-.5rem}.heading-anchor{color:var(--muted);opacity:0;margin-left:.4em;font-weight:400;-webkit-text-decoration:none;text-decoration:none}h2:hover>.heading-anchor,h3:hover>.heading-anchor,h4:hover>.heading-anchor,.heading-anchor:focus-visible{opacity:1}.reading-flow ul,.reading-flow ol{padding-left:1.5rem}.reading-flow li+li{margin-top:.375rem}.reading-flow li>ul,.reading-flow li>ol{margin-top:.25rem}.reading-flow blockquote{border-left:2px solid #e0dfda;border-left:2px solid var(--rule);color:var(--muted);padding-left:1rem}.reading-flow blockquote p+p{margin-top:1rem}.reading-flow figure{margin-top:1.75rem}.reading-flow figcaption{color:var(--muted);margin-top:.4rem;font-size:.9375rem}.reading-flow img{border:1px solid #e0dfda;border:1px solid var(--rule);display:block}.reading-flow code{background:#f2f1ec;background:var(--fill);padding:.1em .25em}.reading-flow kbd{background:#f2f1ec;background:var(--fill);border:1px solid #e0dfda;border:1px solid var(--rule);padding:.1em .35em;font-size:.8125em}.reading-flow hr{margin-top:2rem}.table-scroll{overflow-x:auto}.reading-flow table{border-collapse:collapse;width:100%;font-size:.9375rem}.reading-flow th,.reading-flow td{border:1px solid #e0dfda;border:1px solid var(--rule);text-align:left;vertical-align:top;padding:.35rem .6rem}.reading-flow th{background:#f2f1ec;background:var(--fill)}.reading-flow td{font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.reading-flow sup a,.citation a,.xref,.katex a,.data-footnote-backref{-webkit-text-decoration:none;text-decoration:none}.reading-flow sup a:hover,.citation a:hover,.xref:hover,.katex a:hover,.data-footnote-backref:hover{-webkit-text-decoration:underline;text-decoration:underline}.reading-flow sup{margin-left:.1em;font-size:.7em}.footnotes,.references{font-size:1rem}.footnotes ol{padding-left:1.5rem}.footnotes li+li,.footnotes li p+p{margin-top:.5rem}.data-footnote-backref{margin-left:.25em}.csl-entry{text-indent:-1.5rem;padding-left:1.5rem}.csl-entry+.csl-entry{margin-top:.5rem}.csl-left-margin{float:left;text-indent:0;width:1.5rem;margin-left:-1.5rem}.csl-right-inline{text-indent:0}.csl-entry a{word-wrap:anywhere}.footnotes li:target,.csl-entry:target,.equation:target,.theorem:target,.reading-flow sup a:target{background:#e6e4dc;background:var(--mark)}.reading-flow .katex{font-size:1.1em}.reading-flow .katex-display{margin:0;padding:.25rem 0;overflow:auto hidden}@media (max-width:40rem){.reading-flow .katex-display>.katex>.katex-html>.tag{margin-left:1.25em;position:static}}.block-label{font-weight:700}.proof .block-label{font-style:italic;font-weight:400}.proof>:last-child:after{content:"";float:right;border:1px solid #000;border:1px solid var(--ink);width:.6em;height:.6em;margin:.55em 0 0 1em}.callout{background:#f2f1ec;background:var(--fill);border-left:3px solid #e0dfda;border-left:3px solid var(--rule);padding:.75rem 1rem}.callout-important,.callout-warning,.callout-caution{border-left-color:#000;border-left-color:var(--ink)}.reading-flow details>summary{cursor:pointer}.code-block{background:#f2f1ec;background:var(--fill);border:1px solid #e0dfda;border:1px solid var(--rule);font-family:JetBrains Mono,ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,DejaVu Sans Mono,monospace;font-family:var(--mono);font-size:.875em;position:relative}.code-block pre{font-size:inherit;margin:0;padding:.875rem 0;line-height:1.5;overflow-x:auto}.code-block code{font-size:inherit;background:0 0;border:0;padding:0;display:grid}.code-block [data-line]{padding:0 1rem}.code-block [data-highlighted-line]{background:#e6e4dc;background:var(--mark);border-left:2px solid #5f5e66;border-left:2px solid var(--muted);padding-left:calc(1rem - 2px)}.code-block [data-highlighted-chars]{background:#e6e4dc;background:var(--mark);outline:1px solid #e0dfda;outline:1px solid var(--rule)}.code-block code[data-line-numbers]{counter-reset:line}.code-block code[data-line-numbers]>[data-line]:before{counter-increment:line;content:counter(line);color:var(--muted);width:2ch;text-align:right;margin-right:1.25rem;display:inline-block}.code-block code[data-line-numbers-max-digits="3"]>[data-line]:before{width:3ch}.reading-flow figcaption[data-rehype-pretty-code-title]{font-family:JetBrains Mono,ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,DejaVu Sans Mono,monospace;font-family:var(--mono);margin:0 0 .25rem;font-size:.8125rem;line-height:1.4}.code-copy{background:#fdfdfb;background:var(--paper);color:var(--muted);border:1px solid #e0dfda;border:1px solid var(--rule);font-family:JetBrains Mono,ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,DejaVu Sans Mono,monospace;font-family:var(--mono);cursor:pointer;padding:.1rem .4rem;font-size:.8125rem;line-height:1.5;position:absolute;top:.375rem;right:.375rem}.code-copy:hover{color:var(--ink)}.gallery-scroller{scroll-snap-type:x mandatory;overflow-anchor:none;scrollbar-width:none;margin-left:-1.25rem;margin-left:calc(var(--gutter) * -1);margin-right:-1.25rem;margin-right:calc(var(--gutter) * -1);padding-left:1.25rem;padding-left:var(--gutter);padding-right:1.25rem;padding-right:var(--gutter);scroll-padding-left:1.25rem;scroll-padding-left:var(--gutter);align-items:flex-start;gap:1.25rem;display:flex;overflow-x:auto}.gallery-scroller::-webkit-scrollbar{display:none}@media (min-width:48rem){.gallery-scroller{margin-left:0;margin-right:0;padding-left:0;padding-right:0;scroll-padding-left:0}}.reading-flow .gallery-slide{scroll-snap-align:start;flex:none;margin:0}.reading-flow .gallery-image{border:0;width:auto;max-width:none;height:14rem;margin:0}.gallery-frame{height:14rem;line-height:0;display:block;position:relative}@media (min-width:48rem){.reading-flow .gallery-image,.gallery-frame{height:18rem}}.gallery-slide--loading .gallery-frame{background:#f2f1ec;background:var(--fill);border:1px solid #e0dfda;border:1px solid var(--rule);width:60vw;max-width:18rem}.gallery-slide--loading .gallery-image{opacity:0;position:absolute;top:0;left:0}.gallery-progress{background:#e0dfda;background:var(--rule);width:45%;max-width:7rem;height:2px;position:absolute;top:50%;left:50%;overflow:hidden;transform:translate(-50%,-50%)}.gallery-progress span{background:#5f5e66;background:var(--muted);width:40%;height:100%;animation:1.2s ease-in-out infinite gallery-loading;display:block}@media (prefers-reduced-motion:reduce){.gallery-progress span{opacity:.4;width:100%;animation:none}}.gallery-slide figcaption{word-wrap:anywhere}.gallery-controls{color:var(--muted);justify-content:flex-end;align-items:center;gap:.5rem;margin-top:.75rem;font-size:.9375rem;display:flex}.gallery-controls>span{font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.gallery-controls button{color:inherit;font:inherit;cursor:pointer;background:0 0;border:0;padding:0 .3rem;line-height:1.4}.gallery-controls button:hover:enabled{color:var(--ink)}.gallery-controls button:disabled{opacity:.35;cursor:default}@keyframes gallery-loading{0%{transform:translate(-110%)}to{transform:translate(360%)}}@media print{.site-header nav,.site-footer,.code-copy,.heading-anchor,.data-footnote-backref,.gallery-controls,.skip-link{display:none}body{color:#000;background:#fff}a{color:#000}.reading-flow a[href^=http]:after{content:" (" attr(href) ")";word-break:break-all;font-size:.8em}.references a[href^=http]:after{content:none}}