@font-face{font-family:ibm plex sans;font-style:normal;font-weight:400 600;font-display:block;src:url(/fonts/IBMPlexSans.woff2)format("woff2")}@font-face{font-family:ibm plex sans;font-style:italic;font-weight:400;font-display:block;src:url(/fonts/IBMPlexSans-400-italic.woff2)format("woff2")}@font-face{font-family:ibm plex serif;font-style:normal;font-weight:400;font-display:block;src:url(/fonts/IBMPlexSerif-400.woff2)format("woff2")}@font-face{font-family:ibm plex serif;font-style:normal;font-weight:500;font-display:block;src:url(/fonts/IBMPlexSerif-500.woff2)format("woff2")}@font-face{font-family:ibm plex serif;font-style:italic;font-weight:400;font-display:block;src:url(/fonts/IBMPlexSerif-400-italic.woff2)format("woff2")}:root{--bg:#ffffff;--fg:#1f1d1b;--muted:#6f6a64;--faint:#a9a49d;--rule:#e7e4df;--code-bg:#f6f5f3;--accent:#1f1d1b;--serif:"IBM Plex Serif", Georgia, serif;--sans:"IBM Plex Sans", -apple-system, "Segoe UI", Helvetica, Arial, sans-serif;--mono:ui-monospace, "SF Mono", Menlo, Consolas, monospace;--font-size:17px;--sidebar-w:21rem;--measure:34rem;--title-size:2.1rem;--small:0.8rem;--meta:0.72rem;--tight:-0.01em;--header-overhang:5rem;--notes-w:14rem;--notes-gap:2rem;--gutter:clamp(1rem, 2.5vw, 2.5rem)}@media(max-width:600px){:root{--font-size:16px}}*,*::before,*::after{box-sizing:border-box}html{font-size:var(--font-size);scroll-behavior:smooth;scrollbar-gutter:stable}body{margin:0;min-width:20rem;background:var(--bg);color:var(--fg);font-family:var(--serif);line-height:1.6;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased}a{color:inherit;text-decoration:none}img{max-width:100%;height:auto}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.shell{min-height:100vh}.sidebar{position:fixed;top:0;left:0;width:var(--sidebar-w);height:100vh;overflow-y:auto;padding:clamp(5rem,14vh,9rem)1rem 2rem 4.5rem;font-family:var(--sans);font-size:.9rem}.brand{display:block;margin-bottom:1.75rem}.brand-mark{display:block;width:32px;height:32px}.nav{display:flex;flex-direction:column}.nav a{position:relative;padding:.2rem 0;color:var(--muted)}.nav a:hover{color:var(--fg)}.nav a.active{color:var(--fg);font-weight:500}.toc{margin-top:2.5rem;font-size:var(--small);line-height:1.45}.toc ul{list-style:none;margin:0;padding:0}.toc li{margin:0}.toc a{display:block;padding:.2rem 0;color:var(--muted)}.toc a:hover,.toc a.active{color:var(--fg)}.main{min-width:0;padding:clamp(5rem,14vh,9rem)var(--gutter)4rem}.page{max-width:var(--measure);margin:0 auto}.page-title,.post-title{margin:0 0 2rem;font-family:var(--sans);font-size:var(--title-size);font-weight:500;letter-spacing:var(--tight);line-height:1.12}.section-title,.toc-label{margin:0 0 .5rem;font-family:var(--sans);color:var(--faint);font-size:var(--meta);font-weight:400;letter-spacing:.1em;text-transform:uppercase}.section-title{margin-top:3rem}.post-list{list-style:none;margin:0;padding:0}.post-list li{display:grid;grid-template-columns:6rem minmax(0,1fr);gap:1rem;padding:.9rem 0}.post-list time{padding-top:.35em;color:var(--muted);font-family:var(--mono);font-size:var(--meta);font-variant-numeric:tabular-nums}.post-list-title{font-family:var(--sans);font-size:1.1rem;font-weight:500;line-height:1.3}.post-list-title:hover{text-decoration:underline;text-underline-offset:3px}.post-list-desc{margin:.4rem 0 0;color:var(--muted);font-family:var(--sans);font-size:.95rem;line-height:1.5}.more{margin-top:1rem;font-family:var(--sans);font-size:var(--small)}.more a{text-decoration:underline;text-underline-offset:3px}.home-links{display:flex;gap:1.25rem;margin-top:4rem;font-family:var(--sans);font-size:var(--small);color:var(--muted)}.home-links a:hover{color:var(--fg)}.post{max-width:var(--measure);margin:0 auto}.post-header{width:calc(100% + var(--header-overhang));margin-bottom:2rem}.post-header .post-title{margin-bottom:0}.post-desc{margin:.6rem 0 0;color:var(--muted);font-family:var(--sans);font-size:.95rem;line-height:1.5}.post-byline{display:flex;align-items:baseline;gap:.9rem;margin-top:1rem;color:var(--muted);font-family:var(--sans);font-size:var(--small)}.post-byline time{font-family:var(--mono);font-size:var(--meta);font-variant-numeric:tabular-nums}.post-hero{width:calc(100% + var(--header-overhang));margin:0 0 2.5rem}.post-hero img,.post-hero video{display:block;width:100%;height:auto}.post-hero figcaption{margin-top:.6rem;color:var(--muted);font-family:var(--sans);font-size:var(--small);line-height:1.45}.post-grid{position:relative}.post-body{min-width:0}.sidenotes{position:absolute;top:0;left:calc(100% + var(--notes-gap));width:var(--notes-w);color:var(--muted);font-size:var(--small);line-height:1.45}.sidenote{position:absolute;width:100%}.sidenote p{margin:0}.sidenote-num{display:inline-block;margin-right:.3rem;color:var(--faint);font-size:.7em;vertical-align:super}.footnotes{margin-top:3rem;color:var(--muted);font-size:var(--small);line-height:1.45}.footnotes hr{display:none}.footnotes-moved{display:none}.prose{font-size:.94rem}.prose>:first-child{margin-top:0}.prose>:last-child{margin-bottom:0}.prose p,.prose ul,.prose ol,.prose blockquote{margin:0 0 1.2em}.prose h2,.prose h3,.prose h4{font-family:var(--sans);font-weight:500;letter-spacing:var(--tight);line-height:1.2;margin:2.4em 0 .7em}.prose h2{font-size:1.4rem}.prose h3{font-size:1.15rem}.prose h4{font-size:1rem}.prose .anchor{margin-left:.35em;color:var(--faint);font-size:.75em;opacity:0}.prose h2:hover .anchor,.prose h3:hover .anchor,.prose h4:hover .anchor,.prose .anchor:focus-visible{opacity:1}.prose a[href]{text-decoration:underline;text-decoration-style:dotted;text-decoration-color:var(--faint);text-underline-offset:3px}.prose a[href]:hover{text-decoration-style:solid;text-decoration-color:initial}.prose strong{font-weight:700}.prose ul,.prose ol{padding-left:1.5rem}.prose li{margin-bottom:.3em}.prose blockquote{margin-left:0;padding:.25rem 0 .25rem 1rem;border-left:2px solid var(--rule);color:var(--muted)}.prose hr{height:1px;margin:2.5rem 0;border:0;background:var(--rule)}.prose img{display:block;margin:0 auto}.prose figure{margin:1.75rem 0}.prose figcaption{margin-top:.6rem;color:var(--muted);font-size:var(--small);line-height:1.45;text-align:center}.prose code{padding:.1em .3em;background:var(--code-bg);border-radius:3px;font-family:var(--mono);font-size:.82em}.prose pre{margin:1.5rem 0;padding:1rem 1.1rem;background:var(--code-bg);border-radius:4px;overflow-x:auto;line-height:1.5}.prose pre code{padding:0;background:0 0;font-size:.82em}.prose .highlight,.prose .chroma{background:var(--code-bg)}.prose table{display:block;width:100%;margin:1.5rem 0;overflow-x:auto;border-collapse:collapse;font-size:.9rem}.prose th,.prose td{padding:.5rem .75rem;border-bottom:1px solid var(--rule);text-align:left;vertical-align:top}.prose th{font-weight:400;color:var(--muted);font-size:var(--small)}.prose sup{line-height:0;font-size:.7em}.prose .footnote-ref{text-decoration:none}.math-display{margin:1.75rem 0;overflow-x:auto;overflow-y:hidden;text-align:center}.math-display .katex{font-size:.95em}.katex{font-size:1.05em}@media(max-width:1360px){:root{--header-overhang:0rem}.main{padding-left:calc(var(--sidebar-w) + var(--gutter))}.sidenotes{display:none}.footnotes-moved{display:block}}@media(max-width:820px){.sidebar{position:static;width:auto;display:flex;align-items:center;gap:1.5rem;height:auto;padding:1rem}.brand{margin:0}.nav{flex-direction:row;gap:1rem}.toc{display:none}.main{padding:2rem 1rem 4rem}.post-list li{grid-template-columns:minmax(0,1fr);gap:.25rem}}.bg{background-color:#fff}.chroma{background-color:#fff}.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:#e5e5e5}.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 .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}