:root{--bg:#faf9f7;--text:#2c2c2c;--text-muted:#666;--link:#06c;--border:#e0e0e0;--code-bg:#f4f4f4;--callout-bg:#eaf3fc;--font-mono:"IBM Plex Mono", "SF Mono", "Fira Code", "Consolas", monospace;--font-heading:Georgia, "Times New Roman", serif;--font-sans:-apple-system, BlinkMacSystemFont, "SF Pro Text", "SF Pro Display", system-ui, "Segoe UI", Roboto, sans-serif}*{box-sizing:border-box;margin:0;padding:0}html{scrollbar-gutter:stable;font-size:17px}body{font-family:var(--font-sans);background:var(--bg);color:var(--text);-webkit-text-size-adjust:100%;line-height:1.7}img{max-width:100%}h1{font-family:var(--font-heading)}h2,h3,nav,.tagline,.links,.year,.paper-meta,.entry-date,.tag,.back-link,.entry-meta,figcaption,code,pre,table,footer,.sidenote,.marginnote,.citation-ref,.distill-toc,.info-box>strong:first-child,.references .ref-link{font-family:var(--font-mono)}.container{max-width:750px;margin:0 auto;padding:3rem 2rem}nav{border-bottom:1px solid var(--border);margin-bottom:3rem;padding-bottom:1rem}nav a{color:var(--text-muted);margin-right:2rem;font-size:.9rem;text-decoration:none;transition:color .2s}nav a:hover,nav a.active{color:var(--text)}nav a.active:before{content:"> "}.header-content{justify-content:space-between;align-items:flex-start;gap:2rem;margin-bottom:3rem;display:flex}.intro{flex:1}h1{letter-spacing:-.5px;margin-bottom:.5rem;font-size:1.8rem;font-weight:600}.tagline{color:var(--text-muted);margin-bottom:1.5rem;font-size:.95rem}.links{flex-wrap:wrap;gap:1.5rem;display:flex}.links a{color:var(--text-muted);font-size:.85rem;text-decoration:none;transition:color .2s}.links a:hover{color:var(--link)}.links a:before{content:"["}.links a:after{content:"]"}.portrait{object-fit:cover;filter:grayscale(20%);border-radius:4px;width:140px;height:140px;transition:filter .3s}.portrait:hover{filter:grayscale(0%)}section{margin-bottom:3rem}h2{letter-spacing:-.3px;margin-bottom:1.5rem;font-size:1.25rem;font-weight:600}main>section>h2{border-bottom:1px solid var(--border);margin-bottom:1.25rem;padding-bottom:.4rem}.about p{text-align:justify;-webkit-hyphens:auto;hyphens:auto;margin-bottom:1rem;font-size:1rem}.about a{color:var(--link);border-bottom:1px solid #0000;text-decoration:none;transition:border-color .2s}.about a:hover{border-bottom-color:var(--link)}.about hr{border:0;border-top:1px dashed var(--border);margin:1.5rem 0 1rem}.news ul{list-style:none}.news li{gap:1.5rem;margin-bottom:.7rem;font-size:.95rem;line-height:1.5;display:flex}.news .date{width:70px;color:var(--text-muted);font-size:.85rem;font-family:var(--font-mono);flex-shrink:0}.news a{color:var(--link);text-decoration:none}.news a:hover{text-decoration:underline}.paper{border-bottom:1px dotted var(--border);gap:1.5rem;margin-bottom:1rem;padding-bottom:1rem;display:flex}.paper .year{color:var(--text-muted);flex-shrink:0;width:50px;font-size:.85rem}.paper-content{flex:1}.paper-title{color:var(--text);font-size:.95rem;line-height:1.5;text-decoration:none;transition:color .2s}a.paper-title:hover{color:var(--link)}.paper:last-child{border-bottom:0;margin-bottom:0;padding-bottom:0}.authors{color:var(--text-muted);margin-top:.15rem;font-size:.85rem;line-height:1.5}.authors sup{line-height:0}.equal-note{font-size:.75rem}.authors strong{color:var(--text);font-weight:600}.paper-meta{margin-top:.3rem;font-size:.8rem;display:block}.venue{color:var(--text-muted)}.paper-links:before{content:" · ";color:var(--text-muted)}.paper-links a:before{content:"["}.paper-links a:after{content:"]"}.paper-links a{color:var(--link);border-bottom:1px solid #0000;font-size:.8rem;text-decoration:none;transition:border-color .2s}.paper-links a:hover{border-bottom-color:var(--link)}.entries{margin-top:2rem}.entry{border-bottom:1px dotted var(--border);padding:1.25rem 0}.entry:first-child{padding-top:0}.entry:last-child{border-bottom:0}.entry-row{justify-content:space-between;align-items:baseline;gap:1.5rem;display:flex}.entry h2{font-family:var(--font-sans);letter-spacing:0;margin:0;font-size:1.05rem;font-weight:500;line-height:1.5}.entry h2 a{color:var(--text);text-decoration:none;transition:color .2s}.entry h2 a:hover{color:var(--link)}.entry-date{color:var(--text-muted);white-space:nowrap;flex-shrink:0;font-size:.8rem}.tags{flex-wrap:wrap;gap:.5rem;margin-top:.6rem;display:flex}.tag{background:var(--callout-bg);color:var(--link);border-radius:999px;padding:.15rem .55rem;font-size:.65rem}.entries-notes .entry{border-bottom:0;padding:.4rem 0}.entries-notes .entry h2{font-size:1rem}.back-link{color:var(--text-muted);margin-bottom:1.5rem;font-size:.85rem;text-decoration:none;display:inline-block}.back-link:hover{color:var(--link)}.post-header h1{margin-bottom:1rem;font-size:1.6rem;line-height:1.3}.entry-meta{color:var(--text-muted);margin-bottom:1rem;font-size:.85rem}.entry-meta a{color:var(--text-muted);text-decoration:none}.entry-meta a:hover{color:var(--link)}.post-content{font-size:1.05rem;line-height:1.8}.post-content p{margin-bottom:1.5rem}.post-content h2{color:var(--text);letter-spacing:0;margin-top:2.5rem;margin-bottom:1rem;font-size:1.1rem;font-weight:600}.post-content h3{margin-top:2rem;margin-bottom:.75rem;font-size:1rem;font-weight:500}.post-content a{color:var(--link);border-bottom:1px solid #0000;text-decoration:none}.post-content a:hover{border-bottom-color:var(--link)}.post-content ul,.post-content ol{margin-bottom:1.5rem;padding-left:1.5rem}.post-content li{margin-bottom:.5rem}.post-content hr{border:0;border-top:1px solid var(--border);margin:2rem 0}.post-content pre{background:var(--code-bg);border-radius:4px;margin-bottom:1.5rem;padding:1.5rem;font-size:.85rem;line-height:1.6;overflow-x:auto}.post-content code{background:var(--code-bg);border-radius:3px;padding:.15rem .4rem;font-size:.9em}.post-content pre code{background:0 0;padding:0}.post-content figure{margin:2rem 0}.post-content img{border:1px solid var(--border);border-radius:4px;width:100%}.post-content figcaption{color:var(--text-muted);margin-top:.75rem;font-size:.8rem;line-height:1.5}.image-row{grid-template-columns:repeat(2,1fr);gap:1rem;margin:2rem 0;display:grid}.image-row figcaption{text-align:center;grid-column:1/-1}.post-content table{border-collapse:collapse;width:100%;margin:2rem 0;font-size:.85rem}.post-content th,.post-content td{text-align:left;border-bottom:1px solid var(--border);padding:.75rem}.post-content th{background:var(--code-bg);font-weight:600}.post-content blockquote{border-left:3px solid var(--border);color:var(--text-muted);margin:1.5rem 0;padding-left:1.5rem;font-style:italic}.katex-display{padding:.25rem 0;overflow:auto hidden}footer{border-top:1px solid var(--border);margin-top:4rem;padding-top:1.5rem}footer a{color:var(--link);text-decoration:underline}footer p{color:var(--text-muted);font-size:.8rem}.distill-post .post-content{counter-reset:sidenote-counter;overflow:visible}.distill-post .post-content h2{border-bottom:1px solid var(--border);margin-top:3rem;margin-bottom:1.25rem;padding-bottom:.4rem;font-size:1.4rem;font-weight:700}.distill-post .post-content h3{margin-top:2.5rem;margin-bottom:1rem;font-size:1.15rem;font-weight:600}.sidenote-ref{cursor:pointer}.sidenote-ref:after{counter-increment:sidenote-counter;content:counter(sidenote-counter);vertical-align:super;color:var(--link);margin-left:1px;font-size:.6em;line-height:0}.sidenote,.marginnote{float:right;clear:right;width:240px;color:var(--text-muted);margin-top:.2rem;margin-bottom:1rem;margin-right:-300px;font-size:.75rem;line-height:1.5}.sidenote:before{content:counter(sidenote-counter) ". ";color:var(--text);font-weight:600}.distill-post .post-content .figure-wide{width:calc(100% + 280px);max-width:calc(100vw - 4rem)}.distill-post .post-content .figure-full{width:100vw;margin-left:-50vw;margin-right:-50vw;position:relative;left:50%;right:50%}.distill-post .post-content .figure-full img{border:none;border-top:1px solid var(--border);border-bottom:1px solid var(--border);border-radius:0;width:100%}.distill-post .post-content .figure-full figcaption{max-width:680px;margin-left:auto;margin-right:auto;padding:.75rem 2rem 0}.citation-ref{vertical-align:super;color:var(--link);cursor:pointer;font-size:.65em;line-height:0;text-decoration:none}.citation-ref:hover{text-decoration:underline}.citation-ref:before{content:"["}.citation-ref:after{content:"]"}.references{border-top:1px solid var(--border);margin-top:3rem;padding-top:1.5rem}.references h2{color:var(--text);letter-spacing:0;border:0;margin-bottom:1rem;font-size:.9rem;font-weight:600}.references ol{padding-left:1.5rem;font-size:.85rem;line-height:1.6}.references li{color:var(--text-muted);margin-bottom:.75rem}.references .ref-title{color:var(--text);font-weight:600}.references .ref-venue{font-style:italic}.references .ref-link{font-size:.8rem}.references .ref-link:before{content:"["}.references .ref-link:after{content:"]"}.info-box{background:var(--callout-bg);border-left:3px solid var(--link);border-radius:0 4px 4px 0;margin:2rem 0;padding:1.25rem 1.5rem}.info-box p:last-child{margin-bottom:0}.info-box>strong:first-child{color:var(--link);margin-bottom:.5rem;font-size:.85rem;display:block}.about .info-box{margin:1.5rem 0}.distill-toc{border:1px solid var(--border);border-radius:4px;margin-bottom:2.5rem;padding:1.25rem 1.5rem;font-size:.8rem}.distill-toc h2{color:var(--text-muted);letter-spacing:1px;text-transform:uppercase;margin-bottom:.75rem;font-size:.75rem;font-weight:600}.distill-toc ol{margin:0;padding-left:1.25rem}.distill-toc li{margin-bottom:.4rem}.distill-toc a{color:var(--text);border:0;text-decoration:none}.distill-toc a:hover{color:var(--link)}@media (width<=1300px){.sidenote,.marginnote{float:none;background:var(--code-bg);border-left:2px solid var(--border);border-radius:4px;width:100%;margin:.75rem 0 1rem;padding:.75rem 1rem;display:block}.distill-post .post-content .figure-wide{width:100%}}@media (width<=600px){html{font-size:15px}.container{padding:2rem 1.5rem}.header-content{text-align:center;flex-direction:column-reverse;align-items:center}.links{justify-content:center}.portrait{width:120px;height:120px}.paper{flex-direction:column;gap:.3rem}.news li{flex-direction:column;gap:0}.paper .year{width:auto}nav a{margin-right:1rem}.post-header h1{font-size:1.3rem}.post-content pre{padding:1rem;font-size:.8rem}.post-content table{width:max-content;min-width:100%;max-width:100%;font-size:.75rem;display:block;overflow-x:auto}.image-row{grid-template-columns:1fr}.distill-post .post-content .figure-full{width:calc(100% + 3rem);margin-left:-1.5rem;margin-right:-1.5rem;left:0;right:0}}@media (prefers-color-scheme:dark){:root{--bg:#1a1a1a;--text:#e0e0e0;--text-muted:#999;--link:#6db3f2;--border:#333;--code-bg:#252525;--callout-bg:#1e2a38}.portrait{filter:grayscale(30%)}.portrait:hover{filter:grayscale(10%)}}