:root{--bg:#fbfaf7;--text:#1c1c1e;--muted:#6b6a70;--rule:#e4e1da;--accent:#a8481f;--accent-soft:#f5e6dc;--code-bg:#f2f0eb;--measure:42rem;--serif:"Iowan Old Style", "Palatino Linotype", Palatino, "Book Antiqua", Georgia, serif;--sans:-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--mono:ui-monospace, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace;color-scheme:light}@media(prefers-color-scheme:dark){:root{--bg:#131315;--text:#e7e5e1;--muted:#9b9aa0;--rule:#2a2a2e;--accent:#e3906a;--accent-soft:#35231a;--code-bg:#1c1c20;color-scheme:dark}}*,*::before,*::after{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{margin:0;background:var(--bg);color:var(--text);font-family:var(--serif);font-size:1.125rem;line-height:1.65}.wrap{max-width:var(--measure);margin:0 auto;padding:0 1rem}a{color:var(--accent);text-underline-offset:.15em}a:hover{text-decoration-thickness:2px}h1,h2,h3,h4{font-family:var(--sans);line-height:1.25;letter-spacing:-.01em}h1{font-size:2rem;margin:2.5rem 0 1rem}h2{font-size:1.4rem;margin:2.25rem 0 .75rem}h3{font-size:1.15rem;margin:1.75rem 0 .5rem}.muted{color:var(--muted)}.site-header{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:.5rem 1.5rem;padding-top:1.75rem;padding-bottom:1.25rem;border-bottom:1px solid var(--rule);font-family:var(--sans)}.site-title{color:var(--text);font-weight:650;font-size:1.1rem;text-decoration:none}.site-nav{display:flex;gap:1.25rem;font-size:.95rem}.site-nav a{color:var(--muted);text-decoration:none}.site-nav a:hover,.site-nav a[aria-current=page]{color:var(--text)}.site-footer{margin-top:4rem;padding-top:1.25rem;padding-bottom:2.5rem;border-top:1px solid var(--rule);font-family:var(--sans);font-size:.9rem;color:var(--muted)}.site-footer p{margin:.5rem 0 0}.social{display:flex;flex-wrap:wrap;gap:1rem}.social a{color:var(--muted)}.social a:hover{color:var(--text)}.intro{margin-top:2.5rem;font-size:1.2rem}.section-label{font-size:.8rem;text-transform:uppercase;letter-spacing:.08em;color:var(--muted);margin-top:3rem}.post-list{list-style:none;padding:0;margin:1rem 0}.post-list li{margin:0 0 1.5rem}.post-list-head{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:0 1rem}.post-list-head a{font-family:var(--sans);font-weight:600;font-size:1.1rem}.post-list time{color:var(--muted);font-family:var(--sans);font-size:.85rem;white-space:nowrap}.post-list p{margin:.25rem 0 0;color:var(--muted);font-size:1rem}.post-header .meta{color:var(--muted);font-family:var(--sans);font-size:.9rem;margin-top:-.25rem}.post-header .meta a{color:var(--muted)}.toc{font-family:var(--sans);font-size:.9rem;border-left:2px solid var(--rule);padding-left:1rem;margin:1.5rem 0}.toc ul{padding-left:1rem;margin:.25rem 0}.prose img,.prose video,.prose svg{max-width:100%;height:auto}.prose figure{margin:2rem 0}.prose figcaption{color:var(--muted);font-family:var(--sans);font-size:.9rem;margin-top:.5rem}.prose blockquote{margin:1.5rem 0;padding-left:1rem;border-left:3px solid var(--rule);color:var(--muted)}.prose hr{border:0;border-top:1px solid var(--rule);margin:2.5rem 0}.prose table{display:block;overflow-x:auto;border-collapse:collapse;font-family:var(--sans);font-size:.95rem;margin:1.5rem 0}.prose th,.prose td{border-bottom:1px solid var(--rule);padding:.4rem .75rem;text-align:left}.prose th{font-weight:600}code,pre{font-family:var(--mono);font-size:.88em}:not(pre)>code{background:var(--code-bg);padding:.1em .35em;border-radius:4px}pre{overflow-x:auto;padding:1rem;border-radius:6px;line-height:1.5}.prose pre,.prose .chroma{background:var(--code-bg)!important}.footnotes{font-size:.95rem;color:var(--muted)}.diagram svg{display:block;width:100%;max-width:30rem;height:auto;margin:0 auto;font-family:var(--sans)}.diagram figcaption{text-align:center}.diagram .box{fill:var(--code-bg);stroke:var(--rule);stroke-width:1.5}.diagram .box-accent{fill:var(--accent-soft);stroke:var(--accent);stroke-width:1.5}.diagram .badge{fill:var(--bg);stroke:var(--muted);stroke-width:1.25}.diagram .badge-accent{fill:var(--bg);stroke:var(--accent);stroke-width:1.5}.diagram .t-strong{fill:var(--text);font-size:16px;font-weight:600}.diagram .t-muted{fill:var(--muted);font-size:13.5px}.diagram .t-badge{fill:var(--muted);font-size:13px;font-weight:600}.diagram .t-accent{fill:var(--accent);font-size:13.5px}.diagram .t-badge-accent{fill:var(--accent);font-size:13px;font-weight:600}.diagram .line{stroke:var(--muted);stroke-width:1.5;fill:none}.diagram .line-accent{stroke:var(--accent);stroke-width:2;fill:none}.diagram .head{fill:var(--muted)}.diagram .head-accent{fill:var(--accent)}.diagram .piece-on{fill:var(--accent)}.diagram .piece-off{fill:none;stroke:var(--muted);stroke-width:1.25}.diagram .cell{fill:var(--bg);stroke:var(--rule);stroke-width:1.5}.diagram .t-label{fill:var(--muted);font-size:12px;letter-spacing:.04em;text-transform:uppercase}.katex-display{overflow-x:auto;overflow-y:hidden}@media(max-width:30rem){body{font-size:1.05rem}h1{font-size:1.65rem}.intro{font-size:1.1rem}}@media(prefers-color-scheme:light){.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}}