@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-cyrillic-ext-wght-normal.BOeWTOD4.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-cyrillic-wght-normal.DqGufNeO.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-greek-ext-wght-normal.DlzME5K_.woff2)format("woff2-variations");unicode-range:U+1F??}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-greek-wght-normal.CkhJZR-_.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-vietnamese-wght-normal.CBcvBZtf.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-latin-ext-wght-normal.DO1Apj_S.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-latin-wght-normal.Dx4kXJAl.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}:root{--color-bg:#fff;--color-bg-header:#ffffffe0;--color-text:#1a1a1a;--color-muted:#5c5c5c;--color-accent:#036;--color-border:#eaeaea;--color-badge-bg:#e6f0fa;--color-year-row-bg:#f6f8fa;--font-sans:"Inter Variable", Inter, system-ui, sans-serif;--font-serif:var(--font-sans);--max-width:960px;--header-height:3.75rem;--section-scroll-margin:4.5rem}*,:before,:after{box-sizing:border-box}html{scroll-behavior:smooth}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}}body{font-family:var(--font-sans);color:var(--color-text);background:var(--color-bg);margin:0;font-size:17px;line-height:1.55}a{color:var(--color-accent);text-underline-offset:2px;text-decoration-thickness:1px}a:hover{text-decoration-thickness:2px}img{max-width:100%;height:auto}.container{width:min(100% - 2rem, var(--max-width));margin-inline:auto}.site-header{z-index:100;border-bottom:1px solid var(--color-border);background:var(--color-bg-header);backdrop-filter:blur(12px);position:sticky;top:0}.header-bar{min-height:var(--header-height);grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:1rem;padding-block:.5rem;display:grid}.header-end{display:none}@media (width>=961px){.header-bar{grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);gap:1.5rem}.header-end{display:block}.header-brand-zone{justify-content:center}.header-nav{justify-self:center}.nav-desktop{justify-content:center}}.header-brand-zone{justify-content:center;min-width:0;display:flex;overflow:hidden}.brand{font-family:var(--font-sans);letter-spacing:-.02em;color:var(--color-text);text-overflow:ellipsis;white-space:nowrap;max-width:100%;font-size:1.1rem;font-weight:600;text-decoration:none;overflow:hidden}.brand:hover{color:var(--color-accent)}.header-nav{flex-shrink:0}.nav-desktop{flex-wrap:nowrap;justify-content:flex-end;gap:.25rem 1rem;margin:0;padding:0;list-style:none;display:flex}.nav-desktop a{color:var(--color-text);font-size:.95rem;font-weight:500;text-decoration:none}.nav-desktop a:hover{color:var(--color-accent);text-decoration:underline}.nav-toggle{border:1px solid var(--color-border);font:inherit;cursor:pointer;background:0 0;border-radius:6px;padding:.35rem .65rem;display:none}.nav-mobile{border-top:1px solid var(--color-border);margin:0;padding:.75rem 0;list-style:none;display:none}.nav-mobile a{color:var(--color-text);padding:.5rem 0;font-weight:500;text-decoration:none;display:block}.nav-mobile.is-open{display:block}@media (width<=960px){.nav-desktop{display:none}.nav-toggle{display:inline-block}}@media (width>=961px) and (width<=1100px){.nav-desktop{gap:.25rem .75rem}.nav-desktop a{font-size:.9rem}}.section{scroll-margin-top:var(--section-scroll-margin);border-bottom:1px solid var(--color-border);padding:3rem 0}.section:last-of-type{border-bottom:none}.section h2{font-family:var(--font-sans);letter-spacing:-.02em;color:var(--color-text);margin:0 0 1.5rem;font-size:1.75rem;font-weight:600}.hero{padding-top:2.5rem}.hero-grid{grid-template-columns:320px 1fr;align-items:start;gap:2rem;display:grid}@media (width<=640px){.hero-grid{text-align:center;grid-template-columns:1fr;justify-items:center}}.hero-photo{border:1px solid var(--color-border);border-radius:12px;width:320px;max-width:100%;height:auto;display:block}.hero-name{font-family:var(--font-sans);letter-spacing:-.025em;margin:0 0 .25rem;font-size:2rem;font-weight:700;line-height:1.2}.hero-title{color:var(--color-muted);margin:0 0 1rem;font-size:1.05rem}.hero-bio p{margin:0 0 .75rem}.profile-links{flex-wrap:wrap;gap:.5rem 1rem;margin-top:1.25rem;display:flex}.profile-links a{font-weight:500}.theme-grid{grid-template-columns:repeat(auto-fill,minmax(260px,1fr));gap:1rem;display:grid}.theme-card-wrap{min-height:100%}.theme-card-wrap .theme-card{height:100%}.theme-collapse-hidden{display:none}.theme-grid-expanded .theme-collapse-hidden{display:block}.theme-grid-toggle{text-align:center;justify-content:center;align-self:stretch;align-items:center;width:100%;min-height:7.5rem;margin:0;padding:1rem 1.25rem;line-height:1.35;display:flex}.theme-card{border:1px solid var(--color-border);color:inherit;border-radius:8px;padding:1.15rem 1.25rem;text-decoration:none;transition:border-color .15s;display:block}.theme-card:hover{border-color:var(--color-accent)}.theme-card h3{font-size:1.05rem;font-family:var(--font-sans);letter-spacing:-.01em;color:var(--color-accent);margin:0 0 .5rem;font-weight:600}.theme-card p{color:var(--color-muted);margin:0;font-size:.95rem;line-height:1.45}.pub-year-group+.pub-year-group{margin-top:.25rem}.pub-year-row{top:calc(var(--header-height) + .35rem);z-index:5;background:var(--color-year-row-bg);border:1px solid var(--color-border);border-radius:6px;margin:2.25rem 0 .6rem;padding:.55rem .9rem;position:sticky}.pub-year-group:first-child .pub-year-row{margin-top:0}.pub-year{letter-spacing:-.025em;color:var(--color-accent);margin:0;font-size:1.4rem;font-weight:700;line-height:1.2}.pub-item{margin:0 0 .4rem}.pub-line{margin:0;line-height:1.45}.pub-venue{letter-spacing:-.01em;color:var(--color-accent);font-weight:600}.pub-title{font-weight:400}.pub-title a{color:var(--color-text);text-decoration:none}.pub-title a:hover,.pub-title a:focus-visible{color:var(--color-accent);text-decoration:underline;text-decoration-color:var(--color-accent);text-underline-offset:2px;text-decoration-thickness:1px}.pub-authors{color:var(--color-muted);font-style:italic}.award-badge{background:var(--color-badge-bg);color:var(--color-accent);vertical-align:middle;border-radius:999px;margin-left:.35rem;padding:.1rem .45rem;font-size:.75rem;font-style:normal;font-weight:600;display:inline-block}.pub-collapse-hidden{display:none}.pub-list-expanded .pub-collapse-hidden{display:block}.btn-text{border:1px solid var(--color-accent);color:var(--color-accent);font:inherit;cursor:pointer;background:0 0;border-radius:6px;margin-top:1.25rem;padding:.5rem 1rem;font-weight:600}.btn-text:hover{background:var(--color-badge-bg)}.prose-section h3{font-family:var(--font-sans);margin:1.5rem 0 .75rem;font-size:1.15rem;font-weight:600}.prose-section ul{padding-left:1.25rem}.prose-section li{margin-bottom:.5rem}.site-footer{color:var(--color-muted);text-align:center;padding:2rem 0 3rem;font-size:.9rem}.theme-page-header{margin-bottom:1.5rem}.featured-talk-video{max-width:52rem;margin:0 0 2rem}.featured-talk-video__frame{aspect-ratio:16/9;background:var(--color-badge-bg);border:1px solid var(--color-border);border-radius:8px;position:relative;overflow:hidden}.featured-talk-video__frame iframe{border:0;width:100%;height:100%;position:absolute;inset:0}.featured-talk-video__caption{color:var(--color-muted);margin:.65rem 0 0;font-size:.95rem;line-height:1.4}.theme-page-header h1{font-family:var(--font-sans);letter-spacing:-.025em;margin:0 0 .5rem;font-weight:700}.system-list,.talk-list{margin:0 0 1.5rem;padding:0;list-style:none}.system-list li,.talk-list li{margin-bottom:.4rem}.back-link{margin-bottom:1.5rem;font-weight:500;display:inline-block}