@charset "UTF-8";@font-face{font-display:swap;font-family:Financier Display;font-style:normal;font-weight:500;src:url(/assets/static/fonts/financierdisplay-medium.woff2) format("woff2");unicode-range:u+0000-007e}
/*! normalize.css v8.0.1 | MIT License | github.com/necolas/normalize.css */html{line-height:1.15;-webkit-text-size-adjust:100%}body{margin:0}main{display:block}h1{font-size:2em;margin:.67em 0}hr{box-sizing:content-box;height:0;overflow:visible}pre{font-family:monospace,monospace;font-size:1em}a{background-color:transparent}abbr[title]{border-bottom:none;text-decoration:underline;text-decoration:underline dotted}b,strong{font-weight:bolder}code,kbd,samp{font-family:monospace,monospace;font-size:1em}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}img{border-style:none}button,input,optgroup,select,textarea{font-family:inherit;font-size:100%;line-height:1.15;margin:0}button,input{overflow:visible}button,select{text-transform:none}[type=button],[type=reset],[type=submit],button{-webkit-appearance:button}[type=button]::-moz-focus-inner,[type=reset]::-moz-focus-inner,[type=submit]::-moz-focus-inner,button::-moz-focus-inner{border-style:none;padding:0}[type=button]:-moz-focusring,[type=reset]:-moz-focusring,[type=submit]:-moz-focusring,button:-moz-focusring{outline:1px dotted ButtonText}fieldset{padding:.35em .75em .625em}legend{box-sizing:border-box;color:inherit;display:table;max-width:100%;padding:0;white-space:normal}progress{vertical-align:baseline}textarea{overflow:auto}[type=checkbox],[type=radio]{box-sizing:border-box;padding:0}[type=number]::-webkit-inner-spin-button,[type=number]::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}[type=search]::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}details{display:block}summary{display:list-item}[hidden],template{display:none}.highlight .c{color:#998;font-style:italic}.highlight .err{background-color:#e3d2d2;color:#a61717}.highlight .k,.highlight .o{font-weight:700}.highlight .cm{color:#998;font-style:italic}.highlight .cp{color:#999;font-weight:700}.highlight .c1{color:#998;font-style:italic}.highlight .cs{color:#999;font-style:italic;font-weight:700}.highlight .gd{background-color:#fdd;color:#000}.highlight .gd .x{background-color:#faa;color:#000}.highlight .ge{font-style:italic}.highlight .gr{color:#a00}.highlight .gh{color:#999}.highlight .gi{background-color:#dfd;color:#000}.highlight .gi .x{background-color:#afa;color:#000}.highlight .go{color:#888}.highlight .gp{color:#555}.highlight .gs,.highlight .gu{font-weight:700}.highlight .gu{color:purple}.highlight .gt{color:#a00}.highlight .kc,.highlight .kd,.highlight .kn,.highlight .kp,.highlight .kr,.highlight .kt{font-weight:700}.highlight .kt{color:#458}.highlight .m{color:#099}.highlight .s{color:#d14}.highlight .n{color:#333}.highlight .na{color:teal}.highlight .nb{color:#0086b3}.highlight .nc{color:#458;font-weight:700}.highlight .no{color:teal}.highlight .ni{color:purple}.highlight .ne,.highlight .nf{color:#900;font-weight:700}.highlight .nn{color:#555}.highlight .nt{color:navy}.highlight .nv{color:teal}.highlight .ow{font-weight:700}.highlight .w{color:#bbb}.highlight .mf,.highlight .mh,.highlight .mi,.highlight .mo{color:#099}.highlight .s2,.highlight .sb,.highlight .sc,.highlight .sd,.highlight .se,.highlight .sh,.highlight .si,.highlight .sx{color:#d14}.highlight .sr{color:#009926}.highlight .s1{color:#d14}.highlight .ss{color:#990073}.highlight .bp{color:#999}.highlight .vc,.highlight .vg,.highlight .vi{color:teal}.highlight .il{color:#099}.highlight .gc{background-color:#eaf2f5;color:#999}body,html{font-size:100%}body{color:#222;line-height:1;font:1em system-ui,-apple-system,Segoe UI,Roboto,Helvetica Neue,Helvetica,Arial,Noto Sans,Liberation Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji;overflow-x:clip}@media only screen and (min-width:800px){body{font-size:1.25em}}h1,h2,h3,h4{color:#222;font-family:Financier Display,Times New Roman,times,serif;font-weight:500;text-rendering:optimizeLegibility}h1{color:#222;font-size:2.5em}h2{font-size:1.7em}h3{font-size:1.4em}h4{font-size:1.2em}h5{font-size:1em}a{color:#42557d;text-decoration:underline}a:hover{text-decoration:none}form,p{color:#222;font-weight:400;line-height:1.6em;margin-bottom:1.25em}strong{color:#000;font-weight:600}ol,ul{padding-inline-start:1.2em}ol li,ul li{color:#222;line-height:1.5em}iframe,img,pre{border:1px solid rgba(34,34,34,.4);border-radius:.4%;max-width:100%}img,pre{border-radius:4px}img{height:auto;object-fit:scale-down}figcaption{color:#666;font-size:.75em;font-weight:300;left:0;margin:0 auto;position:relative;right:0;text-align:center;top:-20px;width:100%}@media only screen and (min-width:800px){figcaption{font-size:.8em}}blockquote{border-left:3px solid #eee;margin-left:0;margin-right:15px;padding-left:15px}hr{background:#eee;border:none;height:1px;margin:40px auto;width:100%}figure.highlight{margin:0;width:100%}code,tt{border-radius:2px;padding:1px 0;word-wrap:normal;display:inline-block}code,pre,tt{background:#fff;font-family:Consolas,Liberation Mono,Menlo,Courier,monospace;line-height:1.6666666667em}pre{border:1px solid #ededed;border-radius:2px;box-sizing:border-box;margin:0 0 1.75em;overflow:auto;padding:5px 10px;width:100%}.wrapper-large,.wrapper-normal{height:100%;margin:0 auto;width:88%}.wrapper-normal{max-width:560px}.wrapper-large{max-width:810px}.content{font-family:Georgia,Bitstream Charter,URW Bookman L,Times New Roman,times,serif;font-variant-numeric:lining-nums}.description{color:#666;font-style:italic;font-weight:400}.btn{border:1px solid;border-radius:5%;padding:4px 8px!important;user-select:none;white-space:nowrap}.btn:hover{background-color:#42557d;color:#f8f4a6}.table-wrapper{display:block;overflow:auto;width:100%}table{border-collapse:collapse;border-spacing:0;display:table;width:100%}table td,table th{border:1px solid #ededed;padding:6px 13px}table th{font-weight:600}table tr{background-color:#fff;border-top:1px solid #666}table tr:nth-child(2n){background-color:#f7f7f7}.center{margin-left:auto;margin-right:auto}.text-center{text-align:center}.thin{font-weight:200}.clearfix:after,.clearfix:before{content:"";display:table}.clearfix:after{clear:both}.mr1{margin-right:.6em}.anchor:target:before,h2:target:before{content:"";display:block;height:70px;margin:-70px 0 0}.katex :target{display:inline-block;margin-top:-70px;padding-top:70px}.animated{animation:fade-in-down .6s;animation-delay:.3s;animation-fill-mode:both}@keyframes fade-in-down{0%{opacity:.01;transform:translateY(-10px)}to{opacity:1;transform:translateY(0)}}.basic-page{margin-top:125px}.basic-page>h1{margin-bottom:3.75em;text-align:center}.about img{display:block;margin:0 auto;width:50%}.nimput{width:4em}.paper,.post{margin-top:125px}.paper>.title,.post>.title{margin-bottom:1em;text-align:center}.paper>.date,.paper>.post-tags,.post>.date,.post>.post-tags{display:block;font-size:.875em;letter-spacing:.0714285714em;margin-bottom:1em;text-align:center;text-rendering:optimizeLegibility;text-transform:uppercase}.paper>.date,.post>.date{margin-bottom:2em}.paper>.post-tags>.item,.post>.post-tags>.item{background:#ededed;border-radius:3px;color:#222;display:inline-block;font-size:.6875em;letter-spacing:.0909090909em;margin:3px 1px;padding:2px 8px;text-decoration:none}.paper>h2,.paper>h3,.paper>h4,.post>h2,.post>h3,.post>h4{margin-top:40px}.paper>h2 a,.paper>h3 a,.paper>h4 a,.post>h2 a,.post>h3 a,.post>h4 a{text-decoration:none}.paper>.title-image,.post>.title-image{display:block;margin:0 auto;max-height:120px}.paper>.blog-navigation,.post>.blog-navigation{display:block;font-size:.875em;overflow:hidden;width:auto}.paper>.blog-navigation a,.post>.blog-navigation a{display:block;float:left;margin:1em 0;width:50%}.paper>.blog-navigation .next,.post>.blog-navigation .next{text-align:right}.resume>h2{border-bottom:1px solid #222;padding-bottom:.3em}.resume>h3{line-height:1.7;margin-bottom:5px}.resume #resume-presentations p{display:inline}@media only screen and (min-width:800px){.resume #resume-presentations p{display:block}}.resume #resume-presentations p>em{display:none}@media only screen and (min-width:800px){.resume #resume-presentations p>em{display:inline}}.resume #resume-presentations p>span:after{content:", "}@media only screen and (min-width:800px){.resume #resume-presentations p>span:after{content:""}}.resume #resume-presentations>p:last-child>span:after{content:""}.resume .resume-content{margin:0 auto;width:95%}.resume .resume-content p{margin:0}.resume .resume-content p>em{color:#222;display:block;font-family:system-ui,-apple-system,Segoe UI,Roboto,Helvetica Neue,Helvetica,Arial,Noto Sans,Liberation Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji;font-size:1rem}@media only screen and (min-width:800px){.resume .resume-content p>em{float:right}}.resume a.hover-download{background-color:rgba(66,85,125,.5);border-radius:5%;bottom:25px;display:none;height:80px;margin-bottom:-1em;margin-left:auto;margin-top:-86px;padding:3px 18px;position:-webkit-sticky;position:sticky;width:50px}.resume a.hover-download>.icon{fill:#fff;height:100%;width:100%}@media only screen and (min-width:800px){.resume:hover>a.hover-download{display:block}}.footer-main{border-top:1px solid #ededed;color:#666;font-size:.8125em;font-weight:300;margin:40px 0 0;padding:40px 0;position:relative;text-align:center}.footer-main:before{background:#fff;border:1px solid #ededed;border-radius:3px;box-shadow:0 0 0 5px #fff;content:" ";display:block;height:7px;left:50%;margin-left:-5px;position:absolute;top:-5px;width:7px}.footer-main>.copyright{padding-left:10px}.footer-main>.icon-link{color:#666;margin-left:.4em}.topblock{background-color:#42557d;padding-bottom:250px;position:absolute;right:0;top:0;width:100%}.header{display:block;margin:125px auto 0;position:relative;text-align:center}.header>.link .headshot{background-color:#fff;border:0;border-radius:5%;box-shadow:unset;height:12.5em;margin-bottom:17px;opacity:1;padding:9px;position:relative;transition:all .2s;width:12.5em;z-index:100}.header>.link .headshot:hover{box-shadow:0 0 4px 0 rgba(0,0,0,.4),0 0 12px 0 rgba(0,0,0,.15)}.header>.title{color:#222;font-size:2.65em;margin:0 0 13px}.header>.title span{display:inline-block}.header>.description{font-family:Georgia,Bitstream Charter,URW Bookman L,Times New Roman,times,serif;font-size:1.15em;margin:0 auto 30px;width:80%}.header>.description a{font-weight:200}.nav-home>.list,.nav>.list{list-style:none;margin:0;padding:0 13px}.nav-home>.list>.item,.nav>.list>.item{display:inline-block}.nav-home>.list>.item>.link,.nav>.list>.item>.link{color:#fff;display:inline-block;font-weight:700;padding:20px 10px;text-decoration:none}.nav-home>.list>.item>.link:hover,.nav>.list>.item>.link:hover{color:#f8f4a6}.nav{background-color:#42557d;box-shadow:0 2px 4px rgba(66,85,125,.2);position:fixed;right:0;text-align:right;top:0;width:100%;z-index:101}.nav>.list{padding:0 13px}.nav>.list>.item>.link{font-size:.875em;padding:20px 10px}.blog>.list .item,.papers>.list .item,.projects>.list .item{display:block;margin:0 auto;padding:20px 0;position:relative;width:95%}.blog>.list .item h3,.papers>.list .item h3,.projects>.list .item h3{font-family:system-ui,-apple-system,Segoe UI,Roboto,Helvetica Neue,Helvetica,Arial,Noto Sans,Liberation Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji;font-size:1.2em;font-weight:400;margin:0}.blog>.list .item h3 .title,.papers>.list .item h3 .title,.projects>.list .item h3 .title{font-weight:600}.blog>.list .item h3 .coauthor,.blog>.list .item h3 .title,.papers>.list .item h3 .coauthor,.papers>.list .item h3 .title,.projects>.list .item h3 .coauthor,.projects>.list .item h3 .title{color:#222;text-decoration:none}.blog>.list .item h3 .coauthor:hover,.blog>.list .item h3 .title:hover,.papers>.list .item h3 .coauthor:hover,.papers>.list .item h3 .title:hover,.projects>.list .item h3 .coauthor:hover,.projects>.list .item h3 .title:hover{text-decoration:underline}.blog>.list .item .description,.blog>.list .item .meta,.papers>.list .item .description,.papers>.list .item .meta,.projects>.list .item .description,.projects>.list .item .meta{margin:0}.blog>.list .item .links-row,.papers>.list .item .links-row,.projects>.list .item .links-row{align-items:baseline;display:flex;flex-wrap:wrap;gap:.625em;margin-top:.4em}.blog>.list .item .links-row .atoggle label,.papers>.list .item .links-row .atoggle label,.projects>.list .item .links-row .atoggle label{align-items:baseline;cursor:pointer;display:inline-flex;flex-wrap:nowrap;gap:.25em}.blog>.list .item .links-row .atoggle label:before,.papers>.list .item .links-row .atoggle label:before,.projects>.list .item .links-row .atoggle label:before{content:"▼";height:1.2em;text-align:center;width:1.2em}.blog>.list .item .links-row .atoggle:hover label,.papers>.list .item .links-row .atoggle:hover label,.projects>.list .item .links-row .atoggle:hover label{color:#42557d}.blog>.list .item .links-row .atoggle:has(:checked) label:before,.papers>.list .item .links-row .atoggle:has(:checked) label:before,.projects>.list .item .links-row .atoggle:has(:checked) label:before{content:"▲"}.blog>.list .item .links-row .atoggle input[type=checkbox],.papers>.list .item .links-row .atoggle input[type=checkbox],.projects>.list .item .links-row .atoggle input[type=checkbox]{display:none}.blog>.list .item .abstract,.papers>.list .item .abstract,.projects>.list .item .abstract{display:grid;grid-template-rows:0fr;transition:grid-template-rows .125s ease-in-out}.blog>.list .item .abstract .inner,.papers>.list .item .abstract .inner,.projects>.list .item .abstract .inner{overflow:hidden}.blog>.list .item:has(:checked) .abstract,.papers>.list .item:has(:checked) .abstract,.projects>.list .item:has(:checked) .abstract{grid-template-rows:1fr}.icon{fill:currentColor;height:1.1875em;overflow:visible;text-align:center;vertical-align:text-bottom;width:1.1875em}.icon,.icon-link{display:inline-block}.icon-link{color:#222;text-decoration:none;transition:all .1s ease-in-out}.icon-link:hover{color:#42557d!important}.icon-link>.icon{margin:0}.evidence{color:#222}.evidence,.star>.title{background-color:#f8f4a6}.star>.title{display:inline;width:auto!important}.twitter-tweet{margin:10px auto}.caption{font-size:.8125em;left:0;margin:0 auto;position:relative;right:0;text-align:center;top:.625em;width:100%}.bigger-image{margin:3.125em 0 3.125em -15%;min-width:130%}@media only screen and (min-width:800px){.bigger-image{margin:1.25em 0 1.25em -7%;min-width:114%}}.lost-container{text-align:center}.proof{position:relative}.proof:after{bottom:-2px;content:"◾️";position:absolute;right:-12px}.proof>p:first-child:before{content:"Proof. " attr(title);font-style:italic}.d-none{display:none}.pagination{font-size:.8125em;margin:1.875em auto 0;text-align:center;width:95%}.pagination>.page_number{display:inline-block}.pagination>.hidden{visibility:hidden}.social-links{margin-top:20px}.social-link{color:#000;display:inline-block;height:35px;margin:0;position:relative;text-decoration:none;width:35px}.social-link:hover{color:#42557d}.social-link:hover:before{display:inline-block;opacity:1;white-space:nowrap}.social-link:before{background:#222;border-radius:2px;bottom:-34px;color:#fff;content:attr(data-title);display:none;font-size:13px;height:22px;left:50%;line-height:22px;margin:0 auto;opacity:0;padding:3px 10px;position:absolute;transform:translateX(-50%);transition:opacity .15s linear;z-index:99}.social-link:first-of-type:before{left:-6px;right:auto;transform:none}.social-link:last-of-type:before{left:auto;right:-6px;transform:none}.social-link:after{border-bottom:6px solid #222;border-left:5px solid transparent;border-right:5px solid transparent;content:"";height:0;left:13px;opacity:0;position:absolute;top:35px;transform:translate3d(0,-8px,0);transition:opacity .15s linear,transform .15s linear,-webkit-transform .15s linear;width:0;z-index:100}.social-link:hover:after{opacity:1;transform:translateZ(0)}.social-link>.icon{pointer-events:none}.katex-display{overflow:auto hidden;padding-top:.1em}.tippy-content .katex .tag{display:none}#mc_embed_signup form{line-height:unset;padding:10px 0;text-align:center}#mc_embed_signup label{display:block;font-weight:700;padding-bottom:10px}#mc_embed_signup input.email{background-color:#fff;border:1px solid #666;border-radius:3px;box-sizing:border-box;display:inline-block;font-size:.9375em;height:32px;margin:0 0 5px;padding:0 .4em;vertical-align:top;width:100%}@media only screen and (min-width:576px){#mc_embed_signup input.email{margin-bottom:0;width:350px}}#mc_embed_signup .clear{display:block;width:100%}@media only screen and (min-width:576px){#mc_embed_signup .clear{display:inline-block;width:unset}}#mc_embed_signup .button{background-color:#222;border:none;-webkit-border-radius:3px;-moz-border-radius:3px;border-radius:3px;box-sizing:border-box;color:#fff;display:inline-block;font-size:.8125em;font-weight:700;height:32px;line-height:32px;margin:0;padding:0 18px;transition:all .23s ease-in-out 0s;width:100%}#mc_embed_signup .button:hover{background-color:#42557d;color:#f8f4a6;cursor:pointer}@media only screen and (min-width:576px){#mc_embed_signup .button{width:unset}}@media print{@page{margin-bottom:1.5cm;margin-left:2cm;margin-right:2cm;margin-top:1.5cm}.utterances,footer,nav{display:none!important}.basic-page,.paper,.post{margin-top:1.5cm!important}.header{margin-top:0!important}.header>span{display:none!important}.header>.title{margin-bottom:4px!important}.header>.description{margin-bottom:10px!important}.header>.social-links{margin-top:6px!important}.list .item .atoggle input,.list .item .atoggle label,.topblock{display:none!important}.list .item .atoggle .abstract{display:block!important}}