@layer base{:root{--paper:#fafaf7;--ink:#202b34;--muted:#63717a;--blue:#245a82;--line:#dde2e3;--soft:#eef2f4;--serif:Georgia,"Times New Roman",serif;--sans:system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;color-scheme:light;font-family:var(--sans);color:var(--ink);background:var(--paper);font-synthesis:none}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:2rem}body{margin:0;font-size:15px;line-height:1.75}a{color:var(--blue);text-underline-offset:4px;text-decoration-thickness:1px}a:hover{text-decoration:underline}a:focus-visible{outline:2px solid var(--blue);outline-offset:5px;border-radius:2px}h1,h2,h3,p{margin-top:0}h1,h2,h3{font-family:var(--serif);font-weight:400;line-height:1.22}h1{letter-spacing:-.045em;margin-bottom:1.2rem;font-size:clamp(2.5rem,5.1vw,4.15rem)}h2{letter-spacing:-.025em;font-size:1.85rem}h3{font-size:1.24rem;line-height:1.4}p{margin-bottom:1rem}img,svg{max-width:100%}::selection{background:#dceaf5}main{min-height:65vh}button,a{-webkit-tap-highlight-color:transparent}}@layer components{.site-shell{max-width:1080px;margin:auto;padding:0 48px}.site-header{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:24px;padding:30px 0;display:flex}.wordmark{color:var(--ink);font-family:var(--serif);letter-spacing:-.4px;align-items:center;gap:12px;font-size:20px;text-decoration:none;display:flex}.mark{flex-shrink:0;width:30px;height:30px;display:block}.site-header nav{gap:28px;display:flex}.site-header nav a{color:var(--muted);padding:5px 0;font-size:13px;text-decoration:none}.site-header nav a[aria-current=page]{color:var(--blue);box-shadow:0 1px var(--blue)}.site-header nav a:hover{color:var(--blue)}.skip-link{z-index:10;background:#fff;padding:10px;position:absolute;top:-80px;left:16px}.skip-link:focus{top:8px}.preview-notice{color:#766038;background:#f4f0e5;border-left:2px solid #b29556;margin:16px 0 0;padding:8px 12px;font-size:12px}.hero{grid-template-columns:minmax(0,1fr) 260px;align-items:center;gap:60px;padding:86px 0 70px;display:grid}.eyebrow{font-family:var(--sans);letter-spacing:.16em;color:var(--muted);margin-bottom:18px;font-size:10px;font-weight:600}.hero .eyebrow{color:var(--blue)}.hero h1{margin-bottom:22px}.blue-dot{color:var(--blue)}.identity{color:var(--muted);max-width:560px;font-size:14px;line-height:1.8}.bio{color:#495660;max-width:570px;font-size:19px;line-height:1.7}.hero-links{flex-wrap:wrap;align-items:center;gap:26px;margin-top:30px;display:flex}.button{background:var(--blue);color:#fff;border:1px solid var(--blue);border-radius:3px;justify-content:center;align-items:center;gap:22px;padding:11px 19px;font-size:13px;text-decoration:none;display:inline-flex}.button:hover{background:#194567;text-decoration:none}.text-link{font-size:13px;text-decoration:none}.math-art{width:260px;transform:rotate(-4deg)}.math-art span{text-align:center;letter-spacing:.22em;color:var(--muted);margin-top:15px;font-size:8px;display:block;transform:rotate(4deg)}.interest-strip{border-top:1px solid var(--line);border-bottom:1px solid var(--line);align-items:baseline;gap:30px;padding:21px 0;display:flex}.interest-strip h2{font-family:var(--sans);white-space:nowrap;margin:0;font-size:11px;font-weight:600}.interest-strip>div{flex-wrap:wrap;gap:8px 22px;display:flex}.interest-strip span{color:var(--muted);font-size:12px}.home-section{padding:50px 0 12px}.section-heading{justify-content:space-between;align-items:baseline;gap:16px;margin-bottom:20px;display:flex}.section-heading .eyebrow{margin-bottom:10px}.section-heading h2{margin-bottom:0}.empty-state{color:var(--muted);font-family:var(--serif);border-bottom:1px solid var(--line);padding:25px 0 30px;font-size:17px}.post-list,.publication-list,.experience-list{margin:0;padding:0;list-style:none}.post-list>li,.publication-list>li,.experience-list>li{border-bottom:1px solid var(--line);grid-template-columns:130px minmax(0,1fr);gap:22px;padding:26px 0;display:grid}.post-list time,.paper-year{color:var(--muted);font-variant-numeric:tabular-nums;padding-top:5px;font-size:11px}.post-list h3,.publication-list h3,.experience-list h3{margin-bottom:7px}.post-list h3 a{color:var(--ink);text-decoration:none}.post-list h3 a:hover{color:var(--blue)}.post-list h3 a span{font-family:var(--sans);color:var(--blue);font-size:15px}.post-list p,.publication-list p,.experience-list p{color:var(--muted);margin-bottom:6px;font-size:13px}.paper-venue{font-style:italic}.paper-links{flex-wrap:wrap;gap:18px;display:flex}.paper-links a{font-size:12px;text-decoration:none}.tags{flex-wrap:wrap;gap:8px;display:flex}.tags a{background:var(--soft);color:#486174;letter-spacing:.025em;border-radius:3px;padding:3px 9px;font-size:10px;text-decoration:none}.tags a:hover,.tags a.active{background:var(--blue);color:#fff}.contact-section{border-top:1px solid var(--line);background:#f0f3f3;grid-template-columns:1fr 1fr;align-items:center;gap:35px;margin:54px 0 64px;padding:32px;display:grid}.contact-section h2{margin:0}.contact-section .eyebrow{margin-bottom:10px}.contact-email{overflow-wrap:anywhere;font-size:17px;text-decoration:none}.contact-section .paper-links{margin-top:10px}.contact-section p{margin:0}.muted{color:var(--muted)}.site-footer{border-top:1px solid var(--line);color:var(--muted);justify-content:space-between;gap:20px;padding:23px 0 35px;font-size:11px;display:flex}.site-footer>div{gap:26px;display:flex}.site-footer a{color:var(--muted);text-decoration:none}.page-heading{max-width:790px;padding:70px 0 38px}.page-heading>p:last-child{color:var(--muted);font-size:17px}.page-heading h1{font-size:clamp(2.3rem,4.8vw,3.7rem)}.page-heading>.text-link{margin-bottom:35px;display:inline-block}.content-section{margin-bottom:55px}.interests{color:#495660;padding-left:20px;line-height:2}.cv-download{background:var(--soft);justify-content:space-between;align-items:center;gap:24px;margin-bottom:45px;padding:28px;display:flex}.cv-download h2{margin-bottom:6px;font-size:23px}.cv-download p{margin:0;font-size:12px}.blog-toolbar{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:20px;padding-bottom:22px;display:flex}.tag-title{text-transform:capitalize}.article-heading{max-width:850px}.article-heading .eyebrow{margin-top:5px}.article-heading h1{font-size:clamp(2.2rem,4vw,3.25rem)}.article-heading .tags{margin-top:22px}.article-layout{grid-template-columns:180px minmax(0,1fr);gap:40px;margin:12px 0 70px;display:grid}.article-layout:not(:has(.toc)){grid-template-columns:minmax(0,740px)}.toc nav{position:sticky;top:28px}.toc ol{padding:0;font-size:12px;line-height:1.7;list-style:none}.toc li{margin-bottom:12px}.toc li.nested{padding-left:12px}.toc a{color:var(--muted);text-decoration:none}.toc a:hover{color:var(--blue)}.prose{min-width:0;font-family:var(--serif);overflow-wrap:break-word;font-size:18px;line-height:1.9}.prose h2{margin-top:2.2rem;font-size:27px}.prose h3{margin-top:1.8rem;font-size:22px}.prose p{margin-bottom:1.4rem}.prose ul,.prose ol{padding-left:1.4em}.prose blockquote{border-left:2px solid var(--blue);background:var(--soft);margin:24px 0;padding:8px 22px}.prose blockquote p:last-child{margin-bottom:0}.prose pre{border:1px solid var(--line);border-radius:4px;max-width:100%;padding:20px;font-size:13px;overflow-x:auto}.prose code{background:#edf1f3;border-radius:2px;padding:2px 4px;font-size:.82em}.prose pre code{background:0 0;padding:0}.prose .katex-display{max-width:100%;margin:1.4em 0;padding:12px 2px;overflow:auto hidden}.prose .katex-display>.katex{white-space:nowrap}.prose .katex{font-size:1.06em}.prose .theorem,.prose .proof{border:1px solid var(--line);border-left:3px solid var(--blue);margin:25px 0;padding:18px 22px}.prose .proof{background:0 0;border-left-color:#a1adb5}.prose .theorem>p:last-child,.prose .proof>p:last-child{margin-bottom:0}.not-found{max-width:650px;padding:110px 0}.not-found p:not(.eyebrow){color:var(--muted);margin-bottom:30px}@media (width<=760px){.site-shell{padding:0 24px}.hero{grid-template-columns:minmax(0,1fr);gap:30px;padding:54px 0 44px}.math-art{display:none}.interest-strip{display:block}.interest-strip h2{margin-bottom:12px}.site-header{flex-wrap:wrap;gap:16px;padding:24px 0}.site-header nav{gap:23px}.page-heading{padding:50px 0 28px}.article-layout{flex-direction:column;gap:28px;display:flex}.toc{border-bottom:1px solid var(--line);padding-bottom:10px}.toc nav{position:static}.toc ol{columns:2}.contact-section{grid-template-columns:1fr;gap:20px;padding:25px}.blog-toolbar{flex-direction:column;align-items:flex-start}.bio{font-size:18px}.section-heading h2{font-size:25px}.section-heading>.text-link{white-space:nowrap;font-size:11px}}@media (width<=480px){.site-shell{padding:0 20px}.site-header{display:block}.site-header nav{justify-content:space-between;margin-top:18px}.hero{padding-top:45px}.hero h1{font-size:42px}.post-list>li,.publication-list>li,.experience-list>li{grid-template-columns:minmax(0,1fr);gap:8px}.home-section{padding-top:38px}.section-heading{gap:10px}.contact-section{margin:35px 0 44px}.site-footer{flex-direction:column;gap:10px}.cv-download{flex-direction:column;align-items:flex-start}.prose{font-size:17px}.hero-links{gap:20px}.toc ol{columns:1}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}}@media print{.site-header nav,.site-footer,.hero-links,.preview-notice,.toc{display:none}.site-shell{max-width:none;padding:0}.hero{padding:20px 0}.article-layout{display:block}.prose{font-size:12pt}a{color:inherit}.contact-section{background:0 0}}}