.site-footer[data-astro-cid-nns7i3if]{color:var(--muted);font-family:var(--display-font);text-align:right;margin-top:50px;margin-bottom:24px;font-size:.74rem}.footer-divider[data-astro-cid-nns7i3if]{border-top:1px solid var(--line)}.site-footer[data-astro-cid-nns7i3if] p[data-astro-cid-nns7i3if]{margin:14px 0 0}.announcement[data-astro-cid-fzpbxy5g]{color:#f7f7f7;text-align:center;background:#222;padding:.55rem 20px;font-size:.82rem}.announcement[data-astro-cid-fzpbxy5g] p[data-astro-cid-fzpbxy5g]{margin:0}.announcement[data-astro-cid-fzpbxy5g] a[data-astro-cid-fzpbxy5g]{color:inherit;border-bottom:1px solid #999}.site-header[data-astro-cid-fzpbxy5g]{margin-top:38px}.header-inner[data-astro-cid-fzpbxy5g]{justify-content:space-between;align-items:flex-start;padding-block:14px 40px;display:flex}.site-identity[data-astro-cid-fzpbxy5g]{flex:none}.site-title[data-astro-cid-fzpbxy5g]{color:#111;font-family:var(--display-font);letter-spacing:1px;text-transform:uppercase;margin:0;font-size:40px;font-weight:700;line-height:1.15;display:block}.site-title[data-astro-cid-fzpbxy5g] a[data-astro-cid-fzpbxy5g]{color:inherit}.site-title[data-astro-cid-fzpbxy5g]:hover,.site-title[data-astro-cid-fzpbxy5g] a[data-astro-cid-fzpbxy5g]:hover{color:#111}.site-identity[data-astro-cid-fzpbxy5g] p[data-astro-cid-fzpbxy5g]{color:var(--muted);font-family:var(--display-font);letter-spacing:1px;margin:7px 0 0;font-size:12px;line-height:1.6}.desktop-nav[data-astro-cid-fzpbxy5g]{font-family:var(--display-font);letter-spacing:1px;text-transform:uppercase;padding-top:10px;font-size:13px}.desktop-nav[data-astro-cid-fzpbxy5g]>ul[data-astro-cid-fzpbxy5g]{align-items:flex-start;gap:30px;margin:0;padding:0;list-style:none;display:flex}.desktop-nav[data-astro-cid-fzpbxy5g] a[data-astro-cid-fzpbxy5g],.desktop-nav[data-astro-cid-fzpbxy5g] summary[data-astro-cid-fzpbxy5g]{color:var(--muted);cursor:pointer;line-height:1.6;display:block}.desktop-nav[data-astro-cid-fzpbxy5g] a[data-astro-cid-fzpbxy5g]:hover,.desktop-nav[data-astro-cid-fzpbxy5g] a[data-astro-cid-fzpbxy5g][aria-current=page],.desktop-nav[data-astro-cid-fzpbxy5g] summary[data-astro-cid-fzpbxy5g]:hover,.desktop-nav[data-astro-cid-fzpbxy5g] summary[data-astro-cid-fzpbxy5g][aria-current=page]{color:#111}.nav-folder[data-astro-cid-fzpbxy5g]{position:relative}.nav-folder[data-astro-cid-fzpbxy5g] details[data-astro-cid-fzpbxy5g],.nav-folder[data-astro-cid-fzpbxy5g] summary[data-astro-cid-fzpbxy5g]{margin:0}.nav-folder[data-astro-cid-fzpbxy5g] summary[data-astro-cid-fzpbxy5g]{list-style:none}.nav-folder[data-astro-cid-fzpbxy5g] summary[data-astro-cid-fzpbxy5g]::-webkit-details-marker{display:none}.nav-folder[data-astro-cid-fzpbxy5g] summary[data-astro-cid-fzpbxy5g] span[data-astro-cid-fzpbxy5g]{font-size:.75em}.submenu[data-astro-cid-fzpbxy5g]{background:var(--background);z-index:20;min-width:260px;padding:14px 18px 16px;list-style:none;display:none;position:absolute;top:100%;left:-18px;box-shadow:0 6px 14px #00000014}.submenu[data-astro-cid-fzpbxy5g] li[data-astro-cid-fzpbxy5g]+li[data-astro-cid-fzpbxy5g]{margin-top:7px}.submenu[data-astro-cid-fzpbxy5g] a[data-astro-cid-fzpbxy5g]{letter-spacing:.06em;text-transform:none}.nav-folder[data-astro-cid-fzpbxy5g]:hover .submenu[data-astro-cid-fzpbxy5g],.nav-folder[data-astro-cid-fzpbxy5g] details[data-astro-cid-fzpbxy5g][open] .submenu[data-astro-cid-fzpbxy5g]{display:block}.mobile-menu[data-astro-cid-fzpbxy5g]{display:none}@media (width<=900px){.header-inner[data-astro-cid-fzpbxy5g]{text-align:center;flex-direction:column;align-items:center;padding-block:14px 28px}.desktop-nav[data-astro-cid-fzpbxy5g]{display:none}.site-title[data-astro-cid-fzpbxy5g]{font-size:34px}.mobile-menu[data-astro-cid-fzpbxy5g]{font-family:var(--display-font);width:100%;margin-top:20px;display:block}.mobile-menu[data-astro-cid-fzpbxy5g]>summary[data-astro-cid-fzpbxy5g]{color:var(--muted);cursor:pointer;text-transform:uppercase;justify-content:center;align-items:center;min-height:44px;font-size:14px;list-style:none;display:flex}.mobile-menu[data-astro-cid-fzpbxy5g]>summary[data-astro-cid-fzpbxy5g]::-webkit-details-marker{display:none}.mobile-menu[data-astro-cid-fzpbxy5g] nav[data-astro-cid-fzpbxy5g]{border-top:1px solid var(--line);text-align:left;margin-top:12px;padding-top:12px}.mobile-menu[data-astro-cid-fzpbxy5g] ul[data-astro-cid-fzpbxy5g]{margin:0;padding:0;list-style:none}.mobile-menu[data-astro-cid-fzpbxy5g] nav[data-astro-cid-fzpbxy5g]>ul[data-astro-cid-fzpbxy5g]>li[data-astro-cid-fzpbxy5g]{border-bottom:1px solid #eee;padding-block:0}.mobile-menu[data-astro-cid-fzpbxy5g] a[data-astro-cid-fzpbxy5g],.mobile-group[data-astro-cid-fzpbxy5g]>span[data-astro-cid-fzpbxy5g]{color:#666;letter-spacing:.08em;text-transform:uppercase;align-items:center;min-height:44px;font-size:13px;display:flex}.mobile-group[data-astro-cid-fzpbxy5g] ul[data-astro-cid-fzpbxy5g]{padding:6px 0 0 16px}.mobile-group[data-astro-cid-fzpbxy5g] li[data-astro-cid-fzpbxy5g]{padding-block:0}.mobile-group[data-astro-cid-fzpbxy5g] li[data-astro-cid-fzpbxy5g] a[data-astro-cid-fzpbxy5g]{letter-spacing:0;text-transform:none}}@font-face{font-display:swap;font-family:Noto Serif;font-style:normal;font-weight:400;src:url(/fonts/noto-serif-regular.woff2)format("woff2")}@font-face{font-display:swap;font-family:Noto Serif;font-style:italic;font-weight:400;src:url(/fonts/noto-serif-italic.woff2)format("woff2")}@font-face{font-display:swap;font-family:Noto Serif;font-style:normal;font-weight:700;src:url(/fonts/noto-serif-bold.woff2)format("woff2")}@font-face{font-display:swap;font-family:Noto Serif;font-style:italic;font-weight:700;src:url(/fonts/noto-serif-bold-italic.woff2)format("woff2")}:root{--background:#fcfcfc;--heading:#222;--text:#575757;--muted:#707070;--line:#ddd;--link:#000475;--link-hover:#444;--body-font:"Noto Serif", Georgia, serif;--display-font:Futura, "Avenir Next", Avenir, "Helvetica Neue", Arial, sans-serif;--site-width:1280px;--reading-width:760px;--sans:var(--display-font);--serif:var(--body-font);--ink:var(--heading);--paper:var(--background);--paper-deep:#f3f3f3;--wash:#f3f3f3;--accent:#707070;--accent-dark:var(--link);--reading:var(--reading-width)}*{box-sizing:border-box}html{background:var(--background);color:var(--text);font-family:var(--body-font);scroll-behavior:smooth;font-size:15px;line-height:1.8}body{min-height:100vh;margin:0}a{color:var(--link);text-decoration:none}a:hover{color:var(--link-hover)}.prose a{overflow-wrap:anywhere;border-bottom:1px solid #00047533}.prose a:hover{border-bottom-color:var(--link-hover)}a:focus-visible,button:focus-visible,summary:focus-visible,input:focus-visible{outline:2px solid var(--link);outline-offset:3px}.prose{overflow-wrap:break-word;min-width:0}img,svg,video{max-width:100%;height:auto}main{min-height:58vh}.shell{max-width:var(--site-width);margin:10px auto 0;padding-inline:75px}.reading-width{max-width:var(--reading-width)}h1,h2,h3,h4,.section-title{color:var(--heading);font-family:var(--display-font);letter-spacing:.06em;text-transform:uppercase;font-style:normal;font-weight:300;line-height:1.35}h1{margin:1em 0 .5em;font-size:2rem}h2{margin:1.7em 0 .5em;font-size:1.6rem}h3{margin:1.5em 0 .5em;font-size:1.3rem;font-weight:400}p,ul,ol,blockquote,figure,table{margin-block:0 1em}blockquote{border:0;width:80%;margin-inline:0;padding-left:51px}code{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.86em}table{border-collapse:collapse;width:100%}th,td{border-bottom:1px solid var(--line);text-align:left;vertical-align:top;padding:.65rem .5rem}th{color:var(--heading);font-family:var(--display-font);letter-spacing:.06em;text-transform:uppercase;font-size:.78rem;font-weight:400}figure{margin-inline:0}.prose .imported-figure{max-width:min(100%, var(--media-width));margin-inline:auto}.prose .imported-figure>figcaption{justify-content:center;align-items:center;min-height:38px;display:flex}.prose .imported-figure>img,.prose>img.imported-media{width:100%;margin-inline:auto;display:block}.prose img.imported-media{object-position:center}.prose img.media-banner,.prose img.media-ornament,.prose img.media-panel{object-fit:cover}.prose img.media-publications{aspect-ratio:698/206;max-width:698px}.prose img.media-teaching-portrait{aspect-ratio:220/263;max-width:220px}.prose img.media-teaching-divider{aspect-ratio:500/249;max-width:500px}.prose img.media-about{aspect-ratio:645/597;max-width:645px}.prose img.media-contact{aspect-ratio:381/229;max-width:381px}.prose img.media-talks-primary{aspect-ratio:800/240;max-width:800px}.prose img.media-talks-secondary{aspect-ratio:717/181;max-width:717px}.prose img.media-expository-primary{aspect-ratio:520/276;max-width:520px}.prose img.media-expository-secondary{aspect-ratio:1130/207;max-width:1130px}.prose img.media-prose-primary{aspect-ratio:548/202;max-width:548px}.prose img.media-prose-secondary{aspect-ratio:674/230;max-width:674px}.prose img.media-open-questions{aspect-ratio:1;max-width:342px}.prose img.media-mat138{aspect-ratio:800/333;max-width:800px}.prose img.media-poster{aspect-ratio:1500/2271;width:100%;height:auto}.prose img.media-slide{aspect-ratio:16/9;width:100%;height:auto}.prose mjx-container[jax=CHTML][display=true]{max-width:100%;padding-bottom:.15em;overflow:auto hidden}figcaption{color:var(--muted);text-align:center;margin-top:.45rem;font-size:.82rem}.prose>:first-child{margin-top:0}.prose hr{border:0;border-top:1px solid var(--line);margin-block:2.5rem}.eyebrow{color:var(--muted);font-family:var(--display-font);letter-spacing:.08em;text-transform:uppercase;margin:0 0 .6rem;font-size:.76rem;font-weight:400}.lede{color:var(--text);font-size:1rem;line-height:1.8}.cluster{flex-wrap:wrap;align-items:center;gap:.6rem 1rem;display:flex}.plain-list{margin:0;padding:0;list-style:none}.page-divider{border-bottom:0}.page-content{padding-block:50px}.section-intro{margin-bottom:36px}.section-intro h1{margin-top:0}.skip-link{background:var(--heading);color:#fff;z-index:100;padding:.5rem .8rem;position:fixed;top:-5rem;left:1rem}.skip-link:focus{top:1rem}.visually-hidden{clip:rect(0 0 0 0);clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.prose iframe{border:0;width:100%;max-width:100%;height:auto;display:block}.prose .imported-gallery{grid-template-columns:repeat(auto-fit,minmax(min(220px,100%),1fr));gap:1rem;margin-block:1.5rem;display:grid}.prose .imported-gallery img{object-fit:contain;width:100%;height:100%}.fidelity-grid{margin:2rem auto;display:grid}.fidelity-grid--two{grid-template-columns:repeat(2,minmax(0,1fr));gap:34px;max-width:936px}.fidelity-grid--sidebar{grid-template-columns:minmax(0,257fr) minmax(0,839fr);gap:34px;max-width:1130px}.fidelity-section>:first-child{margin-top:0}.standard-page>h1{line-height:1.5}.standard-page{padding-top:67px}.standard-page[data-page=publications-and-preprints]{padding-top:50px}.standard-page>h2,.standard-page .fidelity-section>h2{font-size:1.3rem;font-weight:400;line-height:1.2}.standard-page[data-page=publications-and-preprints]>h1,.standard-page[data-page=teaching]>h1,.standard-page[data-page=contact]>h1,.standard-page[data-page=talks-and-expository-work]>h1,.standard-page[data-page=expository-notes]>h1,.standard-page[data-page=nonmathematical-writing]>h1,.standard-page[data-page=open-questions]>h1,.standard-page[data-page=agonize]>h1{text-align:center}.standard-page[data-page=publications-and-preprints]>figure{margin-top:4rem}.standard-page[data-page=teaching]>img:first-of-type,.standard-page[data-page=talks-and-expository-work]>img:first-of-type,.standard-page[data-page=contact]>img:first-of-type,.standard-page[data-page=expository-notes]>img:first-of-type,.standard-page[data-page=nonmathematical-writing]>img:first-of-type,.standard-page[data-page=open-questions]>img:first-of-type{margin-top:2.3rem}.standard-page[data-page=teaching]>img.media-teaching-divider,.standard-page[data-page=talks-and-expository-work]>img.media-talks-secondary,.standard-page[data-page=expository-notes]>img.media-expository-secondary,.standard-page[data-page=nonmathematical-writing]>img.media-prose-secondary{margin-block:2rem}.standard-page[data-page=teaching]>img.media-teaching-divider{margin-top:9rem}.standard-page[data-page=talks-and-expository-work]>img.media-talks-secondary{margin-top:4rem}.standard-page[data-page=nonmathematical-writing]>img.media-prose-secondary{margin-top:2.9rem}.standard-page[data-page=contact]>img.media-contact,.standard-page[data-page=open-questions]>img.media-open-questions{margin-bottom:102px}.standard-page[data-page=expository-notes] li>p{margin-bottom:.55em}.standard-page[data-page=mat138h1]>figure{margin-top:34px;margin-bottom:29px}.standard-page[data-page=agonize]>h2:first-of-type{margin-top:calc(1.7em - 12px)}.standard-page[data-page=agonize]>iframe:first-of-type{margin-top:32px}.standard-page[data-page=agonize]>iframe:not(:last-of-type){margin-bottom:53px}.standard-page[data-page=agonize]>img.media-poster{margin-top:34px}.standard-page[data-page=publications-and-preprints]>.fidelity-grid+.fidelity-grid{margin-top:4.5rem}.standard-page[data-page=about]{grid-template-columns:minmax(0,57.1%) minmax(0,31.3%);align-items:start;column-gap:11.6%;display:grid}.standard-page[data-page=about]>h1{grid-area:1/2}.standard-page[data-page=about]>figure{grid-area:1/1/span 8;margin-block:0}.standard-page[data-page=about]>p{grid-column:2}.standard-page[data-page=contact]>h2,.standard-page[data-page=contact]>p{width:min(548px,100%);margin-left:auto;margin-right:auto}.standard-page[data-page=open-questions]{max-width:698px}.prose .imported-chart svg{color:var(--link);background:#f7f7f7;width:100%;display:block}.prose .imported-chart details{margin-block:.75rem}.prose details.publication-abstract{margin:.8rem 0 1.65rem}.prose details.publication-abstract>summary{color:var(--heading);cursor:pointer;font-family:var(--display-font);letter-spacing:.06em;text-transform:uppercase;margin-left:42px;font-size:1.05rem;font-weight:400;list-style:none}.prose details.publication-abstract>summary::-webkit-details-marker{display:none}.prose details.publication-abstract>summary:before{content:"+ "}.prose details.publication-abstract[open]>summary:before{content:"− "}.prose details.publication-abstract blockquote,.prose details.publication-abstract>.publication-abstract-body{margin-top:.8rem}.prose details.publication-abstract>.publication-abstract-body{width:80%;padding-left:51px}@media (width<=750px){.shell{margin-top:0;padding-inline:20px}.page-content{padding-block:32px}.table-scroll{overflow-x:auto}blockquote{width:100%;padding-left:24px}.prose details.publication-abstract>summary{margin-left:0}.prose details.publication-abstract>.publication-abstract-body{width:100%;padding-left:24px}.fidelity-grid,.fidelity-grid--two,.fidelity-grid--sidebar{grid-template-columns:minmax(0,1fr)}.standard-page[data-page=about]{display:block}.standard-page,.standard-page[data-page=publications-and-preprints]{padding-top:32px}.standard-page[data-page=about]>figure{margin-bottom:2rem}.standard-page[data-page=publications-and-preprints]>figure{margin-top:2.5rem}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}}