*{box-sizing:border-box}body{color:#111;background:#f5f2e9;min-height:100vh;margin:0}html{scroll-behavior:smooth}.mondrian-bg{z-index:-1;background-color:#f5f2e9;background-image:linear-gradient(#111 0 0),linear-gradient(#111 0 0),linear-gradient(#111 0 0),linear-gradient(#111 0 0),linear-gradient(#e53935 0 0),linear-gradient(#1e88e5 0 0),linear-gradient(#fdd835 0 0),linear-gradient(#e53935 0 0),linear-gradient(#fdd835 0 0),linear-gradient(#1e88e5 0 0),linear-gradient(#fff 0 0),linear-gradient(#fff 0 0),linear-gradient(#111 0 0),linear-gradient(#111 0 0),linear-gradient(#111 0 0),linear-gradient(#111 0 0),linear-gradient(#111 0 0),linear-gradient(#111 0 0),linear-gradient(#111 0 0),linear-gradient(#111 0 0),linear-gradient(#111 0 0),linear-gradient(#111 0 0),linear-gradient(#111 0 0);background-position:0 28vh,0 68vh,36vw 0,68vw 0,97vw 80vh,92vw 89vh,87.5vw 89vh,6vw 8vh,62vw 5vh,14vw 58vh,58vw 45vh,78vw 70vh,87vw 68vh,12vw 84vh,86vw 46vh,24vw 14vh,18vw 28vh,52vw 76vh,72vw 18vh,8vw 62vh,90vw 12vh,68vw 84vh,40vw 88vh;background-repeat:no-repeat;background-size:100% 4px,100% 6px,4px 100%,5px 100%,1vw 10vh,2.1vw 2vh,2.7vw 1.7vh,26vw 26vh,16vw 36vh,20vw 28vh,30vw 22vh,18vw 18vh,10vw 10vh,3.2vw 2.6vh,3vw 2.4vh,1.6vw 1.3vh,.8vw .8vh,3.8vw 1.1vh,1.2vw 1vh,1.4vw 1.2vh,1.8vw 1.4vh,1.1vw 1vh,1.6vw 1.6vh;position:fixed;inset:0}.page{border:2px solid #111;max-width:720px;margin:8vh auto;padding:2.5rem;box-shadow:8px 8px #111}.header h1{letter-spacing:.3px;margin:0 0 .5rem;font-size:2.6rem;font-weight:700}.affiliation{margin:0;font-size:1.1rem}.section{margin-top:2rem}.section h2{text-transform:uppercase;letter-spacing:1px;margin:0 0 .75rem;font-size:1.3rem}.publications{margin:0}.publications li{line-height:1.5}.pub-title{font-weight:700}.pub-authors,.pub-venue{margin-top:.2rem}.pub-venue a{color:inherit;border-bottom:1px solid #111;text-decoration:none}.pub-venue a:hover,.note-link:hover,.note-article a:hover{border-bottom-width:2px;text-decoration:none}.email-image{vertical-align:-.35em;height:auto}.note-list{margin:0}.note-list li{margin-bottom:.45rem;line-height:1.45}.note-link,.note-article a{color:inherit;border-bottom:1px solid #111;text-decoration:none}.note-page{max-width:920px}.note-nav{justify-content:space-between;align-items:center;gap:.85rem;margin-bottom:1.75rem;font-size:.95rem;display:flex}.note-nav a{color:#111;background:#fffffff0;border:2px solid #111;justify-content:center;align-items:center;min-width:3.25rem;min-height:2.5rem;padding:.45rem .75rem;font-weight:700;line-height:1;text-decoration:none;display:inline-flex;box-shadow:4px 4px #111}.note-article{font-size:1rem;line-height:1.55}.note-header{text-align:center;margin-bottom:1.8rem}.note-header h1{margin:0 0 .6rem;font-size:1.45rem;line-height:1.25}.note-header p{margin:0}.note-article p{margin:.35em 0}.note-article strong{font-weight:700}.note-bullets{margin:.55rem 0 .55rem 1.15rem;padding:0}.note-bullets li{margin-bottom:.55rem;line-height:1.55}.math-block{margin:.25rem 0;overflow:auto hidden}.clickable-proof{margin:2rem 0 1.6rem}.clickable-proof-heading{font-size:inherit;line-height:inherit;margin:0}.clickable-proof-toggle{color:#111;width:100%;box-shadow:none;font:inherit;text-align:left;cursor:pointer;background:#fff;border:2px solid #111;border-radius:2px;justify-content:space-between;align-items:center;gap:1rem;padding:.8rem .9rem;font-size:1rem;font-weight:700;line-height:1.3;transition:background .12s,color .12s,box-shadow .12s;display:flex}.clickable-proof-toggle span{min-width:0}.clickable-proof-toggle:after{content:"+";color:#111;background:#fff;border:1.5px solid #111;flex:none;place-items:center;width:1.35rem;height:1.35rem;font-size:1rem;font-weight:700;line-height:1;display:inline-grid}.clickable-proof-toggle[aria-expanded=true]{color:#111;background:#fff;box-shadow:inset 0 -2px #111}.clickable-proof-toggle[aria-expanded=true]:after{content:"−";color:#111;background:#fff;border-color:#111}.clickable-proof-toggle:focus-visible{outline-offset:3px;outline:2px solid #111}.clickable-proof-panel{background:#fff;border:2px solid #111;border-radius:2px;margin:.75rem 0 0;padding:1.05rem 1.15rem;box-shadow:4px 4px #111}.clickable-proof-panel[hidden]{display:none}.clickable-proof-panel>:first-child{margin-top:0}.clickable-proof-panel>:last-child{margin-bottom:0}.prompt-transcript{overflow-wrap:anywhere;white-space:pre-wrap;margin:0;font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:.78rem;line-height:1.5}.note-background{border-left:3px solid #111;margin:1.35rem 0 2rem;padding-left:1rem;font-size:.9rem;line-height:1.55}.citation{white-space:nowrap}.references{margin-top:1.8rem}.references h2{margin:0 0 .75rem;font-size:1rem}.references ol{margin:0;padding:0;list-style:none}.references li{text-indent:-4.25rem;margin-bottom:.75rem;padding-left:4.25rem;line-height:1.45}.ref-label{text-indent:0;width:4.25rem;display:inline-block}.back-to-top{z-index:2;color:#111;background:#fffffff0;border:2px solid #111;justify-content:center;align-items:center;min-width:3.25rem;min-height:2.5rem;padding:.45rem .75rem;font-size:.95rem;font-weight:700;line-height:1;text-decoration:none;display:inline-flex;position:fixed;bottom:1.25rem;right:1.25rem;box-shadow:4px 4px #111}.back-to-top[hidden]{display:none}.note-nav a:hover,.note-nav a:focus-visible,.back-to-top:hover,.back-to-top:focus-visible{transform:translate(-1px,-1px);box-shadow:5px 5px #111}.note-nav a:focus-visible,.back-to-top:focus-visible{outline-offset:3px;outline:2px solid #1e88e5}@media (width<=720px){.page{margin:4vh 1rem;padding:1.75rem;box-shadow:6px 6px #111}.header h1{font-size:2.1rem}.note-page{padding:1.5rem}.note-header h1{font-size:1.3rem}.references li{text-indent:0;padding-left:0}.ref-label{width:auto;margin-bottom:.15rem;display:block}.back-to-top{min-width:3rem;min-height:2.35rem;bottom:.9rem;right:.9rem}}.inline-footnote-trigger{color:#111;min-width:1.25rem;height:1.1rem;font:inherit;vertical-align:super;cursor:pointer;background:#fff;border:1.5px solid #111;border-radius:2px;justify-content:center;align-items:center;margin:0 .12rem;padding:0;font-size:.68rem;font-weight:700;line-height:1;transition:background .12s,color .12s,box-shadow .12s;display:inline-flex}.inline-footnote-trigger[aria-expanded=true]{color:#fff;background:#111;box-shadow:0 0 0 1px #111}.inline-footnote-trigger:focus-visible{outline-offset:2px;outline:2px solid #111}.local-footnote-window{background:#fff;border:2px solid #111;border-radius:2px;margin:.75rem 0 1.1rem;padding:.85rem 1rem .95rem;font-size:.95rem;line-height:1.5;box-shadow:4px 4px #111}.local-footnote-window:before{content:none}.local-footnote-window[hidden]{display:none}.local-footnote-window p{margin:0}.proof-credit{color:#444;border-top:1.5px solid #111;margin-top:1.2rem;padding-top:.75rem;font-size:.9rem;font-style:italic;line-height:1.45}.abstract{margin:1.35rem 0 1.8rem}.abstract h2{text-align:center;margin:0 0 .5rem;font-size:1rem}.theorem,.proof{margin:1rem 0}.theorem-label{font-weight:700}.proof-label{font-style:italic}@media (width<=720px){.citation{white-space:normal}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{scroll-behavior:auto!important;transition:none!important;animation:none!important}}@media print{body{background:#fff}.mondrian-bg,.note-nav,.back-to-top{display:none!important}.page{max-width:none;box-shadow:none;background:#fff;border:0;margin:0;padding:0}.clickable-proof-panel[hidden],.local-footnote-window[hidden]{display:block!important}}:root{--panel-gutter:clamp(1.5rem, 5vw, 3rem);--link-accent:#245d82;--font-text:"Helvetica Neue", Helvetica, Arial, sans-serif}body{font-family:var(--font-text)}.publications .publication{margin-bottom:1rem}.publications .publication:last-child{margin-bottom:0}.pub-title,.pub-authors,.pub-venue,.note-list li{overflow-wrap:break-word}.email-image{max-width:calc(100% - 3.25rem)}.pub-venue a,.note-link,.note-article a{transition:border-color .18s}@media (hover:hover){.pub-venue a:hover,.note-link:hover,.note-article a:hover{border-bottom-color:var(--link-accent)}}a:focus-visible{outline-offset:3px;outline:2px solid #111}.note-article{min-width:0}.math-block{overscroll-behavior-inline:contain;max-width:100%}.references a{overflow-wrap:anywhere}@media screen and (width<=960px){.page{margin-inline:auto}}@media screen and (width>=721px) and (width<=960px){.note-page{padding:2rem}}@media screen and (width<=720px){.page{padding:clamp(1rem,4.5vw,1.75rem)}.note-page{padding:clamp(.875rem,4vw,1.5rem)}.header h1{font-size:clamp(1.8rem,8.2vw,2.1rem)}.affiliation{font-size:1rem;line-height:1.4}.note-nav{flex-wrap:wrap}.note-nav a,.back-to-top{min-height:2.75rem}}@media screen and (width<=480px){.page{box-shadow:4px 4px #111}.section{margin-top:1.75rem}.section h2{font-size:1.15rem}.note-header h1{overflow-wrap:break-word;font-size:1.25rem}.note-article>h2{font-size:1.3rem;line-height:1.3}.clickable-proof-toggle{gap:.65rem;padding:.75rem}.clickable-proof-panel,.local-footnote-window{padding-inline:.75rem}.references li{text-indent:0;padding-left:0}.ref-label{width:auto;margin-right:.4rem}}@media (height<=500px) and (orientation:landscape){.page{margin-block:1.25rem}}.note-background{font-family:var(--font-text)}html{scrollbar-gutter:stable}.page{width:calc(100% - 2 * var(--panel-gutter) - 8px)}.publications{padding-left:0;list-style:none}.email-image{width:min(15rem,100%)}@view-transition{navigation:auto}::view-transition-old(root),::view-transition-new(root){animation-duration:.18s;animation-timing-function:ease-out}::view-transition-group(*){animation-duration:.18s}@media (prefers-reduced-motion:reduce){@view-transition{navigation:none}}@media screen and (width<=720px){.page{margin-block:clamp(1.5rem,6svh,3rem)}}@media print{.page{width:auto}}.publications .publication{padding-left:1rem;position:relative}.publications .publication:before{content:"";background:#111;width:3px;height:8px;position:absolute;top:.5em;left:0}.page{background:#fffffff5}.academic-status{font-size:1.05rem}.institution{color:#444;font-size:.95rem}.pub-authors{color:#444;font-size:.92rem}.pub-venue{color:#444;font-size:.86rem;line-height:1.55}button:focus-visible{outline-offset:3px;outline:2px solid #111}@media screen and (width<=360px){.email-image{width:100%;max-width:15rem;margin-top:.3rem;display:block}}.note-list{padding-left:0;list-style:none}.note-list>li{padding-left:1rem;position:relative}.note-list>li:before{content:"";background:#111;width:3px;height:8px;position:absolute;top:.5em;left:0}.affiliation-details{color:#444;font-size:.95rem}.affiliation-details a{color:#111;white-space:nowrap;text-decoration:none}.affiliation-details a:hover{color:var(--link-accent)}.affiliation-separator{color:#888}.note-article:not(.paper-article) .note-header{margin-bottom:.55rem}.note-article:not(.paper-article) .note-header p{color:#555;font-size:.9rem;line-height:1.4}.note-article .note-intro{color:#333;text-align:center;text-wrap:balance;margin:0 auto 2rem;font-size:1.05rem;line-height:1.5}@media screen and (width<=480px){.note-article .note-intro{font-size:1rem}.note-article .wide-inline-math{white-space:nowrap;width:100%;margin:.2rem 0;display:block;overflow:auto hidden}}.note-list .note-link{border-bottom-color:#0000;max-width:100%;font-weight:500;display:inline-block}@media (hover:hover){.note-list .note-link:hover{border-bottom-color:var(--link-accent);border-bottom-width:1px}}