@font-face{font-family:"CMU Sans Serif";src:url("/assets/fonts/cmu-sans/CMUSansSerif.woff2") format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:"CMU Sans Serif";src:url("/assets/fonts/cmu-sans/CMUSansSerif-Oblique.woff2") format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:"CMU Sans Serif";src:url("/assets/fonts/cmu-sans/CMUSansSerif-Bold.woff2") format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:"CMU Sans Serif";src:url("/assets/fonts/cmu-sans/CMUSansSerif-BoldOblique.woff2") format("woff2");font-weight:700;font-style:italic;font-display:swap}@font-face{font-family:"Ubuntu Sans Mono";src:url("/assets/fonts/ubuntu-sans-mono/UbuntuSansMono-latin.woff2") format("woff2");font-weight:400 700;font-style:normal;font-display:swap}:root{--font-sans: "CMU Sans Serif", "Latin Modern Sans", ui-sans-serif, system-ui, sans-serif;--font-mono: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", monospace;--font-shell: "Ubuntu Sans Mono", "Ubuntu Mono", var(--font-mono);--measure-home: 72rem;--measure-reading: 49.5rem;--gutter: clamp(1rem, 3vw, 2rem);--gutter-home: clamp(1rem, 3vw, 1.5rem);--header-height: 3.25rem;--portrait-size: 11.125rem;--portrait-size-narrow: 8.5rem;--rail-pub: 9.375rem;--rail-date: 5.75rem;--space-1: 0.25rem;--space-2: 0.5rem;--space-3: 0.75rem;--space-4: 1rem;--space-5: 1.25rem;--space-6: 1.5rem;--space-8: 2rem;--space-12: 3rem;--type-bump: 1pt;--text-body: calc(1rem + var(--type-bump));--text-reading: calc(1.125rem + var(--type-bump));--text-meta: calc(0.9rem + var(--type-bump));--text-small: calc(0.875rem + var(--type-bump));--text-xs: calc(0.8125rem + var(--type-bump));--text-2xs: calc(0.78125rem + var(--type-bump));--bg: #fafaf8;--surface: #f3f3ef;--surface-strong: #eceeea;--tint: #f3f1ea;--shell-bg: #f5f4ef;--shell-bar: #ecebe4;--text: #1d2329;--muted: #565f68;--accent: #1b66e0;--accent-hover: #114fb0;--date: #7a5717;--separator: #e2e1dc;color-scheme:only light}*,*::before,*::after{box-sizing:border-box}html{scroll-padding-top:calc(var(--header-height) + var(--space-4));scroll-behavior:smooth;-webkit-text-size-adjust:100%}body{margin:0;min-height:100vh;display:flex;flex-direction:column;background:var(--bg);color:var(--text);font-family:var(--font-sans);font-size:var(--text-body);line-height:1.58;text-rendering:optimizeLegibility}h1,h2,h3,h4{font-weight:700;margin:0;text-wrap:balance}h1{font-size:clamp(2.25rem + var(--type-bump),5vw,2.75rem + var(--type-bump));line-height:1.12;letter-spacing:-0.01em}h2{font-size:clamp(1.45rem + var(--type-bump),3vw,1.7rem + var(--type-bump));line-height:1.2}h3{font-size:calc(1.0625rem + var(--type-bump));line-height:1.35}p{margin:0}a{color:var(--accent);text-decoration:none;text-decoration-thickness:from-font;text-underline-offset:.15em}a:hover,a:focus-visible{color:var(--accent-hover);text-decoration:underline;text-decoration-thickness:2px}:focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:1px}img,video{max-width:100%;height:auto}[data-loop-video-frame]{position:relative}video[data-loop-video][data-loop-video-enhanced]{cursor:pointer}.loop-video__toggle{position:absolute;z-index:1;top:8px;right:8px;display:grid;width:2rem;height:2rem;padding:0;place-items:center;border:1px solid var(--separator);border-radius:50%;background:var(--bg);color:var(--accent);cursor:pointer}.loop-video__toggle[hidden]{display:none}.loop-video__toggle::before{content:"";width:0;height:0;margin-left:2px;border-block:5px solid rgba(0,0,0,0);border-left:8px solid currentColor}.loop-video__toggle[data-playing=true]::before{width:8px;height:11px;margin-left:0;border:0;border-inline:3px solid currentColor}.site-main{flex:1 0 auto;width:100%;margin:0 auto;padding:0 var(--gutter);max-width:var(--measure-home)}.site-main.reading-main{max-width:var(--measure-reading)}.site-main.home-main{max-width:none;padding:0}.section__inner{max-width:var(--measure-home);margin:0 auto;padding:0 var(--gutter-home)}.skip-link{position:absolute;left:var(--space-2);top:var(--space-2);z-index:20;padding:var(--space-2) var(--space-4);background:var(--bg);color:var(--accent);border:1px solid var(--separator);transform:translateY(-250%)}.skip-link:focus{transform:translateY(0)}.site-header{position:sticky;top:0;z-index:10;background:var(--bg);border-bottom:1px solid var(--separator)}.site-header__inner{margin:0 auto;padding:0 var(--gutter-home);max-width:var(--measure-home);min-height:var(--header-height);display:flex;flex-wrap:wrap;align-items:center;column-gap:var(--space-3);row-gap:0}.site-header__name{font-weight:700;font-size:var(--text-small);color:var(--text);text-decoration:none;white-space:nowrap;padding:var(--space-2) 0}.site-nav{margin-left:auto}.site-nav__list{display:flex;flex-wrap:wrap;align-items:center;column-gap:var(--space-1);margin:0;padding:0;list-style:none}.site-nav__link{display:inline-flex;align-items:center;padding:5px 10px;border-radius:7px;color:var(--muted);font-size:var(--text-xs);text-decoration:none}.site-nav__link:hover,.site-nav__link:focus-visible{color:var(--text);background:var(--surface-strong)}.site-nav__link.is-active{color:var(--accent)}.site-nav__link[aria-current=page]{color:var(--text);font-weight:700}.site-nav__hash{display:none;margin-right:.3em;color:var(--accent)}.site-nav__link.is-active .site-nav__hash{display:inline}@media(max-width: 44rem){:root{--header-height: 6rem}.site-nav{margin-left:0;width:100%}.site-nav__list{column-gap:var(--space-1);margin-left:-10px}}.site-footer{flex:0 0 auto;width:100%;margin:var(--space-12) auto 0;padding:0 var(--gutter-home);max-width:var(--measure-home);color:var(--muted);font-size:var(--text-2xs)}.site-footer__inner{display:flex;flex-wrap:wrap;column-gap:var(--space-6);row-gap:var(--space-1);justify-content:space-between;padding:var(--space-6) 0 var(--space-12);border-top:1px solid var(--separator)}.section{padding-block:34px}.section--about{padding-block:30px 24px}.section--band{background:var(--tint);padding-block:30px 38px}.section__heading{font-size:var(--text-body);line-height:1.72;letter-spacing:.3px;padding-bottom:var(--space-2);margin-bottom:var(--space-4);border-bottom:1px solid var(--separator)}.section__marker{font-family:var(--font-shell);font-weight:500;color:var(--accent);opacity:.55;margin-right:.2em}.section__emoji{font-size:.9em}.section__note{margin:-6px 0 var(--space-4);color:var(--muted);font-size:calc(.75rem + var(--type-bump))}.hero__identity{display:flex;align-items:center;gap:26px;margin-bottom:22px}.hero__intro{flex:1 1 auto;min-width:0}.about__portrait{flex:0 0 auto;display:block;width:var(--portrait-size);height:var(--portrait-size);object-fit:cover;border-radius:22px;border:1px solid var(--separator)}.hero__intro h1{font-size:clamp(1.75rem + var(--type-bump),5vw,2.4375rem + var(--type-bump));line-height:1.14;letter-spacing:-0.4px;margin-bottom:7px}.about__role{font-size:var(--text-xs);line-height:1.72;color:var(--muted);margin-bottom:11px}.about__body{margin-top:6px}.about__body p+p{margin-top:var(--space-3)}.identity-links{display:flex;flex-wrap:wrap;column-gap:var(--space-3);row-gap:0;list-style:none;padding:0;font-size:var(--text-xs)}.identity-links li:not(:last-child)::after{content:"/";margin-left:var(--space-3);color:var(--separator)}.identity-links li{display:flex;align-items:center}.identity-links a{display:inline-flex;align-items:center;min-height:1.5rem}@media(max-width: 44rem){.hero__identity{flex-direction:column;align-items:flex-start;gap:16px}.about__portrait{width:var(--portrait-size-narrow);height:var(--portrait-size-narrow)}}.about-shell{width:75%;min-width:min(100%,37rem);margin:0 0 26px;border:1px solid var(--separator);border-radius:11px;overflow:hidden;background:var(--shell-bg);font-family:var(--font-shell);font-size:var(--text-2xs);line-height:1.75}.about-shell__bar{display:flex;align-items:center;gap:7px;padding:7px 13px;background:var(--shell-bar);border-bottom:1px solid var(--separator)}.about-shell__dots{display:inline-flex;gap:7px}.about-shell__dots span{width:11px;height:11px;border-radius:50%;background:var(--separator)}.about-shell__dots span:nth-child(1){background:#ff5f57}.about-shell__dots span:nth-child(2){background:#febc2e}.about-shell__dots span:nth-child(3){background:#28c840}.about-shell__file{margin-left:7px;color:var(--muted);font-size:calc(.71875rem + var(--type-bump))}.about-shell__body{padding:13px 15px}.about-shell__line{display:grid;grid-template-columns:auto minmax(0, 1fr);column-gap:.5ch;margin:0}.about-shell__text{min-width:0;overflow-wrap:anywhere}.about-shell__line--output .about-shell__text{white-space:pre-wrap}.about-shell__sigil{color:var(--accent)}.about-shell__command{color:var(--text);font-weight:500}.about-shell__arguments{color:var(--accent)}.about-shell__line--output{color:var(--muted)}.about-shell__line--command:not(:first-child){margin-top:var(--space-1)}.news-list,.teaching-list{display:grid;row-gap:9px}.news-item,.teaching-item{display:grid;grid-template-columns:var(--rail-date) minmax(0, 1fr);column-gap:12px;align-items:start}.teaching-list{row-gap:14px}.news-list,.teaching-list,.publication-list,.post-list,.identity-links,.publication__links,.blog-post__links{list-style:none;margin:0;padding:0}.news-item time,.teaching-item__term{color:var(--date);font-size:var(--text-2xs);font-weight:500;line-height:1.72;white-space:nowrap;font-variant-numeric:tabular-nums}.teaching-item__term{color:var(--muted)}.news-item__body{font-size:var(--text-small);line-height:1.72;min-width:0}.news-item__body p{margin:0}.news-item__body p+p{margin-top:var(--space-2)}.teaching-item__body{display:flex;flex-direction:column;gap:var(--space-1);min-width:0}.teaching-item__course{font-weight:700;font-size:var(--text-meta)}.teaching-item__meta{color:var(--muted);font-size:var(--text-meta)}.teaching-item__headline{display:block}.teaching-item__topics{margin-left:.5em;color:var(--muted);font-size:var(--text-xs);font-weight:400}.teaching-item__link{margin-left:.5em;padding-block:6px;font-size:var(--text-xs)}@media(max-width: 36rem){.news-item,.teaching-item{grid-template-columns:4.875rem minmax(0, 1fr);column-gap:var(--space-2)}}@media(max-width: 22rem){.news-item,.teaching-item{grid-template-columns:minmax(0, 1fr);row-gap:var(--space-1)}}.disclosure{margin-top:var(--space-2);font-size:var(--text-meta)}.disclosure>summary{cursor:pointer;color:var(--accent);padding-block:var(--space-2);width:fit-content}.disclosure>summary:hover{text-decoration:underline}.disclosure>*:not(summary){margin-top:var(--space-1);margin-bottom:var(--space-2)}.publication-list>li{padding-block:17px;border-bottom:1px dashed var(--separator)}.publication-list>li:last-child{border-bottom:0}.publication--railed{display:grid;grid-template-columns:var(--rail-pub) minmax(0, 1fr);column-gap:20px;align-items:start}.publication__body{min-width:0}.publication__rail{display:flex;flex-direction:column;align-items:flex-start;gap:6px;min-width:0}.publication__stamp{width:100%;aspect-ratio:150/94;display:flex;flex-direction:column;align-items:center;justify-content:center;gap:2px;border:1px solid var(--separator);border-radius:8px;background:var(--bg);line-height:1.25;text-align:center}.publication__stamp-venue{font-weight:700;font-size:var(--text-xs);letter-spacing:.5px;color:var(--text)}.publication__stamp-year{font-size:calc(.75rem + var(--type-bump));color:var(--muted)}.publication__media{width:100%;aspect-ratio:16/9;overflow:hidden;border:1px solid var(--separator);border-radius:6px;background:var(--surface)}.publication__media img{display:block;width:100%;height:100%;object-fit:contain}.publication__media video{display:block;width:100%;height:100%;object-fit:cover;background:var(--surface)}.publication__badge{display:inline-block;padding:1px 8px;border-radius:5px;background:var(--shell-bar);border:1px solid var(--separator);color:var(--muted);font-size:calc(.65625rem + var(--type-bump));font-weight:600;line-height:1.72;letter-spacing:.3px;font-variant-numeric:tabular-nums}.publication__title{font-size:var(--text-body);line-height:1.5;margin-bottom:3px;text-wrap:pretty}.publication__title a,.publication__title a:hover,.publication__title a:focus-visible{color:var(--text)}.publication__authors,.publication__venue{font-size:var(--text-xs);line-height:1.6;color:var(--muted);overflow-wrap:break-word}.publication__authors strong{color:var(--accent);font-weight:400}.publication__contribution{margin-top:5px;font-size:var(--text-xs);line-height:1.6}.publication__award{display:inline-block;margin-top:5px;padding:1.5px 7px;border:1px solid var(--separator);border-radius:5px;font-size:calc(.6875rem + var(--type-bump));font-weight:600;line-height:1.6}.publication__links{display:flex;flex-wrap:wrap;column-gap:12px;margin-top:6px;font-size:var(--text-2xs)}.publication__links a{display:inline-flex;align-items:center;min-height:1.5rem}@media(pointer: coarse){.site-nav__link,.identity-links a,.publication__links a,.blog-post__links a{min-height:44px}.loop-video__toggle{width:44px;height:44px}.disclosure>summary{padding-block:var(--space-3)}}.publication__bibtex{overflow-x:auto;padding:var(--space-3);background:var(--surface);font-size:var(--text-small);line-height:1.5}@media(max-width: 44rem){.publication--railed{display:block}.publication__rail{flex-direction:row;align-items:center;gap:var(--space-3);margin-bottom:11px}.publication__media{max-width:15rem}.publication__stamp{flex:0 0 auto;width:var(--rail-pub)}}.reading-index h1,.blog-post__header h1{padding-top:var(--space-12)}.reading-index__scope{margin-top:var(--space-4);color:var(--muted)}.post-list{margin-top:var(--space-12)}.post-list>li+li{margin-top:var(--space-6);padding-top:var(--space-6);border-top:1px solid var(--separator)}.post-list__item h2{font-size:calc(1.0625rem + var(--type-bump));line-height:1.35}.post-list__meta,.blog-post__meta{display:flex;flex-wrap:wrap;gap:var(--space-3);margin-top:var(--space-1);color:var(--muted);font-size:var(--text-meta)}.post-list__description{margin-top:var(--space-2)}.post-list__item h2 a,.post-list__item h2 a:hover,.post-list__item h2 a:focus-visible{color:var(--text)}.empty-state{margin-top:var(--space-8);color:var(--muted)}.blog-post__description{margin-top:var(--space-4);color:var(--muted)}.blog-post__body{margin-top:var(--space-12);font-size:var(--text-reading);line-height:1.68}.blog-post__body>*+*{margin-top:var(--space-5)}.blog-post__body h2{margin-top:var(--space-12)}.blog-post__body h3{margin-top:var(--space-8);font-size:var(--text-reading)}.blog-post__body ul,.blog-post__body ol{padding-left:1.4em}.blog-post__body li+li{margin-top:var(--space-2)}.blog-post__body blockquote{margin:0;padding-left:var(--space-4);border-left:2px solid var(--separator);color:var(--muted)}.blog-post__body figure{margin:0}.post-media-grid{display:grid;grid-template-columns:repeat(2, minmax(0, 1fr));gap:var(--space-6);align-items:start}.post-media-grid>figure{min-width:0}.post-media-grid img,.post-media-grid video{display:block;width:100%}@media(max-width: 46rem){.post-media-grid{grid-template-columns:minmax(0, 1fr)}}.blog-post__body figcaption{margin-top:var(--space-2);color:var(--muted);font-size:var(--text-meta)}.blog-post__footer{margin-top:var(--space-12);padding-top:var(--space-6);border-top:1px solid var(--separator)}.blog-post__links{display:flex;flex-wrap:wrap;column-gap:var(--space-4);font-size:var(--text-reading)}code,pre{font-family:var(--font-mono)}:not(pre)>code{padding:.1em .3em;background:var(--surface);font-size:.9em}pre{overflow-x:auto;max-width:100%;padding:var(--space-4);background:var(--surface);font-size:.9em;line-height:1.55}pre code{background:none;padding:0}.blog-post__body table{display:block;overflow-x:auto;max-width:100%;width:100%;border-collapse:collapse;font-size:var(--text-meta)}.blog-post__body th,.blog-post__body td{padding:var(--space-2) var(--space-3);border-bottom:1px solid var(--separator);text-align:left}.blog-post__body th{font-weight:700}mjx-container[display=true],.equation-scroll{max-width:100%;overflow-x:auto;overflow-y:hidden}mjx-container[display=true]{padding-block:var(--space-1)}@media(prefers-reduced-motion: reduce){html{scroll-behavior:auto}*,*::before,*::after{animation-duration:.001ms !important;animation-iteration-count:1 !important;transition-duration:.001ms !important;scroll-behavior:auto !important}}