@font-face{font-display:swap;font-family:dm mono;font-style:normal;font-weight:400;src:url(../fonts/dm-mono-latin-400.woff2)format("woff2")}@font-face{font-display:swap;font-family:dm mono;font-style:italic;font-weight:400;src:url(../fonts/dm-mono-latin-400-italic.woff2)format("woff2")}@font-face{font-display:swap;font-family:dm mono;font-style:normal;font-weight:500;src:url(../fonts/dm-mono-latin-500.woff2)format("woff2")}@font-face{font-display:swap;font-family:dm mono;font-style:normal;font-weight:400;src:url(../fonts/ibm-plex-mono-box.woff2)format("woff2");unicode-range:U+2190-21FF,U+2500-259F}@font-face{font-display:swap;font-family:dm mono;font-style:normal;font-weight:400;src:url(../fonts/jetbrains-mono-greek-400.woff2)format("woff2");unicode-range:U+370-3FF}@font-face{font-display:swap;font-family:dm mono;font-style:normal;font-weight:500;src:url(../fonts/jetbrains-mono-greek-400.woff2)format("woff2");unicode-range:U+370-3FF}@font-face{font-display:swap;font-family:serif4 caption;font-style:normal;font-weight:200 900;src:url(../fonts/serif4-caption-latin.woff2)format("woff2")}@font-face{font-display:swap;font-family:serif4 caption;font-style:italic;font-weight:200 900;src:url(../fonts/serif4-caption-latin-italic.woff2)format("woff2")}@font-face{font-display:swap;font-family:serif4 caption;font-style:normal;font-weight:200 900;src:url(../fonts/ibm-plex-mono-box.woff2)format("woff2");unicode-range:U+21A9}:root{color-scheme:light dark;--font-mono:"DM Mono", ui-monospace, "DejaVu Sans Mono", Menlo, Consolas, monospace;--font-prose:"Serif4 Caption", Charter, "Bitstream Charter", Georgia, serif;--frame:680px;--rail:230px;--rail-gap:24px;--fs-1:30px;--fs-2:22px;--fs-3:18px;--fs-body:15px;--fs-prose:18px;--fs-sm:14px;--fs-xs:13px;--fs-code:15px;--bg:light-dark(#ffffff, #111111);--surface:light-dark(#f4f4f4, #191919);--strong:light-dark(#141414, #ebebeb);--text:light-dark(#2b2b2b, #c8c8c8);--muted:light-dark(#6b6b6b, #818181);--line:light-dark(#e5e5e5, #272727);--line-strong:light-dark(#8c8c8c, #595959);--code-bg:light-dark(#f6f6f6, #171717);--accent:light-dark(#ac7300, #f2ab35);--link:var(--strong);--link-underline:light-dark(#c4c4c4, #494949)}:root[data-theme=light]{color-scheme:only light}:root[data-theme=dark]{color-scheme:only dark}html{-webkit-text-size-adjust:100%;text-size-adjust:100%;scrollbar-gutter:stable both-edges}body{max-width:var(--frame);margin:28px auto;padding:0 10px 12px;background:var(--bg);color:var(--text);font-family:var(--font-mono);font-size:var(--fs-body);line-height:1.7;font-kerning:normal;text-rendering:optimizeLegibility}h1,h2,h3,h4,h5,h6{color:var(--strong);font-family:var(--font-mono);font-weight:500;line-height:1.3;margin:40px 0 12px}h1{font-size:var(--fs-1);margin-top:0}h1>span{background:linear-gradient(var(--accent),var(--accent))no-repeat 0 calc(100% - .06em)/100% .1em;-webkit-text-stroke:.2em var(--bg);paint-order:stroke fill}h2{font-size:var(--fs-2)}h3{font-size:var(--fs-3)}p,ul,ol,pre,blockquote,table,figure{margin-top:0;margin-bottom:16px}ul,ol{padding-left:24px}li{margin-bottom:5px}a{color:var(--link);overflow-wrap:anywhere;text-decoration-color:var(--link-underline);text-decoration-thickness:1px;text-underline-offset:2px}a[href^="#"]{text-decoration-style:dashed}.post-body a:not([href^="#"],.sidenote a,.footnotes a){text-decoration-color:var(--accent);text-decoration-thickness:.1em;text-underline-offset:.2em;text-decoration-skip-ink:none}a:hover,a:focus-visible{color:var(--accent);text-decoration-color:initial}hr{border:0;border-top:1px dashed var(--line-strong);margin:24px 0}img{max-width:100%;height:auto}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}::selection{background:var(--accent);color:var(--bg)}body>nav{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:18px;margin-bottom:20px;padding-bottom:10px;border-bottom:1px dashed var(--line-strong);font-size:var(--fs-sm)}body>nav a,.theme-toggle{padding:0;border:0;background:0 0;font:inherit;color:var(--muted);text-decoration:none;white-space:nowrap;cursor:pointer}body>nav .nav-home{display:inline-flex;align-items:center;gap:10px;color:var(--strong);font-weight:500}.nav-mark{flex:none;width:20px;height:20px}body>nav a[aria-current]{color:var(--strong)}body>nav a:hover,body>nav a:focus-visible,.theme-toggle:hover,.theme-toggle:focus-visible{color:var(--accent)}body>nav>span{display:inline-flex;gap:18px}.theme-toggle{display:none}:root[data-js] .theme-toggle{display:inline-flex;align-items:center}.theme-icon{width:15px;height:15px}.theme-icon-light{display:none}:root[data-theme=dark] .theme-icon-dark{display:none}:root[data-theme=dark] .theme-icon-light{display:block}@media(prefers-color-scheme:dark){:root:not([data-theme=light]) .theme-icon-dark{display:none}:root:not([data-theme=light]) .theme-icon-light{display:block}}.site-footer{display:flex;align-items:center;margin-top:48px;padding-top:16px;border-top:1px dashed var(--line-strong)}.sponsor{display:inline-flex;align-items:center;gap:6px;color:var(--muted);font-size:var(--fs-sm);text-decoration:none}.sponsor-heart{flex:none;width:14px;height:14px;color:var(--accent)}.hero{display:flex;align-items:flex-start;justify-content:space-between;gap:18px}.avatar{flex:none;width:64px;height:64px;border:1px solid var(--line)}.muted{color:var(--muted)}.index-heading{margin:32px 0 10px;color:var(--muted);font-size:var(--fs-body);font-weight:400}.index-heading::before{content:"; "/""}.index-list{list-style:none;padding-left:0}.index-list li{display:grid;align-items:baseline;column-gap:16px}.post-list li{grid-template-columns:minmax(0,max-content)minmax(3ch,1fr)auto;column-gap:0;margin:0;padding:6px 0 8px}.post-list li::before{content:". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ."/"";grid-row:1;grid-column:2;overflow:hidden;white-space:nowrap;direction:rtl;margin:0 1ch;color:var(--line-strong);font-size:var(--fs-xs)}.row-date{grid-row:1;font-size:var(--fs-xs);color:var(--muted);font-variant-numeric:tabular-nums;white-space:nowrap}.row-title{grid-row:1}.index-list .row-title{color:var(--strong);font-weight:500;text-decoration-color:transparent}.index-list .row-title:hover,.index-list .row-title:focus-visible{color:var(--accent);text-decoration-color:initial}.post-list .row-title{grid-column:1}.post-list .row-date{grid-column:3}.row-sub{color:var(--text);font-size:var(--fs-sm);line-height:1.5}.post-list .row-sub{grid-row:2;grid-column:1/-1;font-style:italic}.project-grid{display:grid;grid-template-columns:1fr 1fr;column-gap:40px;padding:0;list-style:none}.project-grid li{margin:0}.project-grid li:last-child:nth-child(odd){grid-column:1/-1}.project-grid a{display:grid;grid-template-columns:minmax(0,1fr)auto;column-gap:12px;row-gap:4px;padding:12px 0 14px;color:var(--text);text-decoration:none}.project-name{color:var(--strong);font-weight:500}.project-grid a:hover .project-name,.project-grid a:focus-visible .project-name{color:var(--accent);text-decoration:underline 1px;text-underline-offset:2px}.project-lang{color:var(--muted);font-size:var(--fs-xs)}.project-desc{grid-column:1/-1;font-size:var(--fs-sm);line-height:1.5}.tag-index a{margin-right:8px}.post-meta{display:flex;flex-wrap:wrap;justify-content:space-between;gap:0 18px;margin-bottom:28px;padding-bottom:10px;border-bottom:1px dashed var(--line-strong);font-size:var(--fs-xs)}.post-meta a{color:inherit;white-space:nowrap}.post-meta a:hover,.post-meta a:focus-visible{color:var(--accent)}.deck{margin:-6px 0 4px;color:var(--text);font-style:italic;text-wrap:balance}.hero-links{margin:6px 0 0;color:var(--muted);font-size:var(--fs-sm)}.hero-links a{color:var(--muted);text-decoration-color:var(--line-strong)}.hero-links a:hover,.hero-links a:focus-visible{color:var(--accent);text-decoration-color:initial}.post-body{font-family:var(--font-prose);font-size:var(--fs-prose);line-height:1.65}.post-nav-foot{display:grid;grid-template-columns:1fr 1fr;gap:24px;margin-top:36px;padding-top:16px;border-top:1px dashed var(--line-strong);font-size:var(--fs-xs);line-height:1.7;color:var(--muted)}.post-nav-foot a{font-size:var(--fs-sm)}.post-nav-label{display:block;color:var(--muted)}.post-nav-prev{grid-column:1}.post-nav-next{grid-column:2;text-align:right}main{position:relative}.content-heading a{color:inherit;text-decoration:none}.content-heading a::before{content:"#";display:inline-block;width:1em;margin-left:-1em;color:var(--muted)}.content-heading a:hover::before,.content-heading a:focus-visible::before{color:var(--accent)}.post-body{counter-reset:h2 fig}.post-body h2{counter-increment:h2;counter-reset:h3}.post-body h3{counter-increment:h3}.post-body h2.content-heading a::before,.post-body h3.content-heading a::before{display:inline;width:auto;margin:0 .6em 0 0;color:var(--accent)}.post-body h2.content-heading a::before{content:counter(h2,lower-greek)"."}.post-body h3.content-heading a::before{content:counter(h2,lower-greek)"." counter(h3)"."}@media(min-width:820px){.post-body :is(h2,h3).content-heading{position:relative}.post-body :is(h2,h3).content-heading a::before{position:absolute;right:100%;white-space:nowrap}}.post-body h4{margin:28px 0 8px;color:var(--text);font-size:var(--fs-body)}.post-body h4.content-heading a::before{opacity:0}.post-body h4.content-heading a:hover::before,.post-body h4.content-heading a:focus-visible::before{opacity:1}.toc{margin-bottom:24px}.toc ul{counter-reset:toc;display:grid;grid-template-columns:max-content minmax(0,1fr);column-gap:1ch;row-gap:5px;margin:0;padding-left:0;list-style:none}.toc li{counter-increment:toc;display:grid;grid-column:1/-1;grid-template-columns:subgrid;row-gap:5px;margin:0;line-height:1.35}.toc ul ul{counter-reset:toc-sub}.toc ul ul>li{counter-increment:toc-sub}.toc li>ul{grid-column:2}.toc a{display:grid;grid-column:1/-1;grid-template-columns:subgrid;color:var(--muted);text-decoration:none}.toc a::before{content:counter(toc,lower-greek)".";justify-self:end;white-space:nowrap}.toc ul ul a::before{content:counter(toc,lower-greek)"." counter(toc-sub)"."}.toc a:hover,.toc a:focus-visible{color:var(--accent)}.toc-rail{display:none;font-size:var(--fs-xs)}.toc-fold{padding-left:12px;border-left:1px solid var(--line);font-size:var(--fs-sm)}.toc-fold summary{cursor:pointer;color:var(--text);font-weight:500;font-size:var(--fs-body)}.toc-fold[open] summary{margin-bottom:8px}blockquote{margin-left:0;padding:8px 16px;border-left:3px solid var(--line-strong);background:var(--code-bg)}blockquote>:last-child{margin-bottom:0}code,pre{font-family:var(--font-mono)}code{font-size:.85em;line-height:1}code:not(pre code){background:color-mix(in srgb,var(--text) 8%,transparent);padding:1px 4px}pre{overflow-x:auto;padding:12px;border:1px solid var(--line);background:var(--code-bg);font-size:var(--fs-code);line-height:1}pre code{font-size:inherit;line-height:1.3}.code-block{margin-bottom:16px}.code-block pre{margin:0}.table-wrapper,.katex-display{overflow-x:auto;max-width:100%}pre,.table-wrapper,.katex-display{scrollbar-width:thin;scrollbar-color:var(--line-strong)transparent}.table-wrapper{margin-bottom:16px;border:1px solid var(--line)}.table-wrapper table{margin-bottom:0}.katex-display{overflow-y:hidden}table{border-collapse:collapse;width:100%;font-family:var(--font-mono);font-size:var(--fs-sm)}th,td{border-bottom:1px solid var(--line);padding:6px 10px;line-height:22px;vertical-align:top}th{background:var(--surface);font-weight:500;text-align:left}tbody tr:last-child td{border-bottom:0}tbody tr:nth-child(even){background:color-mix(in srgb,var(--bg) 96%,var(--text))}th.num,td.num{font-family:var(--font-mono);font-size:var(--fs-xs);text-align:right}th.code,td.code{font-family:var(--font-mono);font-size:var(--fs-xs)}th code:not(pre code),td code:not(pre code){background:0 0;padding:0;font-size:var(--fs-xs)}.alert{--alert-color:var(--muted);position:relative;margin:28px 0 20px;padding:16px 16px 12px;border:1px solid var(--line-strong);isolation:isolate}.alert::before,.alert::after{content:"";position:absolute;z-index:-1}.alert::before{inset:7px -8px -8px 7px;background:var(--line-strong);mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='6' height='6'%3E%3Cpath d='M-1 1l2-2M0 6l6-6M5 7l2-2' stroke='%23000'/%3E%3C/svg%3E")0 0/6px 6px}.alert::after{inset:0;background:var(--bg)}.alert-note{--alert-color:light-dark(#6c7f9d, #7b8ca7)}.alert-tip{--alert-color:light-dark(#6f876f, #7b917b)}.alert-important{--alert-color:light-dark(#85759b, #9284a6)}.alert-warning{--alert-color:light-dark(#9a7b4f, #a2865d)}.alert-caution{--alert-color:light-dark(#9a6767, #ab8181)}.alert-title{position:absolute;top:0;left:10px;display:inline-flex;align-items:center;gap:6px;padding:0 6px;transform:translateY(-50%);background:var(--bg);color:var(--alert-color);font-family:var(--font-mono);font-size:var(--fs-sm);font-weight:500;line-height:1}.alert-icon{flex:none;width:16px;height:16px}.alert-body>:last-child,.alert-body p:last-child{margin-bottom:0}.columns{display:grid;grid-template-columns:repeat(var(--columns),minmax(0,1fr));gap:16px;margin-bottom:16px}.columns:has(pre){--fs-code:12px}.column-inner{min-width:0;overflow-wrap:break-word}.column-inner>:first-child{margin-top:0}.column-inner>:last-child{margin-bottom:0}figure{margin-left:0;margin-right:0;text-align:center}figcaption{color:var(--muted);font-style:italic;font-size:var(--fs-sm);text-align:center;margin-top:6px}figcaption code{font-style:normal}figure.diagram pre{text-align:left;margin-bottom:0}figure.diagram{counter-increment:fig}figure.diagram figcaption{margin-top:10px;line-height:1.5;text-align:left}figure.diagram figcaption::before{content:"fig. " counter(fig)".";margin-right:.8em;color:var(--strong);font-family:var(--font-mono);font-size:var(--fs-xs);font-style:normal}figure.diagram pre code,.code-block-diagram pre code{line-height:1.2}sup{position:relative;top:-.45em;vertical-align:baseline;font-size:.72em;line-height:0}.footnote-ref{margin-left:.1em;color:var(--accent);font-family:var(--font-mono);font-size:.95em;text-decoration:none}.footnotes{margin-top:32px;font-size:var(--fs-sm);overflow-wrap:anywhere}.footnotes li::marker{color:var(--muted);font-family:var(--font-mono);font-size:.85em}.footnotes p{white-space:normal;margin-bottom:0}.footnotes a,.sidenote a{color:var(--muted);text-decoration-color:var(--line-strong)}.footnotes a:hover,.footnotes a:focus-visible,.sidenote a:hover,.sidenote a:focus-visible{color:var(--accent);text-decoration-color:initial}.sidenote{display:none}.sidenote-number{color:var(--muted);font-family:var(--font-mono);font-size:.85em;margin-right:6px}@media(min-width:1220px){.toc-fold{display:none}.toc-rail{display:block;position:absolute;right:100%;box-sizing:border-box;width:var(--rail);margin-top:8px;margin-right:var(--rail-gap);padding-left:12px;border-left:1px solid var(--line)}.sidenote{display:block;float:right;clear:right;box-sizing:border-box;width:var(--rail);margin-right:calc(-1 * (var(--rail) + var(--rail-gap)));margin-top:4px;padding-left:12px;border-left:1px solid var(--line);font-size:var(--fs-sm);line-height:1.45;color:var(--muted);text-align:left}.footnotes li.is-sidenote{display:none}.footnotes:not(:has(li:not(.is-sidenote))){display:none}sup[data-fn-bottom] .footnote-ref::after{content:"\2193"/"";color:var(--muted)}}@media(max-width:680px){body{margin-top:14px}.content-heading a::before{width:auto;margin:0 .3em 0 0}.columns{grid-template-columns:1fr}.post-list li{grid-template-columns:1fr}.post-list li::before{display:none}.post-list .row-title,.post-list .row-sub,.post-list .row-date{grid-column:1}.post-list .row-date{grid-row:3}.project-grid{grid-template-columns:1fr}.project-grid li:last-child:nth-child(odd){grid-column:auto}.avatar{width:52px;height:52px}}@media(max-width:480px){.post-nav-foot{grid-template-columns:1fr;gap:14px}.post-nav-next{grid-column:1;text-align:left}body>nav,body>nav>span{gap:12px}}.chroma{background-color:var(--code-bg);color:light-dark(#000000,#d4d4d4)}.chroma .il,.chroma .m,.chroma .mb,.chroma .mf,.chroma .mh,.chroma .mi,.chroma .mo{color:light-dark(#008154,#b5cea8)}.chroma .k,.chroma .kc,.chroma .kd,.chroma .kn,.chroma .kp,.chroma .kr{color:light-dark(#0000ff,#569cd6)}.chroma .c,.chroma .c1,.chroma .ch,.chroma .cm,.chroma .cs{color:light-dark(#008000,#6a9955)}.chroma .n,.chroma .na,.chroma .nx,.chroma .si,.chroma .vi{color:light-dark(#001080,#9cdcfe)}.chroma .sa,.chroma .sb,.chroma .sc,.chroma .ss,.chroma .sx{color:light-dark(#a31515,#d4d4d4)}.chroma .kt,.chroma .nb,.chroma .nc{color:light-dark(#007b99,#4ec9b0)}.chroma .s,.chroma .s1,.chroma .s2{color:light-dark(#a31515,#ce9178)}.chroma .nd{color:light-dark(#795e26,#d7ba7d)}.chroma .se{color:light-dark(#c22a1f,#d7ba7d)}.chroma .bp{color:light-dark(#0000ff,#dcdcaa)}.chroma .cp{color:light-dark(#717171,#6a9955)}.chroma .cpf{color:light-dark(#717171,#d4d4d4)}.chroma .fm{color:light-dark(#795e26,#569cd6)}.chroma .gd{color:light-dark(#a31515,#f97583)}.chroma .gi{color:light-dark(#07714a,#b2f7b2)}.chroma .ne{color:light-dark(#1f6f88,#4ec9b0)}.chroma .nf{color:light-dark(#795e26,#dcdcaa)}.chroma .nl{color:light-dark(#b418dd,#d4d4d4)}.chroma .no{color:light-dark(#0070c1,#4fc1ff)}.chroma .nt{color:light-dark(#800000,#569cd6)}.chroma .nv{color:light-dark(#b418dd,#9cdcfe)}.chroma .ow{color:light-dark(#0000ff,#c586c0)}.chroma .sr{color:light-dark(#811f3f,#d16969)}.chroma .hl{display:block;width:100%;background-color:light-dark(#e8e8e8,#2d2d2d)}