@font-face{font-family:STIX Two Text;font-style:normal;font-weight:400 700;font-display:swap;src:url(/fonts/stix-two-text-latin.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:STIX Two Text;font-style:normal;font-weight:400 700;font-display:swap;src:url(/fonts/stix-two-text-latin-ext.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:STIX Two Text;font-style:italic;font-weight:400 700;font-display:swap;src:url(/fonts/stix-two-text-italic-latin.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:STIX Two Text;font-style:italic;font-weight:400 700;font-display:swap;src:url(/fonts/stix-two-text-italic-latin-ext.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Geist Mono;font-style:normal;font-weight:400 700;font-display:optional;src:url(/fonts/geist-mono-latin.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Geist Mono;font-style:normal;font-weight:400 700;font-display:optional;src:url(/fonts/geist-mono-latin-ext.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}:root{--bg:#fbfbfa;--text:#1a1a19;--muted:#72726d;--line:#e8e8e4;--link:#30302f;--accent:#c2410c;--sel:#f3e6dd;--maxw:640px;--serif:"STIX Two Text",ui-serif,Georgia,"Times New Roman",serif;--mono:"Geist Mono",ui-monospace,SFMono-Regular,"SF Mono",Menlo,Consolas,monospace;--exticon:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 10 10'%3E%3Cpath d='M2.6 7.4 7.4 2.6M3.7 2.6h3.7v3.7' fill='none' stroke='%23000' stroke-width='1.7' stroke-linecap='round' stroke-linejoin='round'/%3E%3C/svg%3E");--moonicon:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16'%3E%3Cpath d='M13.4 10.3A6.4 6.4 0 0 1 5.7 2.6 6.5 6.5 0 1 0 13.4 10.3z' fill='%23000'/%3E%3C/svg%3E");--sunicon:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16'%3E%3Ccircle cx='8' cy='8' r='3.2' fill='%23000'/%3E%3Cpath d='M8 1v1.7M8 13.3V15M1 8h1.7M13.3 8H15M3.05 3.05l1.2 1.2M11.75 11.75l1.2 1.2M12.95 3.05l-1.2 1.2M4.25 11.75l-1.2 1.2' stroke='%23000' stroke-width='1.5' stroke-linecap='round'/%3E%3C/svg%3E")}html[data-theme=dark]{--bg:#0f0f0e;--text:#e9e9e5;--muted:#7c7c76;--line:#242422;--link:#d3d3cf;--accent:#f97316;--sel:#3a2415}*{box-sizing:border-box}html{scroll-behavior:smooth;scrollbar-gutter:stable;text-size-adjust:100%}::selection{background:var(--sel)}body{background:var(--bg);color:var(--text);font-family:var(--serif);-webkit-font-smoothing:antialiased;margin:0;font-size:16px;line-height:1.7}@media (width<=640px){body{font-size:17px}}.wrap{max-width:var(--maxw);margin:0 auto;padding:0 22px 100px}.topbar{z-index:30;border-bottom:1px solid var(--line);background:color-mix(in srgb,var(--bg) 85%,transparent);backdrop-filter:blur(8px);align-items:center;gap:14px;margin-bottom:24px;padding:14px 0 13px;display:flex;position:sticky;top:0}.topnav{font-family:var(--mono);letter-spacing:.02em;gap:16px;margin-right:auto;font-size:13.5px;display:flex}.topnav a{color:var(--muted);text-decoration:none}.topnav a:hover{color:var(--accent)}.topnav a[aria-current=page]{color:var(--text)}.navedge{z-index:1;opacity:0;pointer-events:none;flex:none;align-self:stretch;width:0;display:none;position:sticky}.navedge:before{font-family:var(--mono);color:var(--accent);align-items:center;font-size:20px;font-weight:700;line-height:1;display:flex;position:absolute;top:0;bottom:0}.navedge-l{margin-right:-16px;left:0}.navedge-l:before{content:"‹";background:linear-gradient(to left,transparent,color-mix(in srgb,var(--bg) 92%,transparent) 60%);padding-right:28px;left:0}.navedge-r{margin-left:-16px;right:0}.navedge-r:before{content:"›";background:linear-gradient(to right,transparent,color-mix(in srgb,var(--bg) 92%,transparent) 60%);padding-left:28px;right:0}@keyframes navedge-out{0%,86%{opacity:1}to{opacity:0}}@keyframes navedge-in{0%{opacity:0}14%,to{opacity:1}}@supports (animation-timeline:scroll()){.navedge{animation-duration:auto;animation-timing-function:linear;animation-fill-mode:both;animation-timeline:scroll(inline)}.navedge-r{animation-name:navedge-out}.navedge-l{animation-name:navedge-in}}@supports not (animation-timeline:scroll()){.navedge-r{opacity:1}}@media (width<=640px){.topbar{gap:10px}.topnav{overscroll-behavior-x:contain;scrollbar-width:none;flex:auto;min-width:0;overflow-x:auto}.topnav::-webkit-scrollbar{display:none}.topnav a{white-space:nowrap;flex:none}.navedge{display:flex}}.tg{font-family:var(--mono);letter-spacing:.03em;border:1px solid var(--line);color:var(--muted);cursor:pointer;background:0 0;border-radius:6px;padding:4px 9px;font-size:13.5px;line-height:1.2;text-decoration:none}.tg:hover{color:var(--muted);border-color:var(--line)}.tg-theme{justify-content:center;align-items:center;padding:4px 8px;display:inline-flex}.tg-theme:before{content:"";width:1.2em;height:1.2em;-webkit-mask:var(--moonicon) no-repeat center/contain;mask:var(--moonicon) no-repeat center/contain;background-color:currentColor}html[data-theme=dark] .tg-theme:before{-webkit-mask-image:var(--sunicon);mask-image:var(--sunicon)}h1{letter-spacing:-.01em;margin:0 0 2px;font-size:30px;font-weight:600;line-height:1.2}.intro{margin-top:14px}h2+.intro{margin-top:0}.role{font-family:var(--mono);letter-spacing:.04em;color:var(--muted);text-transform:uppercase;margin:0 0 26px;font-size:12.5px}.role.byline{text-transform:none}p{margin:0 0 20px}a{color:var(--link);text-decoration:underline;text-decoration-color:color-mix(in srgb,var(--muted) 40%,transparent);text-underline-offset:.25em;text-decoration-thickness:1px}a:hover{text-decoration-color:var(--accent);color:var(--accent)}a:focus-visible,button:focus-visible{outline:2px solid var(--accent);outline-offset:3px;border-radius:2px}h2{font-family:var(--mono);letter-spacing:.1em;text-transform:uppercase;color:var(--muted);margin:44px 0 8px;scroll-margin-top:60px;font-size:15px;font-weight:600}.sr-only{clip-path:inset(50%);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}ul.list{margin:0;padding:0;list-style:none}ul.list li{border-bottom:1px solid var(--line);padding:9px 0}ul.list li:last-child{border-bottom:0}ul.list .t{font-weight:600;font-size:inherit}ul.list .t a[target=_blank]:after,.foot a:after{content:"";vertical-align:.04em;background-color:var(--accent);width:.5em;height:.5em;-webkit-mask:var(--exticon) no-repeat center/contain;mask:var(--exticon) no-repeat center/contain;margin-left:.4em;display:inline-block}.tags{font-family:var(--mono);color:var(--accent);margin-top:2px;font-size:11.5px}ul.list.lead li{flex-wrap:wrap;align-items:baseline;gap:0 18px;padding:14px 0;display:flex}ul.list.lead li:last-child{border-bottom:1px solid var(--line)}ul.list.lead .t{flex:auto;min-width:0}ul.list.lead .yr{font-family:var(--mono);color:var(--text);white-space:nowrap;text-align:right;flex:none;margin-left:auto;font-size:14px}ul.list.lead:not(.blog) .t a,ul.list.lead.edu .t{font-weight:400}ul.list.lead .d{flex-basis:100%;padding-right:120px}ul.list.lead .tags{flex-basis:100%}@media (width<=560px){ul.list.lead li{gap:0}ul.list.lead .yr{text-align:left;flex-basis:100%;order:-1;margin-left:0}ul.list.lead .d{padding-right:0}ul.list.blog .yr{flex-basis:auto}ul.list.blog .t{flex-basis:100%}}.cvline{color:var(--muted);margin:16px 0 0}ul.list.blog{margin-top:32px}ul.list.blog .yr{font-size:12.5px}.feedlink{text-align:right;margin:0;padding-top:14px}.feedlink a{font-family:var(--mono);letter-spacing:.04em;color:var(--muted);align-items:center;gap:7px;font-size:11.5px;text-decoration:none;display:inline-flex}.feedlink a:hover{color:var(--accent)}.feedicon{flex:none;transform:translateY(-.5px)}.notice{font-family:var(--mono);color:var(--muted);border-left:2px solid var(--accent);margin:0 0 26px;padding-left:12px;font-size:12px;line-height:1.6}.post h2,.post h3{font-family:var(--serif);text-transform:none;letter-spacing:-.01em;color:var(--text);font-weight:600}.post h2{margin:36px 0 10px;font-size:21px;line-height:1.3}.post h3{margin:28px 0 8px;font-size:17.5px;line-height:1.35}.post ul,.post ol{margin:0 0 20px;padding-left:22px}.post li{margin:4px 0}.post blockquote{border-left:2px solid var(--line);color:var(--muted);margin:0 0 20px;padding-left:16px;font-style:italic}.post img{max-width:100%;height:auto;margin:26px 0;display:block}.post figure{margin:34px 0}@media (width>=840px){.post figure{margin-inline:-90px}}@media (width>=1000px){.post figure{margin-inline:-162px}}.post figure a{cursor:zoom-in;background:color-mix(in srgb,var(--line) 55%,var(--bg));border:1px solid var(--line);border-radius:8px;padding:8px;text-decoration:none;display:block}.post figure img{border-radius:3px;width:100%;margin:0;display:block}.post figcaption{font-family:var(--mono);color:var(--muted);margin-top:8px;font-size:12px;line-height:1.5}.post hr{border:0;border-top:1px solid var(--line);margin:34px 0}.post hr+ul{color:var(--muted);margin-bottom:0;font-size:14.5px;line-height:1.6}.post hr+ul a{color:var(--muted)}.post hr+ul a:hover{color:var(--accent)}.post code{font-family:var(--mono);background:var(--line);border-radius:4px;padding:1px 5px;font-size:13px}.post pre{background:color-mix(in srgb,var(--line) 55%,var(--bg));border:1px solid var(--line);border-radius:8px;margin:0 0 22px;padding:14px 16px;line-height:1.5;overflow-x:auto}.post pre code{background:0 0;padding:0;font-size:12.5px}.post pre.shiki,.post pre.shiki span{color:var(--shiki-light)}html[data-theme=dark] .post pre.shiki,html[data-theme=dark] .post pre.shiki span{color:var(--shiki-dark)}.post table{border-collapse:collapse;width:100%;margin:0 0 22px;font-size:15px}.post th,.post td{text-align:left;border-bottom:1px solid var(--line);padding:7px 10px 7px 0}.postnav{border-top:1px solid var(--line);font-family:var(--mono);letter-spacing:.02em;align-items:baseline;gap:14px;margin-top:48px;padding-top:14px;font-size:12px;display:flex}.postnav a{color:var(--muted);text-decoration:none}.postnav a:hover{color:var(--accent)}.postnav .pn-prev,.postnav .pn-next{flex:1}.postnav .pn-next{text-align:right}.foot{font-family:var(--mono);letter-spacing:.02em;color:var(--muted);margin-top:56px;font-size:12px;line-height:1.6}.foot a{color:var(--muted)}.foot a:hover{color:var(--accent)}.nf{padding:34px 0 10px}.nf-code{font-family:var(--mono);letter-spacing:-.04em;color:var(--line);user-select:none;margin:0 0 26px;font-size:clamp(76px,19vw,132px);font-weight:700;line-height:1}.nf-code span{color:var(--accent);display:inline-block;transform:rotate(-11deg)translateY(.02em)}.nf-lead,.nf-lead-en{letter-spacing:-.01em;margin:0 0 2px;font-size:26px;font-weight:600;line-height:1.25}.nf-lead-en{color:var(--muted);margin-bottom:22px}.nf-hint{font-family:var(--mono);color:var(--muted);margin:0 0 22px;font-size:12.5px;line-height:1.7}.nf-hint span{color:color-mix(in srgb,var(--muted) 72%,var(--bg))}.nf-links{flex-wrap:wrap;gap:9px;margin:0;display:flex}.hero{align-items:center;gap:22px;margin-bottom:30px;display:flex}.portrait{flex:none;width:160px;height:auto}@media (width<=520px){.hero{gap:14px}.portrait{width:140px}}@media (width<=640px){h1{font-size:27px}.post h2{font-size:22px}.post h3{font-size:18px}.topnav{font-size:14px}.topnav a{padding:6px 0}.tags,.feedlink a,.notice,.foot,.post figcaption{font-size:12.5px}.post pre code{font-size:13px}}