:root{color-scheme:light dark;--bg:#fcfcfa;--fg:#1c1c1a;--muted:#676761;--rule:#e4e3de;--link:#1d4ed8;--code-bg:#f7f7f7;--diagram-bg:#ffffff;--measure:40rem}@media(prefers-color-scheme:dark){:root{--bg:#121211;--fg:#e6e4df;--muted:#9d9b95;--rule:#2c2b29;--link:#93b4ff;--code-bg:#0d1117;--diagram-bg:#f4f3ef}}*,*::before,*::after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;text-size-adjust:100%}body{margin:0 auto;max-width:var(--measure);padding:2.5rem 1rem 4rem;background:var(--bg);color:var(--fg);font:1.0625rem/1.65 system-ui,-apple-system,segoe ui,Roboto,helvetica neue,Arial,sans-serif;overflow-wrap:break-word}a{color:var(--link);text-decoration-thickness:1px;text-underline-offset:.15em}a:hover{text-decoration-thickness:2px}.skip{position:absolute;left:-999rem}.skip:focus{left:1rem;top:1rem;padding:.25rem .5rem;background:var(--bg)}.site-header{display:flex;flex-wrap:wrap;gap:.5rem 1.5rem;justify-content:space-between;align-items:baseline;margin-bottom:3rem}.site-title{color:var(--fg);font-weight:600;text-decoration:none}.site-header nav{display:flex;gap:1rem}.site-header nav a{color:var(--muted);text-decoration:none}.site-header nav a:hover{color:var(--fg)}.site-footer{margin-top:4rem;padding-top:1rem;border-top:1px solid var(--rule);color:var(--muted);font-size:.875rem}.intro{margin-bottom:2.5rem}.year h2{margin:2rem 0 .5rem;color:var(--muted);font-size:1rem}.posts{margin:0;padding:0;list-style:none}.posts li{display:grid;grid-template-columns:3.75rem 1fr;gap:1rem;padding:.3rem 0}.posts time{color:var(--muted);font-variant-numeric:tabular-nums;white-space:nowrap}.posts time.same-day{position:absolute;left:-999rem}.posts .entry{grid-column:2}.tags{margin-left:.25rem;font-size:.875rem}.tags a,.meta a{color:var(--muted)}.terms{display:flex;flex-wrap:wrap;gap:.5rem 1.25rem;padding:0;list-style:none}.count,.empty{color:var(--muted)}.count{font-size:.85rem}h1,h2,h3,h4{margin:2em 0 .6em;line-height:1.25}h1{margin-top:0;font-size:1.75rem}h2{font-size:1.3rem}h3{font-size:1.1rem}.anchor{margin-left:.2rem;color:var(--muted);text-decoration:none;opacity:0}.anchor::after{content:"#"}:is(h2,h3,h4):hover .anchor,.anchor:focus{opacity:1}.post>header{margin-bottom:2rem}.meta{margin:.5rem 0 0;color:var(--muted);font-size:.9rem}.toc{margin-bottom:2rem;padding-left:1rem;border-left:2px solid var(--rule);font-size:.95rem}.toc ul{margin:0;padding-left:1rem}.toc>nav>ul{padding-left:0;list-style:none}p,ul,ol,dl,pre,table,blockquote,.highlight{margin:0 0 1.25rem}img{max-width:100%;height:auto}figure{margin:2rem 0}figure img{display:block;margin:0 auto}figcaption{margin-top:.5rem;color:var(--muted);font-size:.875rem;text-align:center}.diagram{width:min(100vw - 2rem,64rem);margin-left:calc(50% - min(50vw - 1rem,32rem))}.gallery{display:grid;grid-template-columns:repeat(auto-fit,minmax(14rem,1fr));gap:1rem;align-items:start;width:min(100vw - 2rem,64rem);margin:2rem 0 2rem calc(50% - min(50vw - 1rem,32rem))}.gallery figure{margin:0}.diagram a{display:block;width:fit-content;max-width:100%;margin:0 auto;padding:.75rem;border-radius:6px;background:var(--diagram-bg)}code,kbd,pre{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,liberation mono,monospace}code{padding:.1em .3em;border-radius:4px;background:var(--code-bg);font-size:.875em}pre{overflow-x:auto;padding:.9rem 1rem;border-radius:6px;background:var(--code-bg);font-size:.85rem;line-height:1.5}pre code{padding:0;background:0 0;font-size:inherit}.highlight pre{margin:0}kbd{padding:.05em .35em;border:1px solid var(--rule);border-radius:4px;font-size:.85em}blockquote{margin-left:0;padding-left:1rem;border-left:3px solid var(--rule);color:var(--muted)}hr{margin:2.5rem 0;border:0;border-top:1px solid var(--rule)}table{display:block;overflow-x:auto;border-collapse:collapse}th,td{padding:.4rem .75rem;border-bottom:1px solid var(--rule);text-align:left;vertical-align:top}.footnotes{color:var(--muted);font-size:.9rem}.pager{display:flex;gap:1rem;justify-content:space-between;margin-top:3rem;padding-top:1rem;border-top:1px solid var(--rule);font-size:.95rem}.pager .newer{margin-left:auto;text-align:right}@media(max-width:30rem){body{padding-top:1.5rem}.posts li{gap:.75rem}}@media print{.site-header nav,.pager,.anchor,.skip{display:none}a{color:inherit}}.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}}