:root{color-scheme:light;--bg:#f7f7f5;--fg:#0d0d0d;--fg-muted:#6f6f69;--border:#d9d9d4;--surface:#e9e9e5;--code-bg:#ecece8;--link:#0d0d0d;--link-visited:#0d0d0d;--hover:#555550;--font-sans:'Geist', -apple-system, 'Helvetica Neue', Arial, sans-serif;--font-mono:'Geist Mono', ui-monospace, 'SFMono-Regular', 'SF Mono', Menlo, Consolas, 'Liberation Mono', monospace}[data-theme=dark]{color-scheme:dark;--bg:#000000;--fg:#f2f2f0;--fg-muted:#a1a19a;--border:#2b2b29;--surface:#1d1d1b;--code-bg:#171715;--link:#f2f2f0;--link-visited:#f2f2f0;--hover:#c8c8c2}@font-face{font-family:geist;src:url(/fonts/Geist-Variable.woff2)format('woff2');font-weight:100 900;font-style:normal;font-display:swap}@font-face{font-family:geist;src:url(/fonts/Geist-VariableItalic.woff2)format('woff2');font-weight:100 900;font-style:italic;font-display:swap}@font-face{font-family:geist mono;src:url(/fonts/GeistMono-Variable.woff2)format('woff2');font-weight:100 900;font-style:normal;font-display:swap}@font-face{font-family:geist mono;src:url(/fonts/GeistMono-VariableItalic.woff2)format('woff2');font-weight:100 900;font-style:italic;font-display:swap}::selection{background:var(--fg);color:var(--bg)}*,*::before,*::after{box-sizing:border-box;margin:0;padding:0}html{font-size:18px;-webkit-text-size-adjust:100%;scroll-behavior:smooth;scroll-padding-top:1.5rem;overflow-x:hidden}body{font-family:var(--font-sans);line-height:1.6;letter-spacing:-.01em;font-synthesis:none;color:var(--fg);background:var(--bg);margin:0;transition:color .2s,background .2s}b,strong{font-weight:600}a{color:var(--fg);text-decoration:underline;text-decoration-color:var(--fg-muted);text-decoration-thickness:1px;text-underline-offset:3px;transition:color .2s ease,text-decoration-color .2s ease}a:visited{color:var(--fg);text-decoration-color:var(--fg-muted)}a:hover{color:var(--hover);text-decoration-color:var(--hover)}.site-header{display:flex;justify-content:space-between;align-items:center;flex-wrap:wrap;gap:.75rem 2rem;width:min(calc(100% - 3rem),746px);margin:0 auto 1.25rem;padding:1.15rem 0}.site-name{font-size:1.15rem;font-weight:600;letter-spacing:-.025em;text-decoration:none;color:var(--fg)}.site-name:visited{color:var(--fg)}.site-name:hover{color:var(--fg)}.site-nav{display:flex;flex-wrap:wrap;gap:1.6rem;align-items:center}.site-nav a{font-size:.9375rem;font-weight:450;letter-spacing:-.01em;text-decoration:none;color:var(--fg);transition:color .2s ease}.site-nav a:hover{color:var(--fg-muted)}.site-nav a.active{color:var(--fg);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:4px}.theme-toggle{width:2rem;height:2rem;justify-content:center;background:var(--surface);border:none;border-radius:999px;color:var(--fg-muted);cursor:pointer;padding:0;transition:color .2s ease;display:inline-flex;align-items:center;vertical-align:middle}.theme-toggle:hover{color:var(--fg)}.site-footer{width:min(calc(100% - 3rem),746px);margin:1.75rem auto 0;padding:1.25rem 0 2.5rem;border-top:1px solid var(--border);font-size:.8125rem;font-weight:400;letter-spacing:-.01em;color:var(--fg-muted);display:flex;justify-content:space-between}.site-footer a{color:var(--fg-muted);text-decoration:none;transition:color .2s ease}.site-footer a:hover{color:var(--fg)}main{width:min(100%,800px);margin:0 auto;padding:0 1.5rem}.homepage-content{max-width:746px;margin:0 auto;font-size:1rem}.homepage-content p{max-width:none}.homepage-content>p:first-of-type{font-size:1rem;line-height:1.6;letter-spacing:-.01em}.homepage-content>p+p{margin-top:.35rem;font-size:1rem;line-height:1.6;letter-spacing:-.01em}.home-links{display:flex;flex-wrap:wrap;gap:.75rem 1.5rem;margin-top:1.75rem;clear:both}.home-links a{font-size:.875rem;font-weight:450;letter-spacing:-.01em;text-decoration-color:var(--border);color:var(--fg);transition:color .2s ease}.home-links a:hover{color:var(--fg)}.section-header{margin-bottom:1rem}.section-header h1{font-size:clamp(1.5rem,2.5vw,1.75rem);font-weight:500;line-height:1;letter-spacing:-.035em;color:var(--fg)}.back-link{display:inline-block;margin-bottom:1.5rem;font-size:.875rem;text-decoration:none;color:var(--fg-muted);transition:color .2s ease}.back-link:hover{color:var(--fg)}.post-list{list-style:none}.post-list li{display:grid;grid-template-columns:minmax(8rem,1fr)minmax(0,3fr);column-gap:1.25rem;align-items:start;padding:.45rem 0;margin:0;border-bottom:1px solid var(--border);font-size:1rem}.post-list li:first-child{border-top:1px solid var(--border)}.post-date{font-size:.875rem;color:var(--fg-muted);font-variant-numeric:tabular-nums}.post-list a{text-decoration:none;font-weight:500;font-size:1rem;letter-spacing:-.01em}.post-list a:hover{text-decoration:underline}.section-content{font-size:1rem}.section-content h2{font-size:clamp(1.25rem,2vw,1.5rem);font-weight:500;line-height:1.1;letter-spacing:-.03em;color:var(--fg);margin:1.75rem 0 .75rem}.section-content h2:first-child{margin-top:0}.section-content p{max-width:58rem;margin-bottom:.75rem}.section-content ul{max-width:58rem;padding-left:1.25rem;margin-bottom:.75rem}.section-content li{margin-bottom:.25rem}.section-services ul{max-width:70rem;padding-left:0;list-style:none}.section-services li{margin:0;padding:.35rem 0;border-top:1px solid var(--border)}.section-services li:last-child{border-bottom:1px solid var(--border)}.section-news ul{list-style:none;padding-left:0}.section-news li{position:relative;max-width:70rem;padding:.45rem 0 .45rem 5.25rem;margin:0;border-bottom:1px solid var(--border)}.section-news li:first-child{border-top:1px solid var(--border)}.section-news li>strong:first-child,.section-news li>p:first-child>strong:first-child{position:absolute;left:0;font-weight:400;font-size:.875rem;color:var(--fg-muted);font-variant-numeric:tabular-nums;line-height:1.65}.section-news li>p{margin-bottom:0}.section-papers p{max-width:70rem;margin:0;padding:.6rem 0;border-top:1px solid var(--border);color:var(--fg-muted)}.section-papers p>strong:first-child{color:var(--fg);font-size:1.05rem;font-weight:500;letter-spacing:-.02em;line-height:1.35}.section-papers p a{color:var(--fg)}.section-papers h2{margin:1.25rem 0 .5rem;font-size:.875rem;letter-spacing:-.01em;color:var(--fg-muted)}.section-papers p em,.section-papers p i{color:var(--fg)}.post-header{max-width:46rem;margin:.5rem auto 2.5rem;text-align:left}.post-header .back-link{margin-bottom:1.75rem}.post-title{font-size:clamp(2rem,3.5vw,2.6rem);font-weight:500;letter-spacing:-.04em;line-height:1;text-wrap:balance;margin-bottom:1rem}.post-meta{font-size:.875rem;color:var(--fg-muted);font-variant-numeric:tabular-nums}.post-content{max-width:42rem;margin:0 auto;font-size:1rem}.post-content h1{font-size:1.8rem;font-weight:500;letter-spacing:-.025em;line-height:1.2;margin:3rem 0 1.25rem}.post-content h2{font-size:1.5rem;font-weight:500;letter-spacing:-.02em;line-height:1.25;margin:2.75rem 0 1rem}.post-content h3{font-size:1.2rem;font-weight:500;letter-spacing:-.015em;line-height:1.3;margin:2rem 0 .75rem}.post-content h4{font-size:1.05rem;font-weight:600;margin:2rem 0 .75rem}.post-content h1,.post-content h2,.post-content h3{position:relative}.heading-anchor{color:var(--fg-muted);text-decoration:none;opacity:0;margin-left:.375rem;font-weight:400;transition:opacity .2s ease}.post-content h1:hover .heading-anchor,.post-content h2:hover .heading-anchor,.post-content h3:hover .heading-anchor,.heading-anchor:focus{opacity:1}.heading-anchor:hover{color:var(--fg)}.post-content p{margin-bottom:1.25rem}.post-content ul,.post-content ol{padding-left:1.25rem;margin-bottom:.75rem}.post-content li{margin-bottom:.375rem}.post-content blockquote{border-left:1px solid var(--fg);padding-left:1.25rem;color:var(--fg);font-style:normal;margin:1.5rem 0}.post-content img{max-width:100%;height:auto;display:block;margin:1.25rem 0}.post-content .table-wrapper{overflow-x:auto;margin:1.25rem 0;-webkit-overflow-scrolling:touch}.post-content table{width:100%;border-collapse:collapse;font-size:.875rem}.post-content th,.post-content td{border:none;border-bottom:1px solid var(--border);padding:.5rem .75rem;text-align:left}.post-content th:first-child,.post-content td:first-child{padding-left:0}.post-content thead th{font-size:.75rem;font-weight:500;letter-spacing:.06em;text-transform:uppercase;border-bottom-color:var(--fg)}.post-content .katex-display{overflow-x:auto;overflow-y:hidden;-webkit-overflow-scrolling:touch}.post-content code,.section-content code{font-family:var(--font-mono);font-size:.875em;background:var(--code-bg);padding:.125em .25em;border-radius:2px}.post-content pre,.section-content pre{font-family:var(--font-mono);background:var(--code-bg);padding:1rem;overflow-x:auto;border-radius:0;margin:1rem 0;font-size:.875rem;line-height:1.5}.post-content pre code,.section-content pre code{background:0 0;padding:0;border:none;font-size:1em}.code-block-wrapper{position:relative}.copy-btn{position:absolute;top:.5rem;right:.5rem;font-family:var(--font-mono);font-size:.6875rem;background:var(--bg);color:var(--fg-muted);border:1px solid var(--border);border-radius:2px;padding:.125rem .375rem;cursor:pointer;opacity:0;transition:opacity .2s ease,color .2s ease}.code-block-wrapper:hover .copy-btn,.code-block-wrapper:focus-within .copy-btn,.copy-btn:focus-visible{opacity:1}@media(hover:none){.copy-btn{opacity:1}}.copy-btn:hover{color:var(--fg)}.post-content .highlight,.section-content .highlight{background:var(--code-bg);border-radius:0;margin:1rem 0;overflow:hidden}.post-content .highlight pre,.section-content .highlight pre{margin:0;padding:1rem;background:0 0;border:none;border-radius:0;overflow-x:auto}.post-content hr{border:none;border-top:1px solid var(--border);margin:2.5rem 0}.post-tags{margin-top:1.25rem;display:flex;flex-wrap:wrap;gap:.375rem 1rem}.post-tags a{font-size:.8125rem;font-weight:400;letter-spacing:-.01em;color:var(--fg-muted);text-decoration:none;transition:color .2s ease}.post-tags a:hover{color:var(--fg)}.tag-list{list-style:none}.tag-list li{margin-bottom:.375rem;font-size:1rem}.about-photo{float:left;width:180px;height:180px;object-fit:cover;border-radius:0;margin:.35rem 1.25rem .6rem 0}.toc-sidebar{display:none}@media(min-width:1360px){.toc-sidebar{display:block;position:fixed;top:4rem;width:240px;left:max(2rem,calc(50% - 21rem - 240px - 4rem));max-height:calc(100vh - 6rem);overflow-y:auto;font-size:.75rem;line-height:1.5}.toc-sidebar::-webkit-scrollbar{width:4px}.toc-sidebar::-webkit-scrollbar-thumb{background:var(--border);border-radius:2px}.toc-sidebar{scrollbar-width:thin;scrollbar-color:var(--border)transparent}}.toc-title{font-size:.8125rem;font-weight:500;letter-spacing:-.01em;margin-bottom:.875rem;color:var(--fg-muted)}.toc-sidebar nav>ul,.toc-mobile-drawer nav>ul{list-style:none;padding:0}.toc-sidebar nav>ul>li,.toc-mobile-drawer nav>ul>li{margin-bottom:.625rem}.toc-sidebar nav>ul>li:last-child,.toc-mobile-drawer nav>ul>li:last-child{margin-bottom:0}.toc-sidebar nav>ul>li>a,.toc-mobile-drawer nav>ul>li>a{font-weight:500}.toc-sidebar nav ul ul,.toc-mobile-drawer nav ul ul{list-style:none;padding-left:.75rem;margin-top:.375rem}.toc-sidebar nav ul ul li,.toc-mobile-drawer nav ul ul li{margin-bottom:.2rem}.toc-sidebar a,.toc-mobile-drawer a{color:var(--fg-muted);text-decoration:none;transition:color .2s ease;display:block;line-height:1.6}.toc-sidebar a:hover,.toc-mobile-drawer a:hover{color:var(--fg)}.toc-sidebar a.active,.toc-mobile-drawer a.active{color:var(--fg)}.toc-mobile-btn{display:none;position:fixed;bottom:1.5rem;right:1.5rem;z-index:100;width:40px;height:40px;border-radius:2px;border:1px solid var(--border);background:var(--bg);color:var(--fg);cursor:pointer;align-items:center;justify-content:center}@media(max-width:1359px){.toc-mobile-btn{display:flex}}.toc-mobile-backdrop{position:fixed;inset:0;z-index:200;background:color-mix(in srgb,var(--fg) 20%,transparent);opacity:0;visibility:hidden;transition:opacity .25s ease,visibility .25s ease}.toc-mobile-backdrop.open{opacity:1;visibility:visible}.toc-mobile-drawer{position:fixed;top:0;right:0;bottom:0;z-index:201;width:280px;max-width:80vw;background:var(--bg);border-left:1px solid var(--border);padding:1.5rem;overflow-y:auto;transform:translateX(100%);visibility:hidden;transition:transform .25s ease,visibility .25s;font-size:.8125rem;line-height:1.5}.toc-mobile-drawer.open{transform:translateX(0);visibility:visible}@media(max-width:768px){.site-header{width:calc(100% - 2.5rem);margin-bottom:1.5rem;padding:1rem 0}main{padding:0 1.25rem}.site-footer{width:calc(100% - 2.5rem)}.about-photo{width:150px;height:150px}}@media(max-width:600px){.site-header{align-items:flex-start;width:calc(100% - 2rem);margin-bottom:1.25rem;padding:1rem 0}.site-nav{gap:.75rem 1rem}.site-nav a{font-size:.875rem}main{padding:0 1rem}.site-footer{width:calc(100% - 2rem)}.homepage-content{display:block}.about-photo{float:left;width:140px;height:140px;margin:.1rem 1rem .5rem 0}.section-header{margin-bottom:1.25rem}.post-list li{grid-template-columns:1fr;gap:.4rem}.post-title{font-size:2.4rem}.post-header{margin-bottom:3.5rem}.section-news li{padding-left:0}.section-news li>strong:first-child,.section-news li>p:first-child>strong:first-child{position:static;display:block;margin-bottom:.125rem}}@media(max-width:480px){.site-header{display:block;width:calc(100% - 1.75rem)}.site-nav{margin-top:.85rem}.site-nav .theme-toggle{margin-left:auto}main{padding:0 .875rem}.site-footer{width:calc(100% - 1.75rem)}.about-photo{float:none;width:160px;height:160px;margin:0 0 1rem}.post-content .highlight,.section-content .highlight,.post-content pre,.section-content pre{margin-left:-.875rem;margin-right:-.875rem;border-radius:0;border-left:none;border-right:none}.post-content .highlight pre,.section-content .highlight pre{padding-left:.875rem;padding-right:.875rem}.post-content>pre,.section-content>pre{padding-left:.875rem;padding-right:.875rem}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}.toc-mobile-drawer,.toc-mobile-backdrop{transition:none}}