@font-face{font-display:block;font-family:space grotesk;font-style:normal;font-weight:300 700;src:url(../fonts/space-grotesk-var-latin.woff2)format("woff2")}@font-face{font-display:block;font-family:jetbrains mono;font-style:normal;font-weight:400;src:url(../fonts/jetbrains-mono-v24-greek_latin-regular.woff2)format("woff2")}@font-face{font-display:block;font-family:inter;font-style:normal;font-weight:100 900;src:url(../fonts/inter-var-latin.woff2)format("woff2")}@font-face{font-display:block;font-family:inter;font-style:italic;font-weight:100 900;src:url(../fonts/inter-var-latin-italic.woff2)format("woff2")}:root{color-scheme:light dark;--font-display:"Space Grotesk", system-ui, sans-serif;--font-body:"Inter", system-ui, -apple-system, sans-serif;--font-mono:"JetBrains Mono", monospace;--frame:700px;--rail:200px;--rail-gap:24px;--fs-1:48px;--fs-2:24px;--fs-3:20px;--fs-body:18px;--fs-sm:15px;--fs-xs:13px;--fs-code:13.5px;--radius:3px;--bg:light-dark(#ffffff, #121212);--surface:light-dark(#f4f4f4, #1e1e1e);--tray:light-dark(#e7e7e7, #1e1e1e);--chip:light-dark(#ffffff, #2a2a2a);--chip-hover:light-dark(#f6effe, #3c3550);--text:light-dark(#2e3436, #d4d4d4);--muted:light-dark(#565656, #a6a6a6);--line:light-dark(#dadada, #3a3a3a);--line-strong:light-dark(#8b8b8b, #8d8d8d);--code-bg:light-dark(#fafafa, #1a1a1a);--accent:light-dark(#9039ee, #c8a6fb);--link:var(--accent);--link-underline:light-dark(rgb(144 57 238 / 32%), rgb(200 166 251 / 38%));--support-link:light-dark(#a82d6a, #e1a0c1)}: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:20px auto;padding:0 10px 12px;background:var(--bg);color:var(--text);font-family:var(--font-body);font-size:var(--fs-body);line-height:1.6;font-kerning:normal;text-rendering:optimizeLegibility}h1,h2,h3,h4,h5,h6{font-family:var(--font-display);font-weight:600;letter-spacing:-.02em;line-height:1.2;margin:36px 0 10px}h1{font-size:var(--fs-1);margin-top:0;text-decoration:underline;text-decoration-color:var(--accent);text-decoration-thickness:.085em;text-underline-offset:.135em}.site-title{font-size:var(--fs-1)}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}a:hover,a:focus-visible{text-decoration-color:initial}hr{border:0;border-top:1px solid var(--line);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;align-items:center;justify-content:space-between;gap:12px;margin-bottom:24px;padding:5px 6px;background:var(--tray);border:1px solid var(--line);border-radius:var(--radius);font-family:var(--font-display);font-size:var(--fs-sm)}body>nav a{display:inline-flex;align-items:center;gap:6px;padding:3px 9px;border:1px solid var(--line);border-radius:var(--radius);background:var(--chip);color:var(--text);line-height:1.2;text-decoration:none}body>nav a:hover,body>nav a:focus-visible,.theme-toggle:hover,.theme-toggle:focus-visible{border-color:var(--accent);background:var(--chip-hover);color:var(--link)}body>nav a:active,.theme-toggle:active{border-color:var(--accent);background:var(--accent);color:var(--bg)}body>nav span{display:inline-flex;gap:6px}.nav-icon{flex:none;width:14px;height:14px;color:var(--muted)}body>nav a:hover .nav-icon,body>nav a:focus-visible .nav-icon,.theme-toggle:hover .nav-icon,.theme-toggle:focus-visible .nav-icon{color:inherit}.theme-toggle{display:none;align-items:center;gap:6px;padding:3px 9px;border:1px solid var(--line);border-radius:var(--radius);background:var(--chip);font:inherit;line-height:1.2;color:var(--text);cursor:pointer}:root[data-js] .theme-toggle{display:inline-flex}.site-footer{display:flex;align-items:center;justify-content:space-between;gap:12px;margin-top:24px;padding-top:16px;border-top:1px solid var(--line)}.sponsor{display:inline-flex;align-items:center;gap:6px;padding:3px 9px;border:1px solid color-mix(in srgb,var(--support-link) 35%,transparent);border-radius:var(--radius);background:color-mix(in srgb,var(--support-link) 8%,transparent);color:var(--support-link);font-family:var(--font-display);font-size:var(--fs-sm);line-height:1.2;text-decoration:none}.sponsor:hover,.sponsor:focus-visible{border-color:var(--support-link);background:color-mix(in srgb,var(--support-link) 14%,transparent)}.sponsor:active{background:var(--support-link);border-color:var(--support-link);color:var(--bg)}.sponsor-heart{flex:none;width:14px;height:14px}.site-mark{width:36px;height:36px;background:var(--muted);-webkit-mask:url(../logo_animated.svg)no-repeat center/contain;mask:url(../logo_animated.svg)no-repeat center/contain}.site-mark:hover,.site-mark:focus-visible{background:var(--link)}.avatar{float:right;width:96px;height:96px;margin:0 0 12px 16px;border-radius:var(--radius);border:1px solid var(--line)}.muted{color:var(--muted)}.index-heading{margin:36px 0 14px;padding-bottom:6px;border-bottom:1px solid var(--line)}.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:7rem minmax(0,1fr);margin-bottom:12px}.project-list li{grid-template-columns:7rem minmax(0,1fr);margin-bottom:8px}.row-date{grid-row:1;grid-column:1;font-family:var(--font-mono);font-size:var(--fs-xs);color:var(--muted);font-variant-numeric:tabular-nums;white-space:nowrap}.row-title{grid-row:1;font-family:var(--font-display);letter-spacing:-.01em}.index-list .row-title{color:var(--text);font-weight:600;text-decoration-color:transparent}.index-list .row-title:hover,.index-list .row-title:focus-visible{color:var(--link);text-decoration-color:initial}.post-list .row-title{grid-column:2}.project-list .row-title{grid-column:1}.row-sub{color:var(--muted);font-size:var(--fs-sm);line-height:1.4}.post-list .row-sub{grid-row:2;grid-column:2}.project-list .row-sub{grid-row:1;grid-column:2}.tag-index a{margin-right:8px}.post-meta{margin-top:-4px;margin-bottom:28px;font-family:var(--font-mono);font-size:var(--fs-xs)}.post-meta a{color:inherit}.post-deck{margin:-6px 0 10px;font-size:var(--fs-3);line-height:1.35;color:var(--muted)}.post-nav-foot{display:grid;grid-template-columns:1fr 1fr;gap:24px;margin-top:36px;padding-top:16px;border-top:1px solid var(--line);font-family:var(--font-mono);font-size:var(--fs-xs);line-height:1.7;color:var(--muted)}.post-nav-foot a{color:var(--accent);text-decoration-color:var(--link-underline);font-family:var(--font-display);font-size:var(--fs-sm);letter-spacing:-.01em}.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(--accent);opacity:.5}.content-heading a:hover::before,.content-heading a:focus-visible::before{opacity:1}.toc{margin-bottom:24px;font-family:var(--font-display)}.toc ul{margin:0;padding-left:0;list-style:none}.toc ul ul{padding-left:14px}.toc li{padding-left:14px;text-indent:-14px;margin-bottom:4px;line-height:1.35}.toc a{color:var(--muted);text-decoration:none}.toc a:hover,.toc a:focus-visible{color:var(--link)}.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:600;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);border-radius:2px;padding:1px 4px}pre{overflow-x:auto;padding:12px;border:1px solid var(--line);border-radius:var(--radius);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%}.table-wrapper{margin-bottom:16px;border:1px solid var(--line);border-radius:var(--radius)}.table-wrapper table{margin-bottom:0}.katex-display{overflow-y:hidden}table{border-collapse:collapse;width:100%;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:600;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);display:flex;gap:10px;margin:16px 0;padding:10px 12px;border-left:3px solid var(--alert-color);background:color-mix(in srgb,var(--bg) 90%,var(--alert-color))}.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-icon{flex:none;width:18px;height:18px;margin-top:4px;color:var(--alert-color)}.alert-content{min-width:0}.alert-title{font-weight:700;margin-bottom:4px}.alert-content>:last-child,.alert-content 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:11.5px}.column-inner{min-width:0;overflow-wrap:break-word}.column-inner>:first-child{margin-top:0}.column-inner>:last-child{margin-bottom:0}.column-header{font-weight:700}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}sup{position:relative;top:-.45em;vertical-align:baseline;font-size:.72em;line-height:0}.footnotes{margin-top:32px;font-size:var(--fs-sm);overflow-wrap:anywhere}.footnotes li::marker{color:var(--accent);font-family:var(--font-mono);font-size:.85em}.footnotes p{white-space:normal;margin-bottom:0}.footnotes a{color:var(--link)}.sidenote{display:none}.sidenote-number{color:var(--accent);font-family:var(--font-mono);font-size:.85em;margin-right:6px}@media(min-width:1180px){.toc-fold{display:none}.toc-rail{display:block;position:absolute;right:100%;box-sizing:border-box;width:var(--rail);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}}@media(max-width:680px){body{margin-top:14px}:root{--fs-1:28px;--fs-2:22px}.post-deck{margin-top:0}.avatar{width:72px;height:72px;margin:0 0 10px 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 .row-title,.post-list .row-sub{grid-column:1}.post-list .row-date{grid-row:3}.project-list li{grid-template-columns:1fr}.project-list .row-sub{grid-row:2;grid-column:1}}@media(max-width:480px){.post-nav-foot{grid-template-columns:1fr;gap:14px}.post-nav-next{grid-column:1;text-align:left}.nav-label{display:none}body>nav a,.theme-toggle{padding:5px 9px}}.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(#018355,#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(#057d9b,#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(#727272,#6a9955)}.chroma .cpf{color:light-dark(#727272,#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(#eeeeee,#2d2d2d)}