:root{--bg:#fdfdfc;--fg:#1a1a19;--fg-muted:#6b6b66;--accent:#0b5fa5;--rule:#e3e3df;--code-bg:#f5f5f2;--measure:48rem;--font-text:ui-serif, Charter, "Bitstream Charter", Georgia, serif;--font-ui:ui-sans-serif, system-ui, -apple-system, "Helvetica Neue", sans-serif;--font-mono:ui-monospace, "SF Mono", Menlo, Consolas, monospace}@media(prefers-color-scheme:dark){:root{--bg:#16171a;--fg:#e6e6e3;--fg-muted:#9a9a94;--accent:#6cb6f5;--rule:#2c2e33;--code-bg:#1e2024}}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{margin:0;background:var(--bg);color:var(--fg);font:1.0625rem/1.65 var(--font-text);padding:0 1.25rem}.skip{position:absolute;left:-9999px}.skip:focus{position:static;display:inline-block;padding:.5rem}a{color:var(--accent);text-decoration-thickness:1px;text-underline-offset:2px}a:hover{text-decoration-style:solid}.site-head,main,.site-foot{max-width:var(--measure);margin-inline:auto}.content>p,.content>ul,.content>ol,.content>blockquote,.intro,.summary{max-width:40rem}.site-head{display:flex;flex-wrap:wrap;gap:.5rem 1.25rem;align-items:baseline;justify-content:space-between;padding:2.5rem 0 0;font-family:var(--font-ui)}.brand{font-weight:600;font-size:1rem;letter-spacing:-.01em;color:var(--fg);text-decoration:none;font-family:var(--font-mono)}.site-head nav{display:flex;gap:1rem;font-size:.875rem}.site-head nav a{color:var(--fg-muted);text-decoration:none}.site-head nav a:hover{color:var(--accent)}main{padding:3rem 0 4rem}.site-foot{border-top:1px solid var(--rule);padding:1.5rem 0 3rem;font:.8125rem/1.5 var(--font-ui);color:var(--fg-muted)}.site-foot a{color:var(--fg-muted)}h1,h2,h3,h4{font-family:var(--font-ui);line-height:1.25;letter-spacing:-.015em;margin:2.5rem 0 .75rem}h1{font-size:1.75rem;font-weight:650;margin-top:0}h2{font-size:1.3125rem;font-weight:620}h3{font-size:1.0625rem;font-weight:620}.intro{margin-bottom:3rem}.intro h1{font-family:var(--font-mono);font-size:1.5rem}.tagline{color:var(--fg-muted);margin:.5rem 0 0}.post-list{list-style:none;margin:0;padding:0}.post-list>li{padding-bottom:1.75rem;margin-bottom:1.75rem;border-bottom:1px solid var(--rule)}.post-list>li:last-child{border-bottom:0}.post-link{font-family:var(--font-ui);font-size:1.1875rem;font-weight:600;color:var(--fg);text-decoration:none;letter-spacing:-.015em}.post-link:hover{color:var(--accent)}.meta{font:.8125rem/1.5 var(--font-ui);color:var(--fg-muted);margin-top:.3rem}.dot{margin:0 .4rem}.summary{margin:.6rem 0 0;color:var(--fg-muted);font-size:.9375rem}.post-head{margin-bottom:2.5rem}.content>*+*{margin-top:1.15rem}.content>h2,.content>h3{margin-top:2.5rem}blockquote{margin:1.5rem 0;padding-left:1rem;border-left:2px solid var(--rule);color:var(--fg-muted)}hr{border:0;border-top:1px solid var(--rule);margin:2.5rem 0}img,video,svg{max-width:100%;height:auto}figure{margin:2rem 0}figcaption{font:.8125rem/1.5 var(--font-ui);color:var(--fg-muted);margin-top:.5rem;text-align:center}.toc{font-family:var(--font-ui);font-size:.875rem;border:1px solid var(--rule);border-radius:4px;padding:1rem 1.25rem;margin-bottom:2.5rem}.toc h2{font-size:.75rem;text-transform:uppercase;letter-spacing:.06em;color:var(--fg-muted);margin:0 0 .5rem}.toc ul{margin:0;padding-left:1.1rem}.toc a{color:var(--fg-muted);text-decoration:none}.toc a:hover{color:var(--accent);text-decoration:underline}code,kbd,pre,samp{font-family:var(--font-mono)}:not(pre)>code{background:var(--code-bg);border-radius:3px;padding:.1em .35em;font-size:.875em}pre{background:var(--code-bg);border-radius:5px;padding:.9rem 1.1rem;overflow-x:auto;font-size:.8125rem;line-height:1.6;margin-inline:calc(-1 * clamp(0rem,4vw,3rem));padding-inline:clamp(1.1rem,4vw + 1.1rem,4.1rem)}pre code{background:0 0;padding:0;font-size:inherit}.highlight{margin:1.5rem 0}.content table{border-collapse:collapse;width:100%;font-size:.875rem;font-family:var(--font-ui)}.content th,.content td{text-align:left;padding:.45rem .7rem;border-bottom:1px solid var(--rule)}.content th{font-weight:600;border-bottom-width:2px}.content td:not(:first-child),.content th:not(:first-child){font-variant-numeric:tabular-nums}.table-wrap{overflow-x:auto;margin:1.5rem 0}.katex-display{overflow-x:auto;overflow-y:hidden;padding:.25rem 0}.bg{background-color:#f7f7f7}.chroma{background-color:#f7f7f7;-webkit-text-size-adjust:none}.chroma .err{color:#f6f8fa;background-color:#82071e}.chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.chroma .hl{background-color:#dedede}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .line{display:flex}.chroma .k{color:#cf222e}.chroma .kc{color:#cf222e}.chroma .kd{color:#cf222e}.chroma .kn{color:#cf222e}.chroma .kp{color:#cf222e}.chroma .kr{color:#cf222e}.chroma .kt{color:#cf222e}.chroma .na{color:#1f2328}.chroma .nc{color:#1f2328}.chroma .no{color:#0550ae}.chroma .nd{color:#0550ae}.chroma .ni{color:#6639ba}.chroma .nl{color:#900;font-weight:700}.chroma .nn{color:#24292e}.chroma .nx{color:#1f2328}.chroma .nt{color:#0550ae}.chroma .nb{color:#6639ba}.chroma .bp{color:#6a737d}.chroma .nv{color:#953800}.chroma .vc{color:#953800}.chroma .vg{color:#953800}.chroma .vi{color:#953800}.chroma .vm{color:#953800}.chroma .nf{color:#6639ba}.chroma .fm{color:#6639ba}.chroma .s{color:#0a3069}.chroma .sa{color:#0a3069}.chroma .sb{color:#0a3069}.chroma .sc{color:#0a3069}.chroma .dl{color:#0a3069}.chroma .sd{color:#0a3069}.chroma .s2{color:#0a3069}.chroma .se{color:#0a3069}.chroma .sh{color:#0a3069}.chroma .si{color:#0a3069}.chroma .sx{color:#0a3069}.chroma .sr{color:#0a3069}.chroma .s1{color:#0a3069}.chroma .ss{color:#032f62}.chroma .m{color:#0550ae}.chroma .mb{color:#0550ae}.chroma .mf{color:#0550ae}.chroma .mh{color:#0550ae}.chroma .mi{color:#0550ae}.chroma .il{color:#0550ae}.chroma .mo{color:#0550ae}.chroma .o{color:#0550ae}.chroma .ow{color:#0550ae}.chroma .or{color:#0550ae}.chroma .p{color:#1f2328}.chroma .c{color:#57606a}.chroma .ch{color:#57606a}.chroma .cm{color:#57606a}.chroma .c1{color:#57606a}.chroma .cs{color:#57606a}.chroma .cp{color:#57606a}.chroma .cpf{color:#57606a}.chroma .gd{color:#82071e;background-color:#ffebe9}.chroma .ge{color:#1f2328}.chroma .gi{color:#116329;background-color:#dafbe1}.chroma .go{color:#1f2328}.chroma .gl{text-decoration:underline}.chroma .w{color:#fff}@media(prefers-color-scheme:dark){.bg{color:#e6edf3;background-color:#0d1117}.chroma{color:#e6edf3;background-color:#0d1117;-webkit-text-size-adjust:none}.chroma .err{color:#f85149}.chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.chroma .hl{background-color:#6e7681}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#737679}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#6e7681}.chroma .line{display:flex}.chroma .k{color:#ff7b72}.chroma .kc{color:#79c0ff}.chroma .kd{color:#ff7b72}.chroma .kn{color:#ff7b72}.chroma .kp{color:#79c0ff}.chroma .kr{color:#ff7b72}.chroma .kt{color:#ff7b72}.chroma .nc{color:#f0883e;font-weight:700}.chroma .no{color:#79c0ff;font-weight:700}.chroma .nd{color:#d2a8ff;font-weight:700}.chroma .ni{color:#ffa657}.chroma .ne{color:#f0883e;font-weight:700}.chroma .nl{color:#79c0ff;font-weight:700}.chroma .nn{color:#ff7b72}.chroma .nx{color:#e6edf3}.chroma .py{color:#79c0ff}.chroma .nt{color:#7ee787}.chroma .nv{color:#79c0ff}.chroma .vc{color:#79c0ff}.chroma .vg{color:#79c0ff}.chroma .vi{color:#79c0ff}.chroma .vm{color:#79c0ff}.chroma .nf{color:#d2a8ff;font-weight:700}.chroma .fm{color:#d2a8ff;font-weight:700}.chroma .l{color:#a5d6ff}.chroma .ld{color:#79c0ff}.chroma .s{color:#a5d6ff}.chroma .sa{color:#79c0ff}.chroma .sb{color:#a5d6ff}.chroma .sc{color:#a5d6ff}.chroma .dl{color:#79c0ff}.chroma .sd{color:#a5d6ff}.chroma .s2{color:#a5d6ff}.chroma .se{color:#79c0ff}.chroma .sh{color:#79c0ff}.chroma .si{color:#a5d6ff}.chroma .sx{color:#a5d6ff}.chroma .sr{color:#79c0ff}.chroma .s1{color:#a5d6ff}.chroma .ss{color:#a5d6ff}.chroma .m{color:#a5d6ff}.chroma .mb{color:#a5d6ff}.chroma .mf{color:#a5d6ff}.chroma .mh{color:#a5d6ff}.chroma .mi{color:#a5d6ff}.chroma .il{color:#a5d6ff}.chroma .mo{color:#a5d6ff}.chroma .o{color:#ff7b72;font-weight:700}.chroma .ow{color:#ff7b72;font-weight:700}.chroma .or{color:#ff7b72;font-weight:700}.chroma .c{color:#8b949e;font-style:italic}.chroma .ch{color:#8b949e;font-style:italic}.chroma .cm{color:#8b949e;font-style:italic}.chroma .c1{color:#8b949e;font-style:italic}.chroma .cs{color:#8b949e;font-weight:700;font-style:italic}.chroma .cp{color:#8b949e;font-weight:700;font-style:italic}.chroma .cpf{color:#8b949e;font-weight:700;font-style:italic}.chroma .gd{color:#ffa198;background-color:#490202}.chroma .ge{font-style:italic}.chroma .gr{color:#ffa198}.chroma .gh{color:#79c0ff;font-weight:700}.chroma .gi{color:#56d364;background-color:#0f5323}.chroma .go{color:#8b949e}.chroma .gp{color:#8b949e}.chroma .gs{font-weight:700}.chroma .gu{color:#79c0ff}.chroma .gt{color:#ff7b72}.chroma .gl{text-decoration:underline}.chroma .w{color:#6e7681}}