:root,[data-theme=moon]{color-scheme:dark;--base: #232136;--surface: #2a273f;--overlay: #393552;--hl-low: #2a283e;--hl-med: #44415a;--hl-high: #56526e;--muted: #6e6a86;--subtle: #908caa;--text: #e0def4;--love: #eb6f92;--gold: #f6c177;--rose: #ea9a97;--pine: #3e8fb0;--foam: #9ccfd8;--iris: #c4a7e7;--accent: var(--foam);--accent-soft: rgba(156, 207, 216, .16);--note-border: var(--foam);--note-bg: rgba(156, 207, 216, .12);--warning-border: var(--gold);--warning-bg: rgba(246, 193, 119, .14);--aside-border: var(--iris);--aside-bg: rgba(196, 167, 231, .14);--serif: "Newsreader", "EB Garamond", "Iowan Old Style", Georgia, serif;--mono: "IBM Plex Mono", ui-monospace, Menlo, Monaco, "Courier New", monospace;--sans: ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif}[data-theme=dawn]{color-scheme:light;--base: #faf4ed;--surface: #fffaf3;--overlay: #f2e9e1;--hl-low: #f4ede8;--hl-med: #dfdad9;--hl-high: #cecacd;--muted: #9893a5;--subtle: #797593;--text: #575279;--love: #b4637a;--gold: #ea9d34;--rose: #d7827e;--pine: #286983;--foam: #56949f;--iris: #907aa9;--accent: var(--foam);--accent-soft: rgba(86, 148, 159, .14);--note-border: var(--foam);--note-bg: rgba(86, 148, 159, .1);--warning-border: var(--gold);--warning-bg: rgba(234, 157, 52, .12);--aside-border: var(--iris);--aside-bg: rgba(144, 122, 169, .12)}*{box-sizing:border-box}html,body{margin:0;background:var(--base);color:var(--text);font-family:var(--serif);font-feature-settings:"ss01","kern";font-optical-sizing:auto;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility;transition:background .4s ease,color .4s ease}html{scroll-padding-top:88px}:target,.prose h1,.prose h2,.prose h3,.prose h4{scroll-margin-top:88px}body{min-height:100vh;line-height:1.6}a{color:var(--accent);text-decoration-color:color-mix(in oklch,var(--accent) 35%,transparent);text-decoration-thickness:1px;text-underline-offset:3px;transition:color .2s ease,text-decoration-color .2s ease}a:hover{text-decoration-color:var(--accent)}::selection{background:var(--accent-soft);color:var(--text)}main{width:min(72rem,calc(100% - 2rem));margin:0 auto;padding:clamp(36px,6vw,64px) 0 96px}.site-nav,.site-footer{width:min(72rem,calc(100% - 2rem));margin:0 auto}.site-header{position:sticky;top:0;z-index:10;background:color-mix(in oklch,var(--base) 88%,transparent);backdrop-filter:blur(8px);border-bottom:1px solid var(--hl-med)}.site-nav{display:flex;align-items:center;justify-content:space-between;gap:24px;padding:22px 0}.brand{display:inline-flex;align-items:center;gap:10px;text-decoration:none;color:var(--text);font-family:var(--mono);font-size:13px;font-weight:500;letter-spacing:.02em}.brand__mark{color:var(--accent);display:inline-flex;transition:color .2s ease}.brand:hover .brand__mark{color:var(--iris)}.site-nav__links{display:flex;align-items:center;gap:clamp(14px,2vw,26px);font-family:var(--mono);font-size:13px;margin:0;padding:0;list-style:none}.site-nav__links a{color:var(--subtle);text-decoration:none;position:relative;padding:4px 0}.site-nav__links a:hover,.site-nav__links a[aria-current=page]{color:var(--text)}.site-nav__links a[aria-current=page]:after{content:"";position:absolute;left:0;right:0;bottom:-2px;height:1.5px;background:var(--accent)}.theme-toggle{background:transparent;border:1px solid var(--hl-med);color:var(--subtle);font-family:var(--mono);font-size:11px;letter-spacing:.08em;text-transform:uppercase;padding:6px 12px;border-radius:999px;cursor:pointer;transition:color .15s ease,border-color .15s ease,background .15s ease}.theme-toggle:hover{color:var(--text);border-color:var(--hl-high);background:var(--hl-low)}.eyebrow{font-family:var(--mono);font-size:12px;letter-spacing:.12em;text-transform:uppercase;color:var(--subtle);margin:0 0 18px;display:inline-flex;align-items:center;gap:8px}.eyebrow:before{content:"";width:18px;height:1px;background:var(--muted)}.display{font-family:var(--serif);font-weight:400;font-size:clamp(2.6rem,6vw,4.6rem);line-height:1.04;letter-spacing:-.02em;margin:0 0 28px;color:var(--text)}.display__sub{display:block;font-size:.42em;line-height:1.3;color:var(--subtle);margin-top:18px;max-width:32ch;font-weight:400}.display--md{font-size:clamp(2rem,4.5vw,3.2rem);margin-bottom:18px}.lede{font-family:var(--serif);font-size:clamp(1.05rem,1.4vw,1.2rem);line-height:1.55;color:var(--text);max-width:56ch;margin:0 0 32px}.muted{color:var(--subtle)}.hero{padding:32px 0 56px;border-bottom:1px solid var(--hl-med);margin-bottom:56px}.page-head{padding:16px 0 40px;border-bottom:1px solid var(--hl-med);margin-bottom:40px}.hero__links{display:flex;flex-wrap:wrap;gap:10px}.cta{display:inline-flex;align-items:center;gap:8px;padding:10px 18px;background:var(--accent);color:var(--base);border-radius:999px;text-decoration:none;font-family:var(--mono);font-size:13px;letter-spacing:.01em;transition:transform .15s ease,background .2s ease}.cta:hover{transform:translateY(-1px)}.cta--ghost{background:transparent;color:var(--text);border:1px solid var(--hl-med)}.cta--ghost:hover{background:var(--hl-low);border-color:var(--hl-high)}.home-grid{display:grid;grid-template-columns:minmax(0,1.7fr) minmax(0,1fr);gap:clamp(28px,4vw,56px);align-items:start}@media(max-width:860px){.home-grid{grid-template-columns:1fr}}.panel-stack{display:grid;gap:clamp(32px,4vw,56px)}.panel__head{display:flex;align-items:baseline;justify-content:space-between;gap:16px;margin-bottom:24px;padding-bottom:14px;border-bottom:1px solid var(--hl-med)}.panel__head h2{font-family:var(--serif);font-weight:400;font-size:1.6rem;letter-spacing:-.01em;margin:0;color:var(--text)}.panel__more{font-family:var(--mono);font-size:12.5px;text-decoration:none}.panel__title{font-family:var(--mono);font-size:11px;letter-spacing:.14em;text-transform:uppercase;color:var(--subtle);margin:0 0 16px;padding-bottom:12px;border-bottom:1px solid var(--hl-med)}.side-col{display:grid;gap:36px;position:sticky;top:100px}.now{margin:0;display:grid;grid-template-columns:max-content 1fr;column-gap:18px;row-gap:12px}.now dt{font-family:var(--mono);font-size:11px;letter-spacing:.08em;text-transform:uppercase;color:var(--muted);padding-top:3px}.now dd{margin:0;color:var(--text);font-size:.95rem;line-height:1.5}.link-list{list-style:none;padding:0;margin:0;display:grid;gap:2px}.link-list a{display:flex;align-items:baseline;justify-content:space-between;gap:14px;padding:8px 0;border-bottom:1px dashed var(--hl-med);text-decoration:none;color:var(--text);font-size:.95rem}.link-list li:last-child a{border-bottom:0}.link-list__k{font-family:var(--serif)}.link-list__v{font-family:var(--mono);font-size:12px;color:var(--subtle)}.link-list a:hover .link-list__k{color:var(--accent)}.link-list a:hover .link-list__v{color:var(--text)}.post-list{list-style:none;padding:0;margin:0;display:grid;gap:0}.post-list li{border-bottom:1px dashed var(--hl-med)}.post-list li:last-child{border-bottom:0}.post-list__item{display:block;padding:22px 0;text-decoration:none;color:var(--text);transition:transform .2s ease}.post-list__item:hover{transform:translate(4px)}.post-list__item:hover h3{color:var(--accent)}.post-list__meta{display:flex;gap:14px;font-family:var(--mono);font-size:12px;color:var(--subtle);margin-bottom:8px}.post-list__item h3{font-family:var(--serif);font-weight:400;font-size:1.4rem;line-height:1.2;letter-spacing:-.01em;margin:0 0 8px;color:var(--text);transition:color .2s ease}.post-list__item p{margin:0 0 12px;color:var(--subtle);line-height:1.5;max-width:56ch}.tag-list{list-style:none;padding:0;margin:0;display:flex;flex-wrap:wrap;gap:6px}.tag-list li,.tag-list span{font-family:var(--mono);font-size:11px;letter-spacing:.04em;color:var(--subtle);padding:2px 8px;border:1px solid var(--hl-med);border-radius:4px;background:transparent;display:inline-flex;align-items:center;transition:color .15s ease,border-color .15s ease}.tag-list li:before,.tag-list span:before{content:"#";color:var(--muted);margin-right:1px}.tag-list li a{color:inherit;text-decoration:none}.tag-list li:has(a):hover{color:var(--text);border-color:var(--hl-high)}.tag-list .badge{color:var(--gold);border-color:color-mix(in oklch,var(--gold) 40%,transparent)}.tag-list .badge:before{content:"◆";color:var(--gold);margin-right:4px}.tag-list--inline{margin-top:10px}.tag-bar{display:flex;flex-wrap:wrap;gap:6px;margin-bottom:36px}.tag-pill{font-family:var(--mono);font-size:12px;letter-spacing:.02em;padding:6px 14px;border-radius:999px;border:1px solid var(--hl-med);background:transparent;color:var(--subtle);text-decoration:none;transition:color .15s ease,border-color .15s ease,background .15s ease}.tag-pill:hover{color:var(--text);border-color:var(--hl-high);background:var(--hl-low)}.archive{list-style:none;padding:0;margin:0}.archive li{border-top:1px solid var(--hl-med)}.archive li:last-child{border-bottom:1px solid var(--hl-med)}.archive__item{display:grid;grid-template-columns:160px 1fr 24px;gap:32px;align-items:start;padding:28px 8px;text-decoration:none;color:var(--text);transition:background .2s ease,padding .2s ease}.archive__item:hover{background:var(--hl-low);padding-left:18px;padding-right:18px}.archive__item:hover .archive__arrow{color:var(--accent);transform:translate(4px)}.archive__item:hover h2{color:var(--accent)}.archive__date{display:flex;flex-direction:column;gap:4px;font-family:var(--mono);font-size:12px;color:var(--subtle);padding-top:6px}.archive__date time{color:var(--text);font-weight:500}.archive__body h2{font-family:var(--serif);font-weight:400;font-size:1.55rem;line-height:1.2;letter-spacing:-.01em;margin:0 0 8px;color:var(--text);transition:color .2s ease}.archive__body p{margin:0;color:var(--subtle);line-height:1.5;max-width:60ch}.archive__arrow{font-family:var(--mono);color:var(--muted);transition:all .2s ease;padding-top:4px;text-align:right}@media(max-width:720px){.archive__item{grid-template-columns:1fr;gap:8px;padding:22px 0}.archive__arrow{display:none}}.crumb{font-family:var(--mono);font-size:12.5px;margin:0 0 32px}.crumb a{color:var(--subtle);text-decoration:none}.crumb a:hover{color:var(--accent)}.post__head{max-width:64ch;margin:0 0 48px;padding-bottom:36px;border-bottom:1px solid var(--hl-med)}.post-meta,.post__meta{font-family:var(--mono);font-size:12.5px;color:var(--subtle);display:flex;flex-wrap:wrap;gap:8px;margin:14px 0 16px}.prose{max-width:64ch;font-size:1.08rem;line-height:1.7;color:var(--text)}.prose p{margin:0 0 1.25em}.prose>p:first-of-type{font-size:1.18rem;line-height:1.55;padding-left:16px;border-left:2px solid var(--hl-med);margin-bottom:1.6em}.prose h1{font-family:var(--serif);font-weight:400;font-size:clamp(2rem,4.5vw,3.2rem);line-height:1.1;letter-spacing:-.02em;margin:0 0 18px;color:var(--text)}.prose h2,.prose h3,.prose h4{font-family:var(--serif);font-weight:400;line-height:1.25;letter-spacing:-.01em;color:var(--text)}.prose h2{font-size:1.7rem;margin:2.5em 0 .75em;display:flex;align-items:baseline;gap:.5em}.prose h2:before{content:"";width:14px;height:1.5px;background:var(--accent);flex-shrink:0;transform:translateY(-.35em)}.prose h3{font-size:1.3rem;margin:2em 0 .5em}.prose .heading-anchor{color:var(--muted);text-decoration:none;opacity:0;margin-left:.4em;font-family:var(--mono);font-size:.7em;transition:opacity .15s ease,color .15s ease}.prose h1:hover .heading-anchor,.prose h2:hover .heading-anchor,.prose h3:hover .heading-anchor,.prose h4:hover .heading-anchor,.prose .heading-anchor:focus{opacity:1}.prose .heading-anchor:hover{color:var(--accent)}.prose ul,.prose ol{padding-left:1.4em;margin:0 0 1.25em}.prose li{margin-bottom:.4em}.prose em{color:var(--text)}.prose strong{color:var(--text);font-weight:600}.prose img{max-width:100%;border-radius:8px}.prose code{font-family:var(--mono);font-size:.9em;background:var(--hl-low);border:1px solid var(--hl-med);padding:1px 6px;border-radius:4px;color:var(--foam)}[data-theme=dawn] .prose code{color:var(--pine)}.prose pre{background:var(--surface);border:1px solid var(--hl-med);border-radius:10px;padding:20px 22px;overflow-x:auto;font-size:.88rem;line-height:1.6;margin:1.6em 0 2em;position:relative}.prose pre code{background:transparent;border:0;padding:0;color:var(--text)}.copy-btn{position:absolute;top:8px;right:8px;padding:4px 10px;font-family:var(--mono);font-size:11px;letter-spacing:.06em;text-transform:uppercase;color:var(--subtle);background:var(--hl-low);border:1px solid var(--hl-med);border-radius:6px;cursor:pointer;opacity:0;transition:opacity .15s ease,color .15s ease,border-color .15s ease}.prose pre:hover .copy-btn,.copy-btn:focus{opacity:1}.copy-btn:hover{color:var(--text);border-color:var(--hl-high)}.copy-btn[data-copied=true]{color:var(--foam);border-color:var(--foam)}html[data-theme=dawn] .astro-code,html[data-theme=dawn] .astro-code span{color:var(--shiki-light)!important;background-color:var(--shiki-light-bg)!important}html[data-theme=moon] .astro-code,html[data-theme=moon] .astro-code span{color:var(--shiki-dark)!important;background-color:var(--shiki-dark-bg)!important}.reading-progress{position:fixed;top:0;left:0;right:0;height:2px;background:transparent;z-index:20;pointer-events:none}.reading-progress__bar{height:100%;background:var(--accent);transform:scaleX(0);transform-origin:left center;transition:transform .06s linear;will-change:transform}@media(prefers-reduced-motion:reduce){.reading-progress__bar{transition:none}}.post{display:block}.post--with-toc{display:grid;grid-template-columns:minmax(0,64ch) minmax(180px,240px);gap:clamp(24px,4vw,56px);align-items:start}.post--with-toc .post__head{grid-column:1 / -1}.post__toc{position:sticky;top:100px;font-family:var(--mono);font-size:12.5px;line-height:1.5;border-left:1px solid var(--hl-med);padding-left:18px;max-height:calc(100vh - 140px);overflow-y:auto}.post__toc-title{font-size:11px;letter-spacing:.14em;text-transform:uppercase;color:var(--subtle);margin:0 0 12px}.post__toc ol{list-style:none;padding:0;margin:0;display:grid;gap:6px}.post__toc-item a{color:var(--subtle);text-decoration:none;display:inline-block;border-left:2px solid transparent;padding-left:8px;margin-left:-10px;transition:color .15s ease,border-color .15s ease}.post__toc-item a:hover{color:var(--text)}.post__toc-item a[aria-current=true]{color:var(--text);border-left-color:var(--accent)}.post__toc-item--d3 a{padding-left:20px;font-size:11.5px;color:var(--muted)}@media(max-width:1100px){.post--with-toc{grid-template-columns:1fr}.post__toc{position:static;max-height:none}}.footnote-popover{position:absolute;z-index:20;max-width:min(360px,calc(100vw - 24px));padding:12px 14px;background:var(--surface);color:var(--text);border:1px solid var(--hl-med);border-radius:8px;box-shadow:0 8px 24px color-mix(in oklch,var(--base) 60%,transparent);font-family:var(--serif);font-size:.95rem;line-height:1.5;pointer-events:none}.footnote-popover>:first-child{margin-top:0}.footnote-popover>:last-child{margin-bottom:0}.demo{margin:2em 0;padding:14px;background:var(--surface);border:1px solid var(--hl-med);border-radius:12px}.demo__controls{margin-top:12px;display:grid;gap:10px}.demo__row{display:flex;flex-wrap:wrap;align-items:center;gap:12px;font-family:var(--mono);font-size:12px;color:var(--subtle)}.demo__row input[type=range]{flex:1 1 auto;min-width:120px;accent-color:var(--accent)}.demo__row button{font-family:var(--mono);font-size:11.5px;letter-spacing:.04em;padding:5px 12px;border-radius:999px;border:1px solid var(--hl-med);background:var(--hl-low);color:var(--text);cursor:pointer;transition:border-color .15s ease,color .15s ease,background .15s ease}.demo__row button:hover{border-color:var(--hl-high)}.demo__row button[data-active=true]{background:var(--accent);color:var(--base);border-color:var(--accent)}.demo__check{display:inline-flex;align-items:center;gap:6px;cursor:pointer}.demo__mono{font-family:var(--mono);font-size:12px;color:var(--text);min-width:3.5ch;text-align:right}.callout{margin:1.6em 0;padding:16px 22px;border-radius:10px;background:var(--surface);border-left:2px solid var(--foam)}.callout-note{border-left-color:var(--note-border);background:var(--note-bg)}.callout-warning{border-left-color:var(--warning-border);background:var(--warning-bg)}.callout-aside{border-left-color:var(--aside-border);background:var(--aside-bg)}.callout>:first-child{margin-top:0}.callout>:last-child{margin-bottom:0}.figure{margin:2em 0}.figure img{display:block;width:100%;border-radius:8px;border:1px solid var(--hl-med)}.figure figcaption{margin-top:10px;font-family:var(--serif);font-size:.92rem;color:var(--subtle);line-height:1.5;text-align:center}.figure__caption{color:var(--text)}.figure__caption+.figure__credit:before{content:" — ";color:var(--muted)}.figure__credit a{color:var(--subtle)}.figure--wide{margin-left:calc(50% - 50vw + 12px);margin-right:calc(50% - 50vw + 12px);max-width:none}.sidenote{display:inline}.sidenote__marker{color:var(--accent);font-family:var(--mono);font-size:.7em;cursor:pointer}.sidenote__body{display:inline;color:var(--subtle);font-size:.92em;font-style:italic}.sidenote__body:before{content:" ("}.sidenote__body:after{content:")"}@media(min-width:1200px){.sidenote__body{float:right;clear:right;width:200px;margin-right:-240px;margin-top:.3em;font-style:normal;display:block}.sidenote__body:before,.sidenote__body:after{content:none}}.details{margin:1.6em 0;border:1px solid var(--hl-med);border-radius:10px;background:var(--hl-low)}.details>summary{padding:12px 18px;cursor:pointer;font-family:var(--mono);font-size:12.5px;letter-spacing:.02em;color:var(--subtle);list-style:none;display:flex;align-items:center;gap:10px}.details>summary::-webkit-details-marker{display:none}.details>summary:before{content:"▶";color:var(--muted);font-size:.8em;transition:transform .15s ease;display:inline-block}.details[open]>summary:before{transform:rotate(90deg)}.details>summary:hover{color:var(--text)}.details__body{padding:4px 22px 18px;border-top:1px dashed var(--hl-med)}.details__body>:first-child{margin-top:16px}.details__body>:last-child{margin-bottom:0}.aside-block{margin:2em 0;padding:18px 22px;background:var(--surface);border:1px solid var(--hl-med);border-radius:10px}.aside-block__title{margin:0 0 10px;font-family:var(--mono);font-size:11px;letter-spacing:.14em;text-transform:uppercase;color:var(--subtle)}.aside-block__body>:first-child{margin-top:0}.aside-block__body>:last-child{margin-bottom:0}.thm-block{margin:1.8em 0;padding:16px 22px;border-left:3px solid var(--iris);background:color-mix(in oklch,var(--iris) 8%,var(--surface));border-radius:0 10px 10px 0}.thm-block[data-thm-kind=Definition]{border-left-color:var(--foam);background:color-mix(in oklch,var(--foam) 8%,var(--surface))}.thm-block[data-thm-kind=Lemma]{border-left-color:var(--rose);background:color-mix(in oklch,var(--rose) 8%,var(--surface))}.thm-block__head{margin:0 0 8px;font-family:var(--serif);font-size:1rem;color:var(--text)}.thm-block__kind{font-family:var(--mono);font-size:11.5px;letter-spacing:.1em;text-transform:uppercase;color:var(--iris);font-weight:600;margin-right:6px}.thm-block[data-thm-kind=Definition] .thm-block__kind{color:var(--foam)}.thm-block[data-thm-kind=Lemma] .thm-block__kind{color:var(--rose)}.thm-block__num{color:var(--text);font-weight:600}.thm-block__title{color:var(--subtle);font-style:italic}.thm-block__body{font-style:italic}.thm-block[data-thm-kind=Definition] .thm-block__body{font-style:normal}.thm-block__body>:first-child{margin-top:0}.thm-block__body>:last-child{margin-bottom:0}.thm-block .katex{font-style:normal}.proof-block{margin:1.6em 0}.proof-block__head{margin:0 0 4px;color:var(--subtle)}.proof-block__body>:first-child{margin-top:0}.proof-block__qed{display:inline-block;margin-left:6px;color:var(--accent);font-family:var(--mono);vertical-align:baseline}.thm-ref{color:var(--accent);text-decoration:none;font-variant-numeric:tabular-nums}.thm-ref:hover{text-decoration:underline}.video-figure{margin:2em 0}.video-figure video{display:block;width:100%;border-radius:8px;border:1px solid var(--hl-med);background:var(--surface)}.video-figure figcaption{margin-top:10px;font-family:var(--serif);font-size:.92rem;color:var(--subtle);line-height:1.5;text-align:center}.code-figure{margin:1.8em 0}.code-figure__title{font-family:var(--mono);font-size:11.5px;letter-spacing:.06em;color:var(--subtle);padding:8px 16px;background:var(--hl-low);border:1px solid var(--hl-med);border-bottom:0;border-radius:10px 10px 0 0}.code-figure pre{margin:0!important;border-radius:0 0 10px 10px!important}.paper-card{margin:2em 0;padding:18px 22px;border:1px solid var(--hl-med);border-left:3px solid var(--foam);border-radius:0 10px 10px 0;background:var(--surface)}.paper-card__title{font-family:var(--serif);font-weight:400;font-size:1.2rem;margin:0 0 6px;color:var(--text);letter-spacing:-.01em}.paper-card__authors{margin:0 0 4px;color:var(--text);font-size:.95rem}.paper-card__meta{margin:0 0 10px;font-family:var(--mono);font-size:12px;color:var(--subtle)}.paper-card__desc{margin:0 0 10px;color:var(--subtle);font-size:.95rem;line-height:1.5}.paper-card__links{margin:0;display:flex;gap:14px;font-family:var(--mono);font-size:12px}.paper-card__links a{color:var(--accent);text-decoration:none}.paper-card__links a:hover{text-decoration:underline}.cite{color:var(--accent);text-decoration:none;font-variant-numeric:tabular-nums;white-space:nowrap}.cite:hover{text-decoration:underline}.refs{margin:3em 0 1em;padding-top:24px;border-top:1px solid var(--hl-med)}.refs__head{display:flex;justify-content:space-between;align-items:baseline;gap:16px;margin-bottom:18px}.refs__title{font-family:var(--mono);font-size:11px;letter-spacing:.14em;text-transform:uppercase;color:var(--subtle);margin:0}.refs__download{font-family:var(--mono);font-size:11px;letter-spacing:.04em;color:var(--subtle);text-decoration:none;padding:3px 10px;border:1px solid var(--hl-med);border-radius:999px;transition:color .15s ease,border-color .15s ease}.refs__download:hover{color:var(--accent);border-color:var(--accent)}.refs__list{list-style:none;padding:0;margin:0;display:grid;gap:14px;font-size:.94rem;line-height:1.5}.refs__item{padding-left:20px;position:relative;color:var(--text)}.refs__item:before{content:"›";position:absolute;left:0;color:var(--muted);font-family:var(--mono)}.refs__item:target{background:var(--accent-soft);border-radius:6px;padding:4px 8px 4px 20px}.refs__authors{color:var(--text)}.refs__year{color:var(--subtle)}.refs__entry-title{color:var(--text);font-style:italic}.refs__venue{color:var(--subtle)}.equation-block{display:grid;grid-template-columns:1fr auto;align-items:center;gap:16px;margin:1.6em 0}.equation-block__body{min-width:0;overflow-x:auto}.equation-block__body .katex-display{margin:0}.equation-block__num{font-family:var(--mono);font-size:.9rem;color:var(--subtle);font-variant-numeric:tabular-nums}.eq-ref{color:var(--accent);text-decoration:none;font-variant-numeric:tabular-nums}.eq-ref:hover{text-decoration:underline}.post__foot{margin-top:80px;padding-top:32px;border-top:1px solid var(--hl-med)}.post__nav{display:grid;grid-template-columns:1fr 1fr;gap:24px}.post__nav-item{display:block;padding:18px 22px;border:1px solid var(--hl-med);border-radius:10px;text-decoration:none;color:var(--text);background:var(--surface);transition:border-color .2s ease}.post__nav-item:hover{border-color:var(--accent)}.post__nav-item--right{text-align:right}.post__nav-dir{display:block;font-family:var(--mono);font-size:11px;letter-spacing:.1em;text-transform:uppercase;color:var(--subtle);margin-bottom:6px}.post__nav-title{font-family:var(--serif);font-size:.98rem;line-height:1.3;color:var(--text)}.cv-block{margin-bottom:48px}.cv-block__title{font-family:var(--mono);font-size:11px;letter-spacing:.16em;text-transform:uppercase;color:var(--subtle);margin:0 0 24px;padding-bottom:10px;border-bottom:1px solid var(--hl-med)}.timeline{list-style:none;padding:0;margin:0;display:grid;gap:28px}.timeline>li{display:grid;grid-template-columns:180px 1fr;gap:32px;align-items:start}@media(max-width:720px){.timeline>li{grid-template-columns:1fr;gap:6px}}.timeline__when{font-family:var(--mono);font-size:12.5px;color:var(--subtle);padding-top:4px}.timeline__body h3{font-family:var(--serif);font-weight:400;font-size:1.35rem;margin:0 0 4px;color:var(--text);letter-spacing:-.01em}.timeline__where{margin:0 0 8px;color:var(--accent);font-size:.98rem}.timeline__body p{margin:0 0 6px;color:var(--subtle);line-height:1.5}.pubs{list-style:none;padding:0;margin:0;display:grid;gap:18px}.pubs>li{padding-left:18px;border-left:1px solid var(--hl-med)}.pubs__title{margin:0 0 4px;font-size:1.08rem;line-height:1.4;color:var(--text)}.pubs__meta{margin:0;font-family:var(--mono);font-size:12.5px;color:var(--subtle)}.pubs__venue{color:var(--foam);margin-left:6px}.pubs__desc{margin:6px 0 0;color:var(--subtle);line-height:1.5;font-size:.95rem}.pubs__links{margin:8px 0 0;display:flex;flex-wrap:wrap;gap:14px;font-family:var(--mono);font-size:12px}.pubs__links a{color:var(--accent);text-decoration:none}.pubs__links a:hover{text-decoration:underline}.bullets{list-style:none;padding:0;margin:0;display:grid;gap:10px}.bullets li{position:relative;padding-left:18px;color:var(--text);line-height:1.5}.bullets li:before{content:"›";position:absolute;left:0;color:var(--accent);font-family:var(--mono)}.site-footer{border-top:1px solid var(--hl-med);padding:24px 0;display:flex;align-items:center;justify-content:space-between;gap:16px;flex-wrap:wrap;font-family:var(--mono);font-size:12px;color:var(--subtle)}.site-footer a{color:var(--subtle);text-decoration:none}.site-footer a:hover{color:var(--accent)}.site-footer__row{display:flex;align-items:center;gap:10px;flex-wrap:wrap}.site-footer__dot{color:var(--muted)}.site-footer__set{color:var(--muted);font-style:italic}.site-nav__actions{display:flex;align-items:center;gap:10px}.search-trigger{display:inline-flex;align-items:center;gap:8px;padding:6px 10px 6px 12px;background:transparent;border:1px solid var(--hl-med);color:var(--subtle);font-family:var(--mono);font-size:12px;border-radius:999px;cursor:pointer;transition:color .15s ease,border-color .15s ease,background .15s ease}.search-trigger:hover{color:var(--text);border-color:var(--hl-high);background:var(--hl-low)}.search-trigger__label{display:inline}.search-trigger__kbd{font-family:var(--mono);font-size:10px;padding:1px 6px;border-radius:4px;background:var(--hl-low);border:1px solid var(--hl-med);color:var(--muted)}@media(max-width:640px){.search-trigger__label,.search-trigger__kbd{display:none}}.search-dialog{padding:0;border:0;background:transparent;color:var(--text);max-width:640px;width:min(640px,calc(100% - 32px));margin-top:10vh}.search-dialog::backdrop{background:color-mix(in oklch,var(--base) 70%,transparent);backdrop-filter:blur(6px)}.search-panel{background:var(--surface);border:1px solid var(--hl-med);border-radius:12px;box-shadow:0 20px 60px color-mix(in oklch,#000 45%,transparent);overflow:hidden}.search-panel__field{display:flex;align-items:center;gap:10px;padding:14px 16px;border-bottom:1px solid var(--hl-med)}.search-panel__icon{color:var(--subtle);font-size:1.1rem}.search-panel__input{flex:1;min-width:0;background:transparent;border:0;outline:0;color:var(--text);font-family:var(--serif);font-size:1.05rem}.search-panel__input::placeholder{color:var(--muted)}.search-panel__esc{font-family:var(--mono);font-size:10px;padding:2px 6px;border-radius:4px;background:var(--hl-low);border:1px solid var(--hl-med);color:var(--muted)}.search-panel__results{max-height:60vh;overflow-y:auto;padding:8px}.search-panel__hint{padding:12px;color:var(--subtle);font-family:var(--mono);font-size:12.5px;margin:0}.search-panel__hint code{font-family:var(--mono);padding:1px 5px;background:var(--hl-low);border:1px solid var(--hl-med);border-radius:4px;color:var(--foam)}.search-hit{display:block;padding:12px 14px;border-radius:8px;text-decoration:none;color:var(--text);transition:background .12s ease}.search-hit+.search-hit{margin-top:2px}.search-hit:hover,.search-hit:focus-visible{background:var(--hl-low);outline:0}.search-hit__title{display:block;font-family:var(--serif);font-size:1.05rem;color:var(--text);margin-bottom:3px}.search-hit__excerpt{display:block;font-family:var(--serif);font-size:.9rem;color:var(--subtle);line-height:1.45}.search-hit__excerpt mark{background:color-mix(in oklch,var(--accent) 30%,transparent);color:var(--text);padding:0 2px;border-radius:2px}.cite-this{margin:3em 0 0;padding:12px 0 0;border-top:1px dashed var(--hl-med);max-width:64ch}.cite-this>summary{cursor:pointer;font-family:var(--mono);font-size:11px;letter-spacing:.14em;text-transform:uppercase;color:var(--subtle);list-style:none;display:inline-flex;align-items:center;gap:8px;padding:4px 0}.cite-this>summary::-webkit-details-marker{display:none}.cite-this>summary:before{content:"▶";font-size:.8em;color:var(--muted);transition:transform .15s ease;display:inline-block}.cite-this[open]>summary:before{transform:rotate(90deg)}.cite-this>summary:hover{color:var(--text)}.cite-this__body{display:grid;gap:12px;margin-top:14px}.cite-this__row label{display:grid;gap:4px}.cite-this__row label>span{font-family:var(--mono);font-size:10px;letter-spacing:.14em;text-transform:uppercase;color:var(--muted)}.cite-this textarea{width:100%;font-family:var(--mono);font-size:12.5px;line-height:1.5;background:var(--hl-low);color:var(--text);border:1px solid var(--hl-med);border-radius:6px;padding:10px 12px;resize:vertical;outline:0}.cite-this textarea:focus{border-color:var(--accent)}.related{margin-top:64px;padding-top:32px;border-top:1px solid var(--hl-med);max-width:64ch}.related__title{font-family:var(--mono);font-size:11px;letter-spacing:.14em;text-transform:uppercase;color:var(--subtle);margin:0 0 18px}.related__list{list-style:none;padding:0;margin:0;display:grid;gap:4px}.related__item{display:block;padding:16px 0;text-decoration:none;color:var(--text);border-bottom:1px dashed var(--hl-med);transition:transform .2s ease}.related__list li:last-child .related__item{border-bottom:0}.related__item:hover{transform:translate(4px)}.related__item:hover h3{color:var(--accent)}.related__item h3{font-family:var(--serif);font-weight:400;font-size:1.25rem;line-height:1.2;margin:0 0 6px;color:var(--text);transition:color .2s ease}.related__item p{margin:0 0 8px;color:var(--subtle);line-height:1.5;max-width:60ch}.comments{margin-top:64px;padding-top:32px;border-top:1px solid var(--hl-med);max-width:64ch}.comments__title{font-family:var(--serif);font-weight:400;font-size:1.6rem;letter-spacing:-.01em;color:var(--text);margin:0 0 8px;display:flex;align-items:baseline;gap:.5em}.comments__title:before{content:"";width:14px;height:1.5px;background:var(--accent);flex-shrink:0;transform:translateY(-.35em)}.comments__note{font-family:var(--mono);font-size:12.5px;color:var(--subtle);margin:0 0 24px}.comments__mount{min-height:200px}@media print{html,body{background:#fff!important;color:#000!important}.site-header,.site-footer,.theme-toggle,.hero__links,.crumb,.draft-tag{display:none!important}main{width:auto!important;max-width:none!important;padding:0!important}.page-head{padding:0 0 12pt!important;margin-bottom:12pt!important;border-bottom:1px solid #444!important}.eyebrow,.cv-block__title{color:#444!important;font-size:8pt!important;letter-spacing:.14em}.eyebrow:before{background:#666!important}.display,.display--md{font-size:22pt!important;margin:0 0 4pt!important;color:#000!important}.lede{font-size:10pt!important;color:#333!important;max-width:none!important;margin:0 0 8pt!important}.cv-block{margin-bottom:18pt!important}.pubs{gap:10pt!important}.pubs>li{padding-left:10pt!important;border-left-color:#999!important;break-inside:avoid;page-break-inside:avoid}.pubs__title{font-size:11pt!important;color:#000!important}.pubs__meta,.pubs__desc,.pubs__venue{color:#333!important;font-size:9pt!important}.pubs__links{font-size:8.5pt!important}.pubs__links a,.refs__list a{color:#0645ad!important;text-decoration:underline}a{color:#000}.pubs__links a[href^=http]:after{content:" (" attr(href) ")";font-size:.75em;color:#444}@page{margin:.6in}}.draft-tag{display:inline-block;margin-left:.5em;padding:.1em .5em;font-family:var(--sans);font-size:.55em;font-weight:600;letter-spacing:.05em;text-transform:uppercase;color:var(--gold);background:var(--warning-bg);border:1px solid color-mix(in oklch,var(--gold) 40%,transparent);border-radius:3px;vertical-align:middle;white-space:nowrap}.astro-route-announcer{position:absolute;left:0;top:0;clip:rect(0 0 0 0);clip-path:inset(50%);overflow:hidden;white-space:nowrap;width:1px;height:1px}