@font-face{font-family:"Source Serif 4";src:url(/_astro/SourceSerif4-Regular.otf.DyuF-SA1.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:"Source Serif 4";src:url(/_astro/SourceSerif4-It.otf.BTusaEQb.woff2)format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:"Source Serif 4";src:url(/_astro/SourceSerif4-Semibold.otf.C7sGTofK.woff2)format("woff2");font-weight:600;font-style:normal;font-display:swap}@font-face{font-family:"Source Serif 4";src:url(/_astro/SourceSerif4-SemiboldIt.otf.C_kxlivp.woff2)format("woff2");font-weight:600;font-style:italic;font-display:swap}@font-face{font-family:"Source Sans 3";src:url(/_astro/SourceSans3-Regular.otf.BLENfjE4.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:"Source Sans 3";src:url(/_astro/SourceSans3-It.otf.C2X0ZEuE.woff2)format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:"Source Sans 3";src:url(/_astro/SourceSans3-Semibold.otf.CtyxlVHQ.woff2)format("woff2");font-weight:600;font-style:normal;font-display:swap}@font-face{font-family:Source Code Pro;src:url(/_astro/SourceCodePro-Regular.otf.Chr7uwKk.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Source Code Pro;src:url(/_astro/SourceCodePro-Medium.otf.D4kAZEg4.woff2)format("woff2");font-weight:500;font-style:normal;font-display:swap}:root{color-scheme:light dark;--bg:#fff;--surface:#f6f6f4;--fg:#1b1b1b;--mut:#62625e;--faint:#8b8b86;--rule:#e3e2de;--acc:#1f4f8f;--acc-soft:#e9eef6;--ok:#2f6b4f;--serif:"Source Serif 4", "Source Serif Pro", Georgia, "Times New Roman", serif;--sans:"Source Sans 3", "Source Sans Pro", system-ui, -apple-system, "Segoe UI", sans-serif;--mono:"Source Code Pro", ui-monospace, SFMono-Regular, Menlo, monospace;--measure:42rem;--rail:14rem;--gap:3.5rem}@media (prefers-color-scheme:dark){:root{--bg:#141414;--surface:#1c1c1b;--fg:#e7e6e2;--mut:#a3a29c;--faint:#7c7b76;--rule:#2e2e2c;--acc:#8fb4ea;--acc-soft:#1c2533;--ok:#86c2a3}}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;font-size:17.5px}body{background:var(--bg);color:var(--fg);font-family:var(--serif);font-optical-sizing:auto;text-rendering:optimizelegibility;margin:0;line-height:1.6}a{color:var(--acc);text-decoration:none}a:hover{text-underline-offset:.18em;text-decoration:underline 1px}img,canvas,svg,video{max-width:100%;height:auto}hr{border:0;border-top:1px solid var(--rule);margin:2.5rem 0}code,kbd,pre{font-family:var(--mono);font-size:.86em}pre{background:var(--surface);border-radius:4px;padding:.9rem 1rem;line-height:1.45;overflow-x:auto}:not(pre)>code{background:var(--surface);border-radius:3px;padding:.08em .3em}table{border-collapse:collapse;margin:1.2rem 0;font-size:.95rem;display:block;overflow-x:auto}th,td{border-bottom:1px solid var(--rule);text-align:left;padding:.35rem .8rem}th{font-family:var(--sans);font-size:.85rem;font-weight:600}.skip-link{position:absolute;left:-999px}.skip-link:focus{background:var(--bg);z-index:10;padding:.4rem .7rem;top:1rem;left:1rem}.site-header{border-bottom:1px solid var(--rule);font-family:var(--sans)}.site-header .inner{max-width:calc(var(--rail) + var(--gap) + var(--measure) + 3rem);flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.5rem 2rem;margin:0 auto;padding:.85rem 1.5rem;display:flex}.site-name{color:var(--fg);letter-spacing:.005em;font-size:1rem;font-weight:600}.site-name:hover{color:var(--acc);text-decoration:none}.site-nav{flex-wrap:wrap;gap:.2rem 1.25rem;font-size:.92rem;display:flex}.site-nav a{color:var(--mut)}.site-nav a:hover,.site-nav a[aria-current=page]{color:var(--fg);text-decoration:none}.site-nav a[aria-current=page]{box-shadow:inset 0 -2px 0 var(--acc)}.layout{max-width:calc(var(--rail) + var(--gap) + var(--measure) + 3rem);grid-template-columns:var(--rail) minmax(0,var(--measure));column-gap:var(--gap);margin:0 auto;padding:3rem 1.5rem 4rem;display:grid}.layout>.rail{grid-column:1}.layout>.content{grid-column:2;min-width:0}.layout--single{grid-template-columns:minmax(0,var(--measure))}.layout--single>.content{grid-column:1}.rail{font-family:var(--sans);font-size:.88rem;line-height:1.4}.rail>*{max-height:calc(100vh - 3rem);position:sticky;top:1.5rem;overflow:auto}.content h1{letter-spacing:-.01em;margin:0 0 .5rem;font-size:2rem;font-weight:600;line-height:1.15}.content h2{margin:2.6rem 0 .7rem;font-size:1.35rem;font-weight:600;line-height:1.25}.content h3{margin:2rem 0 .5rem;font-size:1.1rem;font-weight:600}.content h4,.content h5{font-family:var(--sans);margin:1.5rem 0 .4rem;font-size:.9rem;font-weight:600}.content p{margin:0 0 1rem}.content ul,.content ol{margin:0 0 1rem;padding-left:1.3rem}.content li{margin:.2rem 0}.content blockquote{border-left:2px solid var(--rule);color:var(--mut);margin:1.2rem 0;padding-left:1rem}.lead{font-size:1.15rem;line-height:1.55}.meta,.kicker{font-family:var(--sans);color:var(--mut);font-size:.88rem}.kicker{text-transform:uppercase;letter-spacing:.08em;margin:0 0 .4rem;font-size:.75rem;font-weight:600}.section-title{font-family:var(--sans);text-transform:uppercase;letter-spacing:.09em;color:var(--mut);border-bottom:1px solid var(--rule);padding-bottom:.4rem;margin:3rem 0 1rem!important;font-size:.78rem!important;font-weight:600!important}.more{font-family:var(--sans);font-size:.9rem}.items{margin:0 0 1rem;list-style:none;padding:0!important}.items>li{border-bottom:1px solid var(--rule);grid-template-columns:7rem minmax(0,1fr);gap:1.25rem;margin:0;padding:.55rem 0;display:grid}.items>li:last-child{border-bottom:0}.items .when,.items .what{font-family:var(--sans);color:var(--mut);padding-top:.12rem;font-size:.85rem}.items .desc{color:var(--mut);font-size:.92rem;display:block}.pub-tools{font-family:var(--sans);flex-wrap:wrap;align-items:center;gap:.6rem 1rem;margin:1.6rem 0 .5rem;display:flex}.chips{flex-wrap:wrap;gap:.35rem;display:flex}.chip{font:inherit;border:1px solid var(--rule);background:var(--bg);color:var(--mut);cursor:pointer;border-radius:999px;padding:.2rem .65rem;font-size:.82rem}.chip:hover{border-color:var(--faint);color:var(--fg)}.chip[aria-pressed=true]{background:var(--fg);border-color:var(--fg);color:var(--bg)}.chip .n{opacity:.6;font-variant-numeric:tabular-nums;margin-left:.25rem}.search{font:inherit;border:1px solid var(--rule);background:var(--bg);color:var(--fg);border-radius:6px;flex:12rem;max-width:18rem;padding:.35rem .7rem;font-size:.9rem}.pub-count{color:var(--mut);font-size:.85rem}.year{scroll-margin-top:1.5rem}.year>h2{font-family:var(--sans);border-bottom:1px solid var(--rule);justify-content:space-between;align-items:baseline;margin:2.4rem 0 .4rem;padding-bottom:.35rem;font-size:1rem;font-weight:600;display:flex}.year>h2 small{color:var(--faint);font-size:.8rem;font-weight:400}.pubs{margin:0;list-style:none;padding:0!important}.pub{border-bottom:1px solid var(--rule);grid-template-columns:3.3rem minmax(0,1fr);gap:1rem;padding:.7rem 0;display:grid;margin:0!important}.pub:last-child{border-bottom:0}.pub-id{font-family:var(--sans);color:var(--mut);font-variant-numeric:tabular-nums;padding-top:.2rem;font-size:.78rem;font-weight:600}.pub-title{font-weight:600;line-height:1.35;display:block}.pub-authors{color:var(--mut);margin-top:.1rem;font-size:.93rem;display:block}.pub-authors b{color:var(--fg);font-weight:600}.pub-venue{margin-top:.05rem;font-size:.93rem;font-style:italic;display:block}.pub-links{font-family:var(--sans);flex-wrap:wrap;gap:.1rem .9rem;margin-top:.3rem;font-size:.8rem;display:flex}.badge{font-family:var(--sans);color:var(--acc);background:var(--acc-soft);vertical-align:.08em;white-space:nowrap;border-radius:3px;margin-left:.4rem;padding:.08rem .45rem;font-size:.72rem;font-style:normal;font-weight:600}.legend{font-family:var(--sans);color:var(--mut);margin-top:2.5rem;font-size:.82rem}.rail .toc-years{grid-template-columns:repeat(3,1fr);gap:.2rem .6rem;margin:0;padding:0;list-style:none;display:grid}.rail .toc-years a{color:var(--mut);font-variant-numeric:tabular-nums}.rail .toc-years a:hover{color:var(--fg)}.rail .rail-title{text-transform:uppercase;letter-spacing:.08em;color:var(--faint);margin:0 0 .6rem;font-size:.75rem;font-weight:600}.rail .rail-block+.rail-block{margin-top:1.8rem}.rail .rail-block p{color:var(--mut);margin:.2rem 0}.doc>nav{font-family:var(--sans);grid-column:1;font-size:.85rem;line-height:1.35}.doc>nav>*{position:relative}.doc>nav{align-self:start;max-height:calc(100vh - 3rem);padding-right:.5rem;position:sticky;top:1.5rem;overflow:auto}.doc>main{grid-column:2;min-width:0;overflow-x:clip}mjx-container{position:relative}.nav-course{color:var(--fg);margin:0 0 .15rem;font-weight:600}.nav-lecture{color:var(--mut);margin:0 0 1rem}.doc>nav ol{border-left:1px solid var(--rule);margin:0;padding:0;list-style:none}.doc>nav li a{color:var(--mut);border-left:1px solid #0000;margin-left:-1px;padding:.22rem 0 .22rem .8rem;display:block}.doc>nav li a:hover{color:var(--fg);border-left-color:var(--faint);text-decoration:none}.doc>nav li a.active{color:var(--acc);border-left-color:var(--acc)}.doc>nav .nav-level-2 a{padding-left:1.6rem;font-size:.95em}.doc>nav .header-section-number{color:var(--faint);font-variant-numeric:tabular-nums;margin-right:.35rem}.doc main{font-size:1rem}.doc main p{margin:0 0 1rem}.doc main ul,.doc main ol{margin:0 0 1rem;padding-left:1.3rem}.doc main li{margin:.2rem 0}.doc main li>p{margin:0 0 .3rem}.doc main div[id]:empty,.doc main div[id]:not(:has(*)):not(:has(+:is(h1,h2,h3))){display:none}.lecture-title{border-bottom:1px solid var(--rule);margin-bottom:2.5rem;padding-bottom:1.5rem}.lecture-title p{font-family:var(--sans);color:var(--mut);margin:0;font-size:.9rem}.lecture-title p:first-child{text-transform:uppercase;letter-spacing:.08em;font-size:.75rem;font-weight:600}.lecture-title h1{font-size:2.2rem;margin:.3rem 0 .1rem!important}.lecture-title .subtitle{font-family:var(--serif);color:var(--fg);margin-bottom:.8rem;font-size:1.3rem}.lecture-title .author{margin-top:.6rem}.doc main h1{margin:3rem 0 1rem;scroll-margin-top:1.5rem;font-size:1.6rem}.doc main h2{margin:2.5rem 0 .8rem;scroll-margin-top:1.5rem;font-size:1.25rem}.doc main h3{scroll-margin-top:1.5rem;font-size:1.05rem}.doc main .header-section-number{color:var(--faint);font-variant-numeric:tabular-nums;margin-right:.5rem;font-weight:400}.theorem,.proposition,.lemma,.corollary,.definition,.assumption,.remark,.example,.Exercise,.exercise{border-left:3px solid var(--acc);background:var(--acc-soft);border-radius:0 4px 4px 0;margin:1.6rem 0;padding:.9rem 1.15rem .3rem}.definition,.assumption{border-left-color:var(--ok);background:var(--surface)}.remark,.example{border-left-color:var(--rule);background:0 0;padding-left:1rem}:is(.theorem,.proposition,.lemma,.corollary,.definition,.assumption,.remark,.example,.Exercise,.exercise)>p:first-of-type>strong:first-child{font-family:var(--sans);font-size:.92rem;font-weight:600}.theorem,.proposition,.lemma,.corollary{font-style:normal}.proof{border-left:1px solid var(--rule);margin:1rem 0 1.6rem;padding-left:1rem}.proof>p:first-child>em:first-child{font-style:italic;font-weight:600}mjx-container[display=true]{max-width:100%;padding:.15rem 0;overflow:auto hidden}.math.display{display:block}figure{margin:2rem 0}figure img{border-radius:3px;margin:0 auto;display:block}figcaption{font-family:var(--sans);color:var(--mut);margin-top:.6rem;font-size:.85rem;line-height:1.45}figcaption strong{color:var(--fg);font-weight:600}.historical-figure img{filter:grayscale(.2)}.plot-panel{color:#1b1b1b;border:1px solid var(--rule);background:#fff;border-radius:6px;margin:0;padding:.8rem}.plot-panel h5{font-family:var(--sans);font-size:.85rem;margin:0 0 .5rem!important}.plot-panel canvas{width:100%;max-width:540px;height:auto;margin:0 auto;display:block}.plot-readout{font-family:var(--mono);color:#555;min-height:1.2em;font-size:.78rem;margin:.4rem 0 0!important}.plot-grid{grid-template-columns:repeat(auto-fit,minmax(16rem,1fr));gap:.8rem;display:grid}.figure-controls{font-family:var(--sans);flex-wrap:wrap;align-items:center;gap:.6rem 1.4rem;margin-top:.7rem;font-size:.85rem;display:flex}.figure-controls label{color:var(--mut);align-items:center;gap:.5rem;display:flex}.figure-controls output{font-family:var(--mono);color:var(--fg);min-width:2.6rem;font-size:.8rem}.figure-controls input[type=range]{accent-color:var(--acc);width:9rem}.figure-controls button{font:inherit;border:1px solid var(--rule);background:var(--bg);color:var(--fg);cursor:pointer;border-radius:4px;padding:.2rem .7rem;font-size:.8rem}.figure-hint{font-family:var(--sans);color:var(--faint);font-size:.8rem;margin:.4rem 0 0!important}.footnote-ref{font-family:var(--sans);vertical-align:super;font-size:.75em;line-height:0}.footnotes{color:var(--mut);margin-top:3rem;font-size:.9rem}.footnotes hr{margin:1.5rem 0 1rem}.footnote-back{margin-left:.3rem}.references{font-size:.93rem}.hanging-indent .csl-entry{text-indent:-1.5rem;margin-bottom:.5rem;padding-left:1.5rem}.smallcaps{font-variant:small-caps}.site-footer{border-top:1px solid var(--rule);font-family:var(--sans);color:var(--mut);font-size:.82rem}.site-footer .inner{max-width:calc(var(--rail) + var(--gap) + var(--measure) + 3rem);flex-wrap:wrap;justify-content:space-between;gap:.5rem 2rem;margin:0 auto;padding:1.2rem 1.5rem 2.5rem;display:flex}.site-footer a{color:var(--mut)}@media (width<=960px){:root{--rail:11rem;--gap:2.2rem}}@media (width<=780px){html{font-size:16.5px}.layout,.layout--single{grid-template-columns:minmax(0,1fr);padding:1.8rem 1.1rem 3rem}.layout>.rail,.layout>.content,.doc>nav,.doc>main{grid-column:1}.rail{display:none}.site-header .inner{padding:.75rem 1.1rem}.site-nav{gap:.15rem 1rem;font-size:.88rem}.doc>nav{border:1px solid var(--rule);background:var(--surface);border-radius:6px;max-height:none;margin-bottom:1.8rem;padding:.8rem 1rem;position:static;overflow:visible}.doc>nav ol{margin-top:.6rem;display:none}.doc>nav.open ol{display:block}.doc>nav .nav-lecture{margin:0}.doc>nav .nav-course{cursor:pointer;justify-content:space-between;align-items:center;display:flex}.doc>nav .nav-course:after{content:"Contents ▾";color:var(--mut);font-size:.8rem;font-weight:400}.doc>nav.open .nav-course:after{content:"Close ▴"}.items>li{grid-template-columns:1fr;gap:0}.pub{grid-template-columns:2.6rem minmax(0,1fr);gap:.6rem}.theorem,.proposition,.lemma,.corollary,.definition,.assumption,.Exercise,.exercise{margin-left:-.25rem;margin-right:-.25rem;padding:.8rem .85rem .2rem}.figure-controls input[type=range]{width:7rem}}@media print{.site-header,.site-footer,.rail,.doc>nav,.pub-tools{display:none}.layout{max-width:none;padding:0;display:block}a{color:inherit}}.home{max-width:calc(var(--rail) + var(--gap) + var(--measure) + 3rem);column-gap:var(--gap);grid-template-columns:15rem minmax(0,1fr);align-items:start;margin:0 auto;padding:3.2rem 1.5rem 4rem;display:grid}.profile{font-family:var(--sans);font-size:.9rem;line-height:1.45;position:sticky;top:1.5rem}.portrait{object-fit:cover;background:var(--surface);border-radius:50%;width:11rem;height:11rem;margin:0 0 1.2rem;display:block}.profile h1{font-family:var(--sans);letter-spacing:-.005em;margin:0;font-size:1.35rem;font-weight:600}.profile .role{color:var(--mut);margin:.15rem 0 0}.profile dl{margin:1.2rem 0 0}.profile dl>div{border-top:1px solid var(--rule);padding:.85rem 0}.profile dt{letter-spacing:.09em;text-transform:uppercase;color:var(--faint);margin-bottom:.3rem;font-size:.7rem;font-weight:600}.profile dd{margin:0}.profile dd+dd{margin-top:.35rem}.profile .addr{color:var(--mut)}.profile .links{flex-direction:column;gap:.25rem;display:flex}.bio{max-width:var(--measure);font-size:1.12rem;line-height:1.6}.bio p{margin:0 0 1rem}.bio p:first-child{font-size:1.32rem;line-height:1.45}.bio strong{font-weight:600}.blocks{border-top:1px solid var(--rule);grid-template-columns:repeat(2,minmax(0,1fr));gap:2.6rem;margin-top:2.6rem;padding-top:2.2rem;display:grid}.block header{border-bottom:1px solid var(--rule);justify-content:space-between;align-items:baseline;margin-bottom:.4rem;padding-bottom:.45rem;display:flex}.block h2{font-family:var(--sans);margin:0;font-size:1.02rem;font-weight:600}.block .all{font-family:var(--sans);letter-spacing:.07em;text-transform:uppercase;font-size:.75rem;font-weight:600}.feed{margin:0;padding:0;list-style:none}.feed li{border-bottom:1px solid color-mix(in srgb,var(--rule) 60%,transparent);padding:.6rem 0}.feed li:last-child{border-bottom:0}.feed .k,.feed time{font-family:var(--sans);color:var(--faint);font-variant-numeric:tabular-nums;letter-spacing:.02em;margin-bottom:.1rem;font-size:.76rem;display:block}.feed a{line-height:1.38;display:inline}.feed .by{font-family:var(--sans);color:var(--mut);margin-top:.15rem;font-size:.82rem;display:block}.feed .by b{color:var(--fg);font-weight:600}@media (width<=960px){.home{grid-template-columns:13rem minmax(0,1fr)}.portrait{width:9rem;height:9rem}}@media (width<=780px){.home{grid-template-columns:minmax(0,1fr);padding:1.8rem 1.1rem 3rem}.profile{grid-template-columns:5.5rem 1fr;align-items:center;column-gap:1rem;margin-bottom:1.6rem;display:grid;position:static}.portrait{grid-row:1/3;width:5.5rem;height:5.5rem;margin:0}.profile h1{align-self:end}.profile .role{align-self:start}.profile dl{grid-column:1/-1;grid-template-columns:1fr 1fr;column-gap:1rem;display:grid}.profile dl>div:last-child{grid-column:1/-1}.profile .links{flex-flow:wrap;gap:.2rem 1rem}.bio{font-size:1.05rem}.bio p:first-child{font-size:1.18rem}.blocks{grid-template-columns:minmax(0,1fr);gap:2rem;margin-top:1.8rem;padding-top:1.6rem}}.layout--list{grid-template-columns:minmax(0,1fr);max-width:51rem}.layout--list .pub-tools{margin-top:1.4rem}:root{--bg:#fffffd;--surface:#f5f5f3;--fg:#111;--mut:#555;--faint:#888;--rule:#cfcfcb;--acc:#111;--acc-soft:#f1f1ef;--ok:#111}@media (prefers-color-scheme:dark){:root{--bg:#161616;--surface:#1f1f1f;--fg:#e8e8e6;--mut:#a9a9a6;--faint:#7d7d7a;--rule:#3a3a38;--acc:#e8e8e6;--acc-soft:#232323;--ok:#e8e8e6}}a{color:var(--fg);text-underline-offset:.16em;text-decoration:underline 1px;text-decoration-color:color-mix(in srgb,var(--fg) 45%,transparent);text-decoration-skip-ink:auto}a:hover{text-decoration-color:var(--fg);background:var(--acc-soft);text-decoration-thickness:1.5px}.site-nav a,.site-name,.rail a,.doc>nav a,.block .all,.chip,.pub-links a,.profile .links a,.feed a{text-decoration:none}.content p,.doc main p,.bio p,.content li,.doc main li{text-align:justify;-webkit-hyphens:auto;hyphens:auto}body{font-variant-numeric:oldstyle-nums}.pub-id,.feed time,.feed .k,.year>h2 small,.chip .n,.header-section-number,.plot-readout{font-variant-numeric:lining-nums tabular-nums}.site-header{border-bottom:3px double var(--rule)}.site-name{font-family:var(--serif);font-variant:small-caps;letter-spacing:.06em;font-size:1.15rem;font-weight:600}.site-nav{font-family:var(--serif);font-variant:small-caps;letter-spacing:.04em;gap:0;font-size:1rem}.site-nav a{color:var(--mut);padding:0 .55rem}.site-nav a[aria-current=page]{box-shadow:none;color:var(--fg);font-weight:600}.content h1{text-align:center;letter-spacing:.01em;font-size:2.4rem;font-weight:400}.content h1+.meta{text-align:center}.content h2,.doc main h1,.doc main h2{font-variant:small-caps;letter-spacing:.03em;border-bottom:1px solid var(--rule);padding-bottom:.2rem}.doc main h2{border-bottom-style:dotted}.section-title,.block h2,.year>h2,.profile dt,.rail .rail-title,.kicker,.lecture-title p:first-child{font-variant:small-caps;font-weight:600;font-family:var(--serif)!important;text-transform:none!important;letter-spacing:.06em!important}.section-title,.profile dt,.rail .rail-title{color:var(--fg);font-size:.95rem!important}.block h2{font-size:1.15rem}.block .all{font-family:var(--serif);font-variant:small-caps;text-transform:none;letter-spacing:.04em;font-size:.9rem;font-weight:400}.block header{border-bottom:1px solid var(--fg)}.year>h2{border-bottom:1px solid var(--fg);font-size:1.25rem}.blocks{border-top:0;position:relative}.blocks:before,.site-footer:before{content:"⁂";color:var(--faint);background:var(--bg);padding:0 .8rem;font-size:1.2rem;position:absolute;top:-1.1rem;left:50%;transform:translate(-50%)}.site-footer{border-top:1px solid var(--rule);position:relative}.site-footer .inner{font-family:var(--serif);font-variant:small-caps;letter-spacing:.04em}.bio p:first-child{font-size:1.2rem}.theorem,.proposition,.lemma,.corollary,.definition,.assumption{background:var(--surface);border:1px solid var(--rule);border-left:3px solid var(--fg);border-radius:0}.definition,.assumption{border-left-style:double;border-left-width:4px}.Exercise,.exercise{border:1px dashed var(--faint);border-left:1px dashed var(--faint);background:0 0;border-radius:0}:is(.theorem,.proposition,.lemma,.corollary,.definition,.assumption,.remark,.Exercise,.exercise)>p:first-of-type>strong:first-child{font-family:var(--serif);font-variant:small-caps;letter-spacing:.04em;font-size:1.02rem}.proof{border-left:0;padding-left:0}.badge{color:var(--fg);border:1px solid var(--fg);font-family:var(--serif);font-variant:small-caps;background:0 0;border-radius:0;font-size:.8rem;font-weight:400}.doc>nav{border:1px solid var(--rule);background:var(--surface);align-self:start;padding:.9rem 1rem}.doc>nav ol{border-left:0}.doc>nav li a{border-left:0;padding-left:.2rem}.doc>nav .nav-level-2 a{padding-left:1.2rem}.doc>nav li a.active{color:var(--fg);background:var(--acc-soft);border-left:0;font-weight:600}.nav-course{font-family:var(--serif);font-variant:small-caps;letter-spacing:.04em;font-size:1rem}.chip{font-family:var(--serif);font-variant:small-caps;letter-spacing:.03em;border-radius:0;font-size:.92rem}.chip[aria-pressed=true]{background:var(--fg);color:var(--bg)}.search{font-family:var(--serif);border-radius:0}.pub-links{font-family:var(--serif);font-variant:small-caps;letter-spacing:.04em;font-size:.9rem}.pub-title{font-weight:600}.portrait{filter:grayscale()contrast(1.05);border:1px solid var(--rule);background:var(--bg);border-radius:0;padding:3px}:is(.bio,.doc main,.content>p) a[href^=http]:after{font-family:var(--sans);vertical-align:.45em;color:var(--faint);font-variant:normal;letter-spacing:.02em;content:"↗";margin-left:.12em;font-size:.62em}:is(.bio,.doc main,.content>p) a[href*=arxiv\.org]:after{content:"arXiv"}:is(.bio,.doc main,.content>p) a[href*=doi\.org]:after{content:"doi"}:is(.bio,.doc main,.content>p) a[href^=http][href$=\.pdf]:after{content:"pdf"}:is(.bio,.doc main,.content>p) a[href*=wikipedia\.org]:after{content:"W"}:is(.bio,.doc main,.content>p) a[href*=github\.com]:after{content:"gh"}:is(.bio,.doc main,.content>p) a[href*=samuelvaiter\.com]:after{content:none}::selection{background:var(--fg);color:var(--bg)}:focus-visible{outline:1px dotted var(--fg);outline-offset:3px}.pub-title,.feed a{text-decoration:none}.pub-title:hover,.feed a:hover{text-decoration:underline}:root{--sans:"Source Serif 4","Source Serif Pro",Georgia,serif}.profile h1{font-variant:small-caps;letter-spacing:.04em;font-weight:600}.feed time,.feed .k,.pub-id,.meta{font-style:italic}.pub-id{font-variant:small-caps;font-style:normal}.site-footer .inner{text-align:center;justify-content:center}.layout.doc--centered{max-width:49rem;display:block}.doc--centered>main{max-width:none}.doc--centered .lecture-title{text-align:center;border-bottom:0;margin-bottom:1.6rem;padding-bottom:0}.doc--centered .lecture-title h1{font-variant:small-caps;letter-spacing:.03em;border:0;font-size:2.5rem;font-weight:400}.doc--centered .lecture-title .subtitle{font-style:italic}.doc--centered .lecture-title:after{content:"⁂";color:var(--faint);margin-top:1.2rem;font-size:1.1rem;display:block}.doc .toc{float:left;border:1px solid var(--rule);background:var(--surface);text-align:left;width:15rem;margin:.35rem 2rem 1.2rem 0;padding:.75rem 1rem .8rem;font-size:.86rem;line-height:1.35}.doc .toc .nav-course{font-variant:small-caps;letter-spacing:.06em;border-bottom:1px solid var(--rule);margin:0 0 .45rem;padding-bottom:.3rem;font-size:1rem;font-weight:600}.doc .toc ol{border:0;margin:0;padding:0;list-style:none}.doc .toc li{text-align:left;hyphens:manual;margin:0}.doc .toc li a{color:var(--fg);padding:.16rem 0;text-decoration:none;display:block}.doc .toc li a:hover{text-decoration:underline}.doc .toc .nav-level-2 a{color:var(--mut);padding-left:1.1rem}.doc .toc .header-section-number{color:var(--faint);margin-right:.35rem}.doc .toc li a.active{color:var(--fg);background:0 0;font-weight:600}.doc .abstract{border-top:1px solid var(--fg);border-bottom:1px solid var(--fg);margin:0 0 1.6rem;padding:.7rem .2rem .1rem;font-size:.97rem;display:flow-root}.doc--centered main>:is(h1,h2,h3,figure,.theorem,.proposition,.lemma,.corollary,.definition,.assumption,.remark,.example,.Exercise,.exercise,.proof,.references,section){display:flow-root}@media (width<=780px){.layout.doc--centered{padding:1.6rem 1.1rem 3rem}.doc .toc{float:none;width:auto;margin:0 0 1.4rem}.doc .toc ol{margin-top:.5rem;display:none}.doc .toc.open ol{display:block}.doc .toc .nav-course{cursor:pointer;border:0;justify-content:space-between;margin:0;padding:0;display:flex}.doc .toc .nav-course:after{content:"▾";font-weight:400}.doc .toc.open .nav-course:after{content:"▴"}.doc--centered .lecture-title h1{font-size:2rem}}.doc--centered .lecture-title p{text-align:center}.doc main h1,.doc main h2{line-height:1.25}.doc-header{text-align:center}.doc-header>*{text-align:center!important;margin:0!important}.doc--centered .doc-header h1{font-variant:normal;letter-spacing:-.005em;font-size:2.6rem;font-weight:400;line-height:1.12;margin-bottom:.55rem!important}.doc-header .subtitle{font-variant:small-caps;letter-spacing:.06em;color:var(--mut);font-style:normal;margin-bottom:1rem!important;font-size:1rem!important}.doc-header .tldr{max-width:32rem;font-size:1.15rem;font-style:italic;line-height:1.45;margin:0 auto 1rem!important}.doc-header .author{font-variant:small-caps;letter-spacing:.05em;color:var(--fg);font-size:1rem}.doc-header .dates{color:var(--mut);font-size:.85rem;margin-top:.15rem!important}.doc-header .dates span{font-variant:small-caps;letter-spacing:.04em}.doc .abstract{padding-top:.8rem}@media (width<=780px){.doc--centered .doc-header h1{font-size:2rem}}.doc--centered .doc-header .subtitle{font-style:normal}html{font-size:16.5px}@media (width<=780px){html{font-size:15.5px}}details.proof{border:0;margin:.6rem 0 1.4rem;padding:0}details.proof>summary{cursor:pointer;color:var(--fg);user-select:none;align-items:baseline;gap:.4rem;padding:.1rem .5rem .1rem 0;font-style:italic;font-weight:600;list-style:none;display:inline-flex}details.proof>summary::-webkit-details-marker{display:none}details.proof>summary:before{content:"▸";color:var(--faint);font-size:.8em;font-style:normal;transition:transform .15s}details.proof[open]>summary:before{transform:rotate(90deg)}details.proof>summary:after{content:"show";font-variant:small-caps;letter-spacing:.05em;color:var(--faint);font-size:.85rem;font-style:normal;font-weight:400}details.proof[open]>summary:after{content:"hide"}details.proof>summary:hover:after{color:var(--fg)}details.proof .proof-of{font-weight:400}details.proof[open]{border-left:1px solid var(--rule);padding:.1rem 0 .1rem 1rem}details.proof[open]>summary{margin-left:-1rem;padding-left:0}@media print{details.proof>summary:after{content:none}}:root,:root[data-theme=light]{--bg:#fffffd;--surface:#f5f5f3;--fg:#111;--mut:#555;--faint:#888;--rule:#cfcfcb;--acc:#111;--acc-soft:#f1f1ef;--ok:#111;color-scheme:light}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--bg:#161616;--surface:#1f1f1f;--fg:#e8e8e6;--mut:#a9a9a6;--faint:#7d7d7a;--rule:#3a3a38;--acc:#e8e8e6;--acc-soft:#232323;--ok:#e8e8e6;color-scheme:dark}}:root[data-theme=dark]{--bg:#161616;--surface:#1f1f1f;--fg:#e8e8e6;--mut:#a9a9a6;--faint:#7d7d7a;--rule:#3a3a38;--acc:#e8e8e6;--acc-soft:#232323;--ok:#e8e8e6;color-scheme:dark}.site-nav{margin-left:auto}.theme-toggle{width:2rem;height:2rem;color:var(--mut);cursor:pointer;background:0 0;border:1px solid #0000;border-radius:50%;align-self:center;place-items:center;margin-left:1rem;padding:0;display:inline-grid}.theme-toggle:hover{color:var(--fg);border-color:var(--rule)}.theme-toggle svg{fill:none;stroke:currentColor;stroke-width:1.6px;stroke-linecap:round;stroke-linejoin:round;grid-area:1/1;width:1.1rem;height:1.1rem}.theme-toggle .icon-moon{fill:currentColor;stroke:none}.theme-toggle .icon-sun{display:none}:root[data-theme=dark] .theme-toggle .icon-sun{display:block}:root[data-theme=dark] .theme-toggle .icon-moon{display:none}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .theme-toggle .icon-sun{display:block}:root:not([data-theme=light]) .theme-toggle .icon-moon{display:none}}@media (width<=780px){.site-header .inner{grid-template-columns:1fr auto;row-gap:.35rem;display:grid}.site-name{grid-area:1/1}.theme-toggle{grid-area:1/2;margin-left:0}.site-nav{grid-area:2/1/auto/-1;margin-left:-.55rem}}.pub{grid-template-columns:minmax(0,1fr)}.pubs li,.content .pubs li{text-align:left;hyphens:manual}.draft-banner{font-family:var(--sans);color:var(--fg);border:1px solid var(--fg);margin:0 0 1.5rem;padding:.45rem .8rem;font-size:.88rem}.op-grid{grid-template-columns:repeat(auto-fill,minmax(15rem,1fr));gap:1.4rem;margin-top:2rem;display:grid}.op-card{border:1px solid var(--rule);flex-direction:column;padding:.8rem .9rem .9rem;display:flex}.content .op-title{text-transform:none;letter-spacing:0;font-variant:normal;text-align:left;border:0;margin:0 0 .2rem;padding:0;font-size:1rem;font-weight:600}.content .op-meta{font-family:var(--sans);color:var(--mut);flex-wrap:wrap;gap:.8em;margin:0 0 .5rem;font-size:.8rem;display:flex}.content .op-desc{text-align:left;hyphens:auto;margin:0 0 .8rem;font-size:.88rem;line-height:1.45}.op-media{margin-top:auto;display:block}.op-media img,.op-media video{border:1px solid var(--rule);width:100%;height:auto;display:block}.astro-code{border:1px solid var(--rule);padding:.8rem 1rem;background-color:var(--surface)!important}:root[data-theme=dark] .astro-code span{color:var(--shiki-dark)!important}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .astro-code span{color:var(--shiki-dark)!important}}.equation{scroll-margin-top:1rem}.ref{white-space:nowrap}figure.algorithm{border-top:1.5px solid var(--fg);border-bottom:1.5px solid var(--fg);margin:1.5rem 0;padding:0 0 .3rem}figure.algorithm figcaption{border-bottom:1px solid var(--fg);margin:0 0 .4rem;padding:.25rem 0}figure.algorithm ol{margin:.2rem 0}.historical-figure img{border:1px solid var(--rule);background:#fdfcf8;padding:.5rem}:root[data-theme=dark] figure img[src*=svg]{filter:invert()hue-rotate(180deg)}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) figure img[src*=svg]{filter:invert()hue-rotate(180deg)}}.layout--single:not(.layout--list){max-width:calc(var(--measure) + 3rem)}.news-entry{border-bottom:1px solid var(--rule);padding:.9rem 0;scroll-margin-top:1rem}.news-entry:last-child{border-bottom:0}.content .news-date{font-family:var(--sans);color:var(--mut);margin:0 0 .3rem;font-size:.82rem}.news-date a{color:inherit;text-decoration:none}.news-date a:hover{text-decoration:underline}.news-entry>:last-child{margin-bottom:0}.news-entry:target{background:var(--surface)}.map-group{margin-top:2rem}.map-list{margin:.4rem 0 0;padding-left:1.2rem}.map-list li{margin:.15rem 0}.map-list a{text-decoration:none}.map-list a:hover{text-decoration:underline}.map-group:first-of-type{margin-top:1.2rem}@media (width<=780px){.profile dl>div:last-child{grid-column:auto}.profile dl>div:last-child:nth-child(odd){grid-column:1/-1}}.cv h2{font-family:var(--sans);font-variant:small-caps;letter-spacing:.05em;border-bottom:1px solid var(--rule);margin:2.6rem 0 1.1rem;padding-bottom:.4rem;font-size:1.05rem;font-weight:600}.cv h2:first-of-type{margin-top:0}.cv h3{font-family:var(--sans);letter-spacing:.07em;text-transform:uppercase;color:var(--faint);margin:1.6rem 0 .6rem;font-size:.8rem;font-weight:600}.cv-places{grid-template-columns:repeat(3,1fr);gap:.6rem;margin:0 0 1.6rem;display:grid}.cv-places figure{margin:0}.cv-places img{aspect-ratio:4/3;object-fit:cover;filter:grayscale();width:100%;display:block}.cv-places figure:hover img{filter:none}.cv-places figcaption{font-family:var(--sans);color:var(--faint);margin-top:.3rem;font-size:.78rem}.cv-places figcaption b{color:var(--fg);margin-right:.3rem;font-weight:600}.cv-when{font-family:var(--sans);color:var(--faint);font-variant-numeric:tabular-nums;text-align:right;white-space:nowrap;padding-top:.25rem;font-size:.8rem}.cv-timeline{margin:0;padding:0;list-style:none;position:relative}.cv-timeline:before{content:"";border-left:1px solid var(--rule);position:absolute;top:.4rem;bottom:.4rem;left:7.4rem}.cv-timeline li{grid-template-columns:7rem 1fr;gap:0 1.4rem;padding:.55rem 0;display:grid;position:relative}.cv-timeline li:before{content:"";background:var(--bg);border:1px solid var(--faint);border-radius:50%;width:7px;height:7px;position:absolute;top:1.05rem;left:calc(7.4rem - 4px)}.cv-timeline li.current:before{background:var(--fg);border-color:var(--fg)}.cv-timeline li.current .cv-when{color:var(--fg);font-weight:600}.cv-title{margin:0;font-weight:600}.cv-french{color:var(--mut);font-style:italic;font-weight:400}.cv-place{color:var(--mut);margin:0;font-size:.95rem}.cv-details{color:var(--mut);grid-template-columns:max-content 1fr;gap:.1rem .8rem;margin:.35rem 0 0;font-size:.88rem;display:grid}.cv-details dt{font-family:var(--sans);letter-spacing:.06em;text-transform:uppercase;color:var(--faint);padding-top:.2rem;font-size:.72rem}.cv-details dd{margin:0}.cv-team{margin:0;padding-left:1.2rem}.cv-team li{margin:.35rem 0}.cv-team b{font-weight:600}.cv-service{margin:0;padding:0;list-style:none}.cv-service li{grid-template-columns:7rem 1fr;gap:0 1.4rem;padding:.4rem 0;display:grid}.cv-service p{margin:0}@media (width<=780px){.cv-timeline:before{left:.2rem}.cv-timeline li{grid-template-columns:1fr;padding-left:1.2rem}.cv-timeline li:before{left:-2px}.cv-when{text-align:left}.cv-places{gap:.35rem}.cv-service li{grid-template-columns:1fr}}.site-footer .footer-profiles{font-family:var(--sans);font-variant:normal;letter-spacing:0;color:var(--faint);flex-basis:100%;font-size:.76rem}.site-footer .footer-profiles a{color:var(--faint)}.site-footer .footer-profiles a:hover{color:var(--fg)}.pub-bibtex{font:inherit;font-variant:inherit;letter-spacing:inherit;color:var(--acc);cursor:pointer;background:0 0;border:0;padding:0}.pub-bibtex:hover{text-underline-offset:.18em;text-decoration:underline 1px}