:root{color-scheme:light dark;--text:#1c1e21;--muted:#5b6168;--bg:#ffffff;--accent:#3d55b8;--rule:#e3e5e9;--code-bg:#f4f5f7}@media(prefers-color-scheme:dark){:root{--text:#e4e6ea;--muted:#9aa0a8;--bg:#15171b;--accent:#9fb0f5;--rule:#2c3038;--code-bg:#1e2126}}*,*::before,*::after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;text-size-adjust:100%}body{max-width:46rem;margin:0 auto;padding:2rem 1rem 2.5rem;background:var(--bg);color:var(--text);font:1.0625rem/1.6 system-ui,-apple-system,segoe ui,Roboto,helvetica neue,Arial,sans-serif}a{color:var(--accent);text-decoration-thickness:1px;text-underline-offset:.15em}a:hover{text-decoration-thickness:2px}.site-header{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:.5rem 1.5rem;margin-bottom:2rem;padding-bottom:1rem;border-bottom:1px solid var(--rule)}.site-title{margin:0;color:var(--text);font-size:1.35rem;font-weight:650;line-height:1.3;text-decoration:none}.site-header nav ul{display:flex;gap:1.25rem;margin:0;padding:0;list-style:none}.site-header nav a{color:var(--muted);text-decoration:none}.site-header nav a:hover,.site-header nav a[aria-current=page]{color:var(--text)}.site-header nav a[aria-current=page]{text-decoration:underline;text-decoration-thickness:2px;text-underline-offset:.4em}main::after{content:"";display:table;clear:both}h1,h2,h3{font-weight:650;line-height:1.25}h1{margin:0 0 1.5rem;font-size:1.75rem}h2{margin:2.5rem 0 1rem;font-size:1.3rem}h3{margin:1.75rem 0 .75rem;color:var(--muted);font-size:1.05rem}h2+h3{margin-top:1rem}ul{padding-left:1.25rem}li{margin:.4rem 0}li>ul{margin:.1rem 0 .9rem;padding:0;color:var(--muted);font-size:.95rem;list-style:none}li>ul>li{margin:0}.portrait{float:right;width:11rem;max-width:35%;height:auto;margin:.35rem 0 1rem 1.5rem;border-radius:4px}pre{overflow-x:auto;padding:.75rem 1rem;border-radius:4px;background:var(--code-bg);font-size:.8rem;line-height:1.45}code,pre{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,liberation mono,monospace}.katex{font-size:1.1em}.publications{padding:0;list-style:none}.publications>li{margin:0 0 1.25rem}.reference{margin:0}.pub-extra{display:flex;flex-wrap:wrap;gap:.2rem 1rem;margin-top:.3rem;font-size:.9rem}.pub-extra details[open]{flex-basis:100%}summary{color:var(--accent);cursor:pointer}summary:hover{text-decoration:underline}.pub-extra blockquote{margin:.5rem 0 .75rem;padding-left:1rem;border-left:3px solid var(--rule);font-size:.95rem;hyphens:auto;text-align:justify}.pub-extra pre{margin:.5rem 0 .75rem}footer{margin-top:4rem;padding-top:1rem;border-top:1px solid var(--rule);color:var(--muted);font-size:.875rem}footer a{color:inherit}