:root{--bg:#fbfbfc;--fg:#1b1d22;--subtle:#5b5f68;--rule:#dcdee3;--accent:#0e6b5c;--field:#f1f2f4;--font-sans:system-ui, -apple-system, "Segoe UI", Roboto, Ubuntu, "Helvetica Neue", sans-serif;--font-serif:Charter, "Bitstream Charter", "Sitka Text", Cambria, Georgia, serif;--font-mono:ui-monospace, SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;--page-width:58rem;--measure:34em;--date-column:7.5rem;color-scheme:light dark}@media(prefers-color-scheme:dark){:root{--bg:#16171a;--fg:#e7e5e0;--subtle:#a0a2a8;--rule:#2f3137;--accent:#63d2ba;--field:#1f2125}}*,*::before,*::after{box-sizing:border-box}html{background:var(--bg);scrollbar-gutter:stable;-webkit-text-size-adjust:100%;text-size-adjust:100%}body{max-width:var(--page-width);margin:0 auto;padding:2.5rem 2rem 3rem;background:var(--bg);color:var(--fg);font-family:var(--font-sans);font-size:1.0625rem;line-height:1.6}@media(max-width:600px){body{padding:1.5rem 1rem 2rem}}a{color:var(--accent);text-decoration-thickness:1px;text-underline-offset:.2em}a:focus-visible,input:focus-visible,button:focus-visible,summary:focus-visible{outline:2px solid var(--accent);outline-offset:2px}h1,h2,h3,h4,h5,h6{font-family:var(--font-sans);color:var(--fg);text-wrap:balance}img,video{max-width:100%;height:auto;border-radius:4px}.visually-hidden{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap}.site-header{display:flex;flex-wrap:wrap;justify-content:space-between;align-items:flex-start;gap:1rem 3rem;padding-bottom:1.25rem;margin-bottom:3.5rem;border-bottom:1px solid var(--rule)}.site-title{flex:1 1 18rem}.site-title>a{font-size:1.375rem;font-weight:700;letter-spacing:-.015em;line-height:1.2;color:var(--fg);text-decoration:none}.site-tagline{margin:.25rem 0 0;font-size:1rem;color:var(--subtle)}.site-tools{display:flex;flex-wrap:wrap;align-items:center;gap:.75rem 1.75rem}.site-nav{display:flex;gap:1.5rem;font-size:1rem;font-weight:500}.site-nav a{color:var(--fg);text-decoration:none}.site-nav a:hover{text-decoration:underline}.site-nav a[aria-current=page]{color:var(--accent)}.search-form{position:relative;margin:0}.search-input input{width:11rem;margin:0;padding:.3rem .875rem;font:inherit;font-size:.9375rem;color:var(--fg);background:var(--field);border:1px solid var(--rule);border-radius:999px}.search-input input:focus{border-color:var(--accent)}.search-results{position:absolute;top:calc(100% + .375rem);right:0;z-index:1;width:min(24rem,calc(100vw - 2rem));margin:0;padding:.25rem 0;list-style:none;background:var(--bg);border:1px solid var(--rule);border-radius:8px;box-shadow:0 6px 20px rgb(0 0 0/.12)}.search-results li{padding:.5rem .875rem;font-size:.9375rem;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;cursor:pointer}.search-results li.selected{background:var(--field)}.search-results li a{color:var(--fg);text-decoration:none}.search-results li.selected a{color:var(--accent)}@media(max-width:600px){.site-tools{width:100%}.search-form{flex:1 1 100%}.search-input input{width:100%}.site-header{margin-bottom:2.5rem}.search-results{right:auto;left:0}}.entry-list{margin:0;padding:0;list-style:none}.entry-list li{display:grid;grid-template-columns:var(--date-column)minmax(0,1fr);column-gap:2.25rem;align-items:baseline}.entry-list li+li{margin-top:1.25rem}.entry-list time{grid-column:1;font-size:.9375rem;color:var(--subtle);font-variant-numeric:tabular-nums}.entry-list li>:last-child{grid-column:2}.entry-list a{font-size:1.3125rem;font-weight:600;letter-spacing:-.012em;line-height:1.35;color:var(--fg);text-decoration:none}.entry-list a:hover{color:var(--accent)}@media(max-width:600px){.entry-list li{grid-template-columns:minmax(0,1fr)}.entry-list li>:last-child{grid-column:1}.entry-list li+li{margin-top:1.5rem}}.entry-note{margin:.125rem 0 0;font-size:.9375rem;color:var(--subtle)}.project-list{max-width:40rem;margin:0;padding:0;list-style:none}.project-list li+li{margin-top:1.5rem}.project-list .p-name{font-size:1.3125rem;font-weight:600;color:var(--fg);text-decoration:none}.project-list summary{cursor:pointer}.post,.page{max-width:var(--measure);margin:0 auto;font-size:1.25rem}.post-header time{display:block;margin-bottom:.5rem;font-size:.9375rem;color:var(--subtle);font-variant-numeric:tabular-nums}.post-header h1{margin:0 0 2.5rem;font-size:clamp(2rem,1.25rem + 3vw,2.625rem);font-weight:750;letter-spacing:-.025em;line-height:1.12}.post-header h1 a{color:inherit;text-decoration:none}.lastmod{text-align:center;margin:3.5rem 0 0;font-size:.9375rem;color:var(--subtle)}.lastmod a{color:inherit}.e-content{font-family:var(--font-serif);line-height:1.65;overflow-wrap:break-word}.e-content p,.e-content ul,.e-content ol,.e-content dl{margin:0 0 1em}.e-content li+li{margin-top:.25em}.e-content h2{margin:1.9em 0 .4em;font-size:1.3em;font-weight:700;letter-spacing:-.015em;line-height:1.25}.e-content h3{margin:1.5em 0 .4em;font-size:.95em;font-weight:650;line-height:1.35}.e-content h4,.e-content h5,.e-content h6{margin:1.4em 0 .3em;font-size:.85em;font-weight:650}.e-content :is(h2,h3,h4,h5,h6) a{color:inherit;text-decoration:none}.e-content :is(h2,h3,h4,h5,h6) a:hover{text-decoration:underline}.e-content a{text-decoration-line:underline}.e-content blockquote{margin:1.4em 0;padding:0 0 0 1.25em;border-left:2px solid var(--rule);color:var(--subtle)}.e-content hr{margin:2.5em auto;width:30%;border:0;border-top:1px solid var(--rule)}.e-content figure{margin:2em 0;text-align:center}.e-content figcaption{margin-top:.5rem;font-family:var(--font-sans);font-size:.9375rem;color:var(--subtle)}.e-content figcaption a{color:inherit}.e-content figure video{display:block;width:100%}.e-content .katex-display{overflow-x:auto;overflow-y:hidden}.e-content table{display:block;max-width:100%;overflow-x:auto;margin:1.5em 0;border-collapse:collapse;font-family:var(--font-sans);font-size:.85em;font-variant-numeric:tabular-nums}.e-content th,.e-content td{padding:.4em .9em;border-bottom:1px solid var(--rule);text-align:left;vertical-align:top}.e-content th{font-weight:650;border-bottom-color:var(--subtle)}.e-content sup{line-height:0}.footnotes{margin-top:3em;font-size:.85em}code,kbd,samp,pre{font-family:var(--font-mono)}:not(pre)>code{padding:.1em .3em;font-size:.8em;background:var(--field);border-radius:4px}pre{margin:1.5em 0;padding:1.25rem 1.5rem;overflow-x:auto;font-size:.9375rem;line-height:1.6;background:var(--field);border:1px solid var(--rule);border-radius:8px}.highlight>pre{background:var(--field)}.e-content .highlight{margin:1.5em 0}.e-content .highlight pre{margin:0}aside.toc{margin:0 0 2em;font-family:var(--font-sans);font-size:.85em}aside.toc>h3{margin:0 0 .25em}aside.toc ul{margin:0;padding-left:1.25em}.search-page{max-width:40rem}.search-page h1{margin:0 0 1.5rem;font-size:2rem;letter-spacing:-.02em}.search-page-form{display:flex;gap:.5rem;margin-bottom:1rem}.search-page-form input,.search-page-form button{font:inherit;font-size:1rem;color:var(--fg);background:var(--field);border:1px solid var(--rule);border-radius:999px;padding:.4rem 1rem}.search-page-form input{flex:1;min-width:0}.search-page-form input:focus{border-color:var(--accent)}.search-page-form button{cursor:pointer}.search-summary{color:var(--subtle)}.search-page-results{margin:0;padding:0;list-style:none}.search-result+.search-result{margin-top:1.75rem}.search-result .heading{margin:0;font-size:1.3125rem;font-weight:600;line-height:1.35}.search-result .heading a{color:var(--fg);text-decoration:none}.search-result .heading a:hover{color:var(--accent)}.search-result .subheading{margin:0;font-size:.9375rem;color:var(--subtle)}.search-snippet{margin:.25rem 0 0}.search-snippet mark{background:0 0;color:inherit;font-weight:650}.site-footer{display:flex;flex-wrap:wrap;justify-content:space-between;gap:.5rem 1.5rem;margin-top:5rem;padding-top:1.125rem;border-top:1px solid var(--rule);font-size:.9375rem;color:var(--subtle)}.site-footer a{color:inherit}@media(prefers-color-scheme:light){.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0;width:auto;overflow:auto;display:block}.chroma .hl{display:block;width:100%;background-color:#ffc}.chroma .lnt{margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .ln{margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .k{color:green;font-weight:700}.chroma .kc{color:green;font-weight:700}.chroma .kd{color:green;font-weight:700}.chroma .kn{color:green;font-weight:700}.chroma .kp{color:green}.chroma .kr{color:green;font-weight:700}.chroma .kt{color:#b00040}.chroma .na{color:#7d9029}.chroma .nb{color:green}.chroma .nc{color:#00f;font-weight:700}.chroma .no{color:#800}.chroma .nd{color:#a2f}.chroma .ni{color:#999;font-weight:700}.chroma .ne{color:#d2413a;font-weight:700}.chroma .nf{color:#00f}.chroma .nl{color:#a0a000}.chroma .nn{color:#00f;font-weight:700}.chroma .nt{color:green;font-weight:700}.chroma .nv{color:#19177c}.chroma .s{color:#ba2121}.chroma .sa{color:#ba2121}.chroma .sb{color:#ba2121}.chroma .sc{color:#ba2121}.chroma .dl{color:#ba2121}.chroma .sd{color:#ba2121;font-style:italic}.chroma .s2{color:#ba2121}.chroma .se{color:#b62;font-weight:700}.chroma .sh{color:#ba2121}.chroma .si{color:#b68;font-weight:700}.chroma .sx{color:green}.chroma .sr{color:#b68}.chroma .s1{color:#ba2121}.chroma .ss{color:#19177c}.chroma .m{color:#666}.chroma .mb{color:#666}.chroma .mf{color:#666}.chroma .mh{color:#666}.chroma .mi{color:#666}.chroma .il{color:#666}.chroma .mo{color:#666}.chroma .o{color:#666}.chroma .ow{color:#a2f;font-weight:700}.chroma .c{color:#408080;font-style:italic}.chroma .ch{color:#408080;font-style:italic}.chroma .cm{color:#408080;font-style:italic}.chroma .c1{color:#408080;font-style:italic}.chroma .cs{color:#408080;font-style:italic}.chroma .cp{color:#bc7a00}.chroma .cpf{color:#bc7a00}.chroma .gd{color:#a00000}.chroma .ge{font-style:italic}.chroma .gr{color:red}.chroma .gh{color:navy;font-weight:700}.chroma .gi{color:#00a000}.chroma .go{color:#888}.chroma .gp{color:navy;font-weight:700}.chroma .gs{font-weight:700}.chroma .gu{color:purple;font-weight:700}.chroma .gt{color:#04d}.chroma .gl{text-decoration:underline}.chroma .w{color:#bbb}}@media(prefers-color-scheme:dark){.chroma{color:#f8f8f2;background-color:#272822}.chroma .err{color:#960050;background-color:#1e0010}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0;width:auto;overflow:auto;display:block}.chroma .hl{display:block;width:100%;background-color:#ffc}.chroma .lnt{margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .ln{margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .k{color:#66d9ef}.chroma .kc{color:#66d9ef}.chroma .kd{color:#66d9ef}.chroma .kn{color:#f92672}.chroma .kp{color:#66d9ef}.chroma .kr{color:#66d9ef}.chroma .kt{color:#66d9ef}.chroma .na{color:#a6e22e}.chroma .nc{color:#a6e22e}.chroma .no{color:#66d9ef}.chroma .nd{color:#a6e22e}.chroma .ne{color:#a6e22e}.chroma .nf{color:#a6e22e}.chroma .nx{color:#a6e22e}.chroma .nt{color:#f92672}.chroma .l{color:#ae81ff}.chroma .ld{color:#e6db74}.chroma .s{color:#e6db74}.chroma .sa{color:#e6db74}.chroma .sb{color:#e6db74}.chroma .sc{color:#e6db74}.chroma .dl{color:#e6db74}.chroma .sd{color:#e6db74}.chroma .s2{color:#e6db74}.chroma .se{color:#ae81ff}.chroma .sh{color:#e6db74}.chroma .si{color:#e6db74}.chroma .sx{color:#e6db74}.chroma .sr{color:#e6db74}.chroma .s1{color:#e6db74}.chroma .ss{color:#e6db74}.chroma .m{color:#ae81ff}.chroma .mb{color:#ae81ff}.chroma .mf{color:#ae81ff}.chroma .mh{color:#ae81ff}.chroma .mi{color:#ae81ff}.chroma .il{color:#ae81ff}.chroma .mo{color:#ae81ff}.chroma .o{color:#f92672}.chroma .ow{color:#f92672}.chroma .c{color:#75715e}.chroma .ch{color:#75715e}.chroma .cm{color:#75715e}.chroma .c1{color:#75715e}.chroma .cs{color:#75715e}.chroma .cp{color:#75715e}.chroma .cpf{color:#75715e}.chroma .gd{color:#f92672}.chroma .ge{font-style:italic}.chroma .gi{color:#a6e22e}.chroma .gs{font-weight:700}.chroma .gu{color:#75715e}}