@font-face{font-family:"source sans 3";src:url(../fonts/source-sans-3-variable.woff2)format("woff2");font-style:normal;font-weight:200 900;font-display:swap}@font-face{font-family:"source serif 4";src:url(../fonts/source-serif-4-variable.woff2)format("woff2");font-style:normal;font-weight:200 900;font-display:swap}@font-face{font-family:"source serif 4";src:url(../fonts/source-serif-4-variable-italic.woff2)format("woff2");font-style:italic;font-weight:200 900;font-display:swap}@font-face{font-family:fira code;src:url(../fonts/fira-code-variable.woff2)format("woff2");font-style:normal;font-weight:300 700;font-display:swap}:root{color-scheme:light;--bg:#f7f8fa;--paper:#fcfdff;--text:#343841;--heading:#252932;--muted:#69717e;--line:#d9dee6;--soft:#edf1f5;--accent:#557da3;--link:#416f9b;--code:#e9edf2;--code-block:#f1f3f6;--syntax-text:#383a42;--syntax-comment:#656d78;--syntax-red:#b7424b;--syntax-orange:#855b00;--syntax-yellow:#875d00;--syntax-green:#357442;--syntax-cyan:#06717d;--syntax-blue:#3269b3;--syntax-purple:#8d4aa3;--syntax-highlight:#e2e7ed;--syntax-deleted:#a7323b;--syntax-deleted-bg:#fbe9eb;--syntax-inserted:#347542;--syntax-inserted-bg:#e4f3e7;--max:1440px;--sans:"Source Sans 3", ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--mono:"Fira Code", "SFMono-Regular", Consolas, "Liberation Mono", monospace;--serif:"Source Serif 4", ui-serif, Georgia, Cambria, "Times New Roman", serif}:root[data-theme=dark]{color-scheme:dark;--bg:#282c34;--paper:#2c313a;--text:#c5ccd6;--heading:#eef1f5;--muted:#9aa2af;--line:#454c59;--soft:#333946;--accent:#61afef;--link:#78b9f2;--code:#343b47;--code-block:#2f343f;--syntax-text:#abb2bf;--syntax-comment:#9ca4b1;--syntax-red:#ef7d86;--syntax-orange:#d19a66;--syntax-yellow:#e5c07b;--syntax-green:#98c379;--syntax-cyan:#56b6c2;--syntax-blue:#61afef;--syntax-purple:#d28be6;--syntax-highlight:#3d4148;--syntax-deleted:#e06c75;--syntax-deleted-bg:#4b3037;--syntax-inserted:#98c379;--syntax-inserted-bg:#304638}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){color-scheme:dark;--bg:#282c34;--paper:#2c313a;--text:#c5ccd6;--heading:#eef1f5;--muted:#9aa2af;--line:#454c59;--soft:#333946;--accent:#61afef;--link:#78b9f2;--code:#343b47;--code-block:#2f343f;--syntax-text:#abb2bf;--syntax-comment:#9ca4b1;--syntax-red:#ef7d86;--syntax-orange:#d19a66;--syntax-yellow:#e5c07b;--syntax-green:#98c379;--syntax-cyan:#56b6c2;--syntax-blue:#61afef;--syntax-purple:#d28be6;--syntax-highlight:#3d4148;--syntax-deleted:#e06c75;--syntax-deleted-bg:#4b3037;--syntax-inserted:#98c379;--syntax-inserted-bg:#304638}}*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--bg);color:var(--text);font-family:var(--sans);font-size:16px;line-height:1.55}h1,h2,h3,h4,h5,h6{color:var(--heading);font-family:var(--serif);font-optical-sizing:auto}a{color:inherit;text-decoration-color:color-mix(in srgb,currentColor 35%,transparent);text-underline-offset:.18em}a:hover{color:var(--accent)}.shell{width:min(calc(100% - 40px),1180px);margin-inline:auto}.site-header{border-bottom:1px solid var(--line);background:color-mix(in srgb,var(--bg) 90%,transparent);backdrop-filter:blur(12px);position:sticky;top:0;z-index:20}.header-inner{height:64px;display:flex;align-items:center;justify-content:space-between}.reading-progress{position:absolute;inset:100% 0 auto;height:3px;overflow:hidden;background:var(--line)}.reading-progress-bar{display:block;width:100%;height:100%;background:var(--accent);transform:scaleX(0);transform-origin:left center;will-change:transform}.site-name{font-weight:720;letter-spacing:-.02em;text-decoration:none}.header-links{display:flex;align-items:center;gap:24px}.header-utilities{display:flex;align-items:center;gap:12px;padding-left:24px;border-left:1px solid var(--line)}.site-nav{display:flex;gap:22px;font-size:14px}.site-nav a{text-decoration:none;color:var(--muted)}.site-nav a:hover{color:var(--text)}.social-links{display:flex;gap:12px;font:12px/1.4 var(--mono)}.social-links a{color:var(--muted);text-decoration:none}.social-links a:hover{color:var(--text)}.theme-toggle{display:none;width:28px;height:28px;padding:0;place-items:center;border:1px solid var(--line);border-radius:50%;background:0 0;color:var(--muted);cursor:pointer;font:16px/1 var(--sans)}.js .theme-toggle{display:inline-grid}.theme-toggle:hover{color:var(--text);border-color:var(--muted)}.theme-toggle:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.eyebrow{margin:0 0 8px;color:var(--accent);text-transform:uppercase;letter-spacing:.11em;font:700 11px/1.2 var(--mono)}.home-grid{max-width:900px;display:grid;grid-template-columns:minmax(0,1fr);gap:clamp(48px,7vw,72px);padding-block:72px 120px}.bio-card{width:100%;align-self:start;text-align:left}.bio-card h1,.section-head h2{margin:0;font-size:clamp(32px,4vw,44px);line-height:1}.bio-head{padding-bottom:28px;border-bottom:1px solid var(--line)}.bio-body{width:min(100%,550px);margin:0 auto;text-align:justify;hyphens:auto}.bio-card p:not(.eyebrow){color:var(--text);max-width:none;margin-inline:0;font-size:18px;line-height:1.7}.bio-content{margin-top:0}.bio-content>:first-child{margin-top:0}.bio-content>:last-child{margin-bottom:0}.section-head{display:flex;align-items:flex-end;justify-content:space-between;text-align:left;gap:24px;margin-bottom:28px}.listing-header h1{margin:0;font-size:clamp(34px,5vw,58px);line-height:1}.quiet-link{color:var(--muted);font-size:14px}.year-group{display:grid;grid-template-columns:90px 1fr;gap:24px;border-top:1px solid var(--line);padding:30px 0 18px}.year{margin:3px 0 0;font:600 13px/1 var(--mono);color:var(--muted)}.post-list{display:grid}.post-row{display:grid;grid-template-columns:88px 1fr;gap:20px;padding:0 0 30px}.post-row-meta{padding-top:5px;color:var(--muted);font:12px/1.5 var(--mono)}.post-row-meta time,.post-row-meta span{display:block}.post-row h4,.post-row h2{margin:0;font-size:19px;line-height:1.3}.post-row h4 a,.post-row h2 a{text-decoration:none}.post-row p{margin:5px 0 0;color:var(--muted);max-width:64ch;font-size:14px}.tag-line{display:flex;gap:9px;flex-wrap:wrap;margin-top:9px}.tag-line a{color:var(--muted);font:11px/1.4 var(--mono);text-decoration:none}.article-shell{--rail-gap:clamp(28px,4vw,64px);width:min(calc(100% - 40px),var(--max));margin:0 auto;display:grid;grid-template-columns:minmax(160px,220px)minmax(0,720px)250px;justify-content:center;gap:var(--rail-gap);padding:72px 0 120px}.article-main{position:relative;min-width:0}.sticky-rail{position:sticky;top:104px;max-height:calc(100vh - 130px);overflow:auto}.back-link,.rail-title,.rail-hint{font-size:12px}.back-link{display:inline-block;margin-bottom:28px;color:var(--muted);text-decoration:none}.rail-title{margin:0 0 12px;font:700 11px/1.3 var(--mono);text-transform:uppercase;letter-spacing:.08em}.rail-hint{color:var(--muted)}#TableOfContents ul{list-style:none;margin:0;padding:0}#TableOfContents ul ul{margin:7px 0 0 12px}#TableOfContents li{margin:7px 0}#TableOfContents a{display:block;font-size:12px;color:var(--muted);text-decoration:none;line-height:1.4}#TableOfContents a[aria-current=true],#TableOfContents a:hover{color:var(--text)}.article-header{margin-bottom:52px}.article-meta{display:flex;gap:8px;color:var(--muted);font:12px/1.4 var(--mono);margin-bottom:16px}.article-header h1{margin:0;overflow-wrap:anywhere;font-size:clamp(42px,6vw,72px);line-height:.98}.lede{margin:22px 0 0;color:var(--muted);font:21px/1.5 var(--sans);max-width:60ch}.tags{display:flex;flex-wrap:wrap;gap:8px;margin-top:24px}.tags a,.tag-cloud a{border:1px solid var(--line);border-radius:999px;padding:6px 10px;color:var(--muted);text-decoration:none;font:12px/1.2 var(--mono)}.prose{min-width:0;overflow-wrap:anywhere;font:18px/1.72 var(--sans);font-optical-sizing:auto}.prose>*{max-width:100%}.prose h2,.prose h3{font-family:var(--serif);scroll-margin-top:110px}.prose h2{margin:2.2em 0 .7em;font-size:30px;line-height:1.2}.prose h3{margin:1.9em 0 .6em;font-size:22px}.prose p,.prose ul,.prose ol,.prose blockquote{margin:1.15em 0}.article-shell .prose p{text-align:justify;hyphens:auto}.prose a{color:var(--link)}.prose code{color:var(--syntax-text);font:.86em/1.4 var(--mono);background:var(--code);padding:.14em .35em;border-radius:4px}.prose pre{max-width:100%;overflow:auto;background:var(--code-block);border:1px solid var(--line);border-radius:8px;padding:18px 20px;font:14px/1.6 var(--mono)}.prose code,.prose pre{font-variant-ligatures:contextual}.prose .highlight{min-width:0;max-width:100%}.prose pre code{padding:0;color:inherit;background:0 0;font:inherit}.chroma{color:var(--syntax-text);background:0 0;-webkit-text-size-adjust:none}.chroma .lnlinks{color:inherit;outline:none;text-decoration:none}.chroma .lntd{padding:0;margin:0;border:0;vertical-align:top}.chroma .lntable{padding:0;margin:0;border:0;border-spacing:0}.chroma .line{display:flex}.chroma .hl{background:var(--syntax-highlight)}.chroma .lnt,.chroma .ln{margin-right:.4em;padding:0 .4em;color:var(--syntax-comment);white-space:pre;user-select:none}.chroma .k,.chroma .kd,.chroma .kn,.chroma .kp,.chroma .kr{color:var(--syntax-purple)}.chroma .kc,.chroma .kt,.chroma .nc,.chroma .nb,.chroma .bp{color:var(--syntax-yellow)}.chroma .n,.chroma .na,.chroma .no,.chroma .ni,.chroma .ne,.chroma .nl,.chroma .nn,.chroma .nx,.chroma .py,.chroma .nt,.chroma .nv,.chroma .vc,.chroma .vg,.chroma .vi,.chroma .vm{color:var(--syntax-red)}.chroma .nd,.chroma .nf{color:var(--syntax-blue)}.chroma .fm{color:var(--syntax-cyan)}.chroma .s,.chroma .sa,.chroma .sb,.chroma .sc,.chroma .dl,.chroma .sd,.chroma .s2,.chroma .se,.chroma .sh,.chroma .si,.chroma .sx,.chroma .sr,.chroma .s1,.chroma .ss{color:var(--syntax-green)}.chroma .m,.chroma .mb,.chroma .mf,.chroma .mh,.chroma .mi,.chroma .il,.chroma .mo{color:var(--syntax-orange)}.chroma .o,.chroma .ow,.chroma .or{color:var(--syntax-cyan)}.chroma .p{color:var(--syntax-text)}.chroma .c,.chroma .ch,.chroma .cm,.chroma .c1,.chroma .cs,.chroma .cp,.chroma .cpf{color:var(--syntax-comment)}.chroma .gd{color:var(--syntax-deleted);background:var(--syntax-deleted-bg)}.chroma .gi{color:var(--syntax-inserted);background:var(--syntax-inserted-bg)}.chroma .ge{font-style:italic}.chroma .gs{font-weight:700}.chroma .err{color:var(--syntax-red);text-decoration:underline wavy;text-decoration-thickness:1px}.prose blockquote{margin-left:0;padding-left:20px;border-left:2px solid var(--accent);color:var(--muted)}.prose img{display:block;margin:0 auto;max-width:100%;height:auto;border-radius:6px}.prose table{display:block;width:100%;max-width:100%;overflow-x:auto;border-collapse:collapse;font:15px/1.5 var(--sans)}.prose th,.prose td{padding:9px 12px;border:1px solid var(--line);text-align:left}.prose th{background:var(--soft)}.prose figure{margin:1.8em 0}.prose figcaption{margin-top:8px;color:var(--muted);font:13px/1.5 var(--sans);text-align:center}.prose .mermaid{max-width:100%;overflow:auto;padding:20px;border:1px solid var(--line);border-radius:8px;background:var(--paper);text-align:center}.prose .mermaid svg{max-width:100%;height:auto}.prose mjx-container[display=true]{overflow-x:auto;overflow-y:hidden;padding:.25em 0}.note-anchor{position:absolute;width:0;height:0}.margin-note{position:absolute;inset-inline-start:calc(100% + var(--rail-gap));width:250px;color:var(--muted);overflow-wrap:anywhere;font:12px/1.55 var(--sans)}.listing-page,.simple-page{padding-top:86px;padding-bottom:120px}.listing-page{max-width:900px}.listing-header{margin-bottom:54px}.post-list.wide .post-row{grid-template-columns:130px 1fr;padding:24px 0;border-top:1px solid var(--line)}.tag-cloud{display:flex;flex-wrap:wrap;gap:12px}.tag-cloud a{display:flex;align-items:start;gap:7px;padding:9px 13px}.tag-cloud sup{color:var(--accent)}.simple-page{max-width:760px}.site-footer{display:flex;justify-content:space-between;gap:20px;border-top:1px solid var(--line);padding-block:28px 44px;color:var(--muted);font:12px/1.4 var(--mono)}@media(max-width:1100px){.article-shell{grid-template-columns:minmax(140px,180px)minmax(0,720px)}.note-anchor{position:static}.margin-note{display:block;position:static;width:auto;max-width:100%;margin:10px 0 14px;padding:12px 14px;border-left:2px solid var(--accent);background:var(--soft);font-size:13px}}@media(max-width:780px){.shell{width:min(calc(100% - 28px),1180px)}.site-header{position:static}.site-header.has-reading-progress{position:sticky}.header-inner{height:auto;min-height:64px;align-items:flex-start;gap:14px;padding-block:14px}.site-name{max-width:50%}.header-links{align-items:flex-end;flex-direction:column;gap:8px}.header-utilities{padding-left:0;border-left:0}.home-grid{grid-template-columns:1fr;padding-block:56px 80px;gap:58px}.bio-card{position:static}.year-group{grid-template-columns:1fr;gap:18px}.article-shell{width:min(calc(100% - 28px),720px);grid-template-columns:minmax(0,1fr);justify-content:stretch;padding-top:44px}.toc-rail{display:none}.article-header{margin-bottom:38px}.article-header h1{font-size:clamp(38px,12vw,58px)}.prose{font-size:17px}}@media(max-width:520px){.site-nav{gap:14px}.section-head{align-items:flex-start;flex-direction:column;gap:10px}.post-row,.post-list.wide .post-row{grid-template-columns:1fr;gap:5px}.post-row-meta{padding:0}.post-row-meta time,.post-row-meta span{display:inline}.post-row-meta span::before{content:" · "}.site-footer{flex-direction:column}}