.home-intro{max-width:40rem;margin:.75rem auto 0;text-align:center}.home-intro p{margin:0}.footer-vim{display:inline-block;margin-top:.6rem;font-family:monospace;font-size:1.2rem;letter-spacing:.05em;opacity:.35}.footer-vim::after{content:"▮";margin-left:.1em;animation:footer-vim-blink 1.1s steps(1)infinite}@keyframes footer-vim-blink{50%{opacity:0}}.research-figure{margin:2.5rem 0;padding:.9rem .9rem .4rem;background:#26282d;border:1px solid rgba(255,255,255,7%);border-radius:14px;box-shadow:0 8px 28px rgba(0,0,0,.4);text-align:center}.research-figure__frame{padding:2.5rem 3rem;background:#e7ddca;border-radius:9px;box-shadow:inset 0 0 0 1px rgba(0,0,0,5%);cursor:zoom-in}.research-figure img{display:block;max-width:100%;height:auto;margin:0 auto}.research-figure figcaption{margin:.9rem .4rem .4rem;color:#9a9a9a;font-size:1.3rem;font-style:italic}.colorscheme-light .research-figure{background:#ecece8;border-color:rgba(0,0,0,8%);box-shadow:0 4px 18px rgba(0,0,0,.12)}.colorscheme-light .research-figure__frame{background:#fff}.colorscheme-light .research-figure figcaption{color:#6b6b6b}@media(max-width:480px){.research-figure{padding:.6rem .6rem .3rem}.research-figure__frame{padding:1.25rem 1rem}}.research-sep,.content hr{border:0;position:relative;height:1px;margin:3.75rem 0 2.75rem;background:linear-gradient( to right,transparent,rgba(255,255,255,.22),transparent )}.research-sep::after,.content hr::after{content:"";position:absolute;left:50%;top:50%;width:7px;height:7px;transform:translate(-50%,-50%)rotate(45deg);background:#26282d;box-shadow:0 0 0 1px rgba(255,255,255,.22)}.colorscheme-light .research-sep,.colorscheme-light .content hr{background:linear-gradient( to right,transparent,rgba(0,0,0,.16),transparent )}.colorscheme-light .research-sep::after,.colorscheme-light .content hr::after{background:#fafafa;box-shadow:0 0 0 1px rgba(0,0,0,.16)}.lightbox{position:fixed;inset:0;z-index:1000;display:flex;align-items:center;justify-content:center;padding:3vmin;background:rgba(0,0,0,.85);opacity:0;transition:opacity .18s ease}.lightbox.is-open{opacity:1}.lightbox__stage{display:flex;align-items:center;justify-content:center;width:min(96vw,1200px);max-height:92vh;padding:2.5rem 3rem;background:#e7ddca;border-radius:12px;box-shadow:0 12px 48px rgba(0,0,0,.6);overflow:hidden;cursor:grab;touch-action:none}.lightbox__stage.is-panning{cursor:grabbing}.lightbox__stage img{display:block;width:100%;height:auto;max-height:calc(92vh - 5rem);object-fit:contain;transform-origin:0 0;will-change:transform;user-select:none;-webkit-user-drag:none}.lightbox__close{position:absolute;top:1.1rem;right:1.3rem;width:2.4rem;height:2.4rem;border:0;border-radius:50%;background:rgba(255,255,255,.12);color:#fff;font-size:1.5rem;line-height:1;cursor:pointer}.lightbox__close:hover{background:rgba(255,255,255,.22)}.lightbox__hint{position:absolute;bottom:1.1rem;left:0;right:0;text-align:center;color:rgba(255,255,255,.65);font-size:.8rem}.reference{margin:1.75rem 0;padding:1.2rem 1.4rem;border:1px solid rgba(128,128,128,.35);border-radius:6px;background:rgba(128,128,128,6%)}.reference__cite{margin:0 0 .9rem}.reference__title{font-weight:600}.reference__meta{display:block;margin-top:.4rem;font-size:1.4rem;opacity:.8}.reference__actions{display:flex;flex-wrap:wrap;gap:.8rem}.reference__btn{display:inline-block;padding:.5rem 1.1rem;border:1px solid rgba(128,128,128,.5);border-radius:4px;background:0 0;color:inherit;font:inherit;font-size:1.4rem;line-height:1.4;cursor:pointer;text-decoration:none}.reference__btn:hover{border-color:initial}.reference__copy.is-copied{border-color:#4caf50;color:#4caf50}.resume article>p:first-of-type{margin:0 0 3rem;font-size:2rem;line-height:1.5;color:#cfcfcf}.resume h2{margin:3.5rem 0 1.5rem;padding-bottom:.5rem;font-size:1.8rem;font-weight:600;text-transform:uppercase;letter-spacing:.06em;color:#cfcfcf;border-bottom:1px solid rgba(255,255,255,.14)}.cv-entry{display:grid;grid-template-columns:10rem 1fr;gap:1.75rem;padding:1.6rem 0;border-top:1px solid rgba(255,255,255,8%)}.cv-entry:first-of-type{border-top:0;padding-top:0}.cv-entry__date{padding-top:.4rem;color:#8f8f8f;font-size:1.5rem;font-variant-numeric:tabular-nums}.cv-entry__org{margin:0;font-size:2rem;font-weight:600}.cv-entry__role{margin:.3rem 0 0;color:#bdbdbd;font-size:1.7rem}.cv-entry__desc{margin-top:.7rem;font-size:1.7rem;line-height:1.55;opacity:.92}.cv-entry__desc p{margin:0}.cv-entry__desc ul{margin:0;padding-left:1.8rem}.cv-entry__desc li{margin:.2rem 0}.cv-skills{display:flex;flex-direction:column;gap:1rem}.cv-skills__row{display:flex;flex-wrap:wrap;align-items:center;gap:.7rem}.cv-skills__cat{min-width:12rem;color:#8f8f8f;font-size:1.7rem;font-weight:600}.cv-skills__pill{padding:.35rem .9rem;border:1px solid rgba(255,255,255,.16);border-radius:999px;font-size:1.5rem}.colorscheme-light .resume article>p:first-of-type{color:#3a3a3a}.colorscheme-light .resume h2{color:#333;border-bottom-color:rgba(0,0,0,.14)}.colorscheme-light .cv-entry{border-top-color:rgba(0,0,0,8%)}.colorscheme-light .cv-entry__date,.colorscheme-light .cv-skills__cat{color:#6b6b6b}.colorscheme-light .cv-entry__role{color:#555}.colorscheme-light .cv-skills__pill{border-color:rgba(0,0,0,.18)}@media(max-width:480px){.cv-entry{grid-template-columns:1fr;gap:.25rem}.cv-entry__date{padding-top:0}.cv-skills__cat{min-width:100%}}.navigation-caret{font-size:.8em;opacity:.55}.navigation-sub{list-style:none;margin:0;padding:.6rem 0;position:absolute;top:100%;left:0;min-width:100%;z-index:20;background:#2b2b2b;border:1px solid rgba(128,128,128,.35);border-radius:4px;visibility:hidden;opacity:0;transition:opacity .12s}.colorscheme-light .navigation-sub{background:#fafafa}.navigation-item--parent:hover .navigation-sub,.navigation-item--parent:focus-within .navigation-sub{visibility:visible;opacity:1}.navigation-sub .navigation-subitem{float:none;margin:0}.navigation-sub .navigation-link{display:block;padding:.5rem 0;white-space:nowrap}@media only screen and (max-width:768px){.navigation-sub{position:static;visibility:inherit;opacity:1;min-width:0;padding:0;border:0;background:0 0}.navigation-sub .navigation-link{padding:0;font-size:.9em;opacity:.8}.navigation-caret{display:none}}.cards{display:grid;grid-template-columns:repeat(auto-fill,minmax(28rem,1fr));gap:2rem;margin:2.5rem 0}.card{display:flex;flex-direction:column;border:1px solid rgba(128,128,128,.35);border-radius:6px;background:rgba(128,128,128,6%);overflow:hidden}.card__thumb{background:#e7ddca;padding:1.2rem;text-align:center}.card__thumb img{max-width:100%;max-height:16rem;margin:0;object-fit:contain}.card__body{padding:1.4rem 1.6rem 1.6rem}.card__title{margin:0;font-size:1.9rem;line-height:1.3}.card__title a{text-decoration:none}.card__summary{margin:.8rem 0 0;font-size:1.5rem;line-height:1.5;opacity:.85}.card__head,.item__head{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:.4rem 1.2rem}.card__head .card__status,.item__head .card__status{margin-top:0;flex:none}.card__status{display:inline-block;margin-top:.7rem;padding:.15rem .7rem;border:1px solid rgba(128,128,128,.5);border-radius:999px;font-size:1.2rem;letter-spacing:.04em;text-transform:uppercase;opacity:.75}.card__status--ongoing{border-color:rgba(76,175,80,.55);color:#6fbf73}.card__tags,.item-tags{margin:1rem 0 0;display:flex;flex-wrap:wrap;gap:.5rem}.card__tag{padding:.1rem .6rem;border-radius:3px;background:rgba(128,128,128,.18);font-size:1.2rem;opacity:.85}.list__header{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:.8rem 1.6rem}.list__links{margin:0}.list__intro{max-width:none}.list__empty{opacity:.6;font-style:italic}.item-links{margin:1.2rem 0 0;display:flex;flex-wrap:wrap;gap:.8rem}.item-link{display:inline-block;padding:.4rem 1rem;border:1px solid rgba(128,128,128,.5);border-radius:4px;font-size:1.4rem;text-decoration:none;color:inherit}.item-link:hover{border-color:initial}.page__header .item-meta{display:flex;flex-wrap:wrap;align-items:baseline;gap:.6rem 1.2rem;margin:.8rem 0 0}.page__header .item__meta{margin:0}.page__header .item-tags{margin-top:.8rem}.page__header .item-links{margin-top:1.2rem}.page__header--inline{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:.8rem 1.6rem}.page__header--inline .item-links{margin-top:0}.item-meta{display:flex;flex-wrap:wrap;align-items:center;gap:1rem;margin-top:.5rem}.item-date{font-size:1.4rem;opacity:.7}.thm{margin:3rem 0;padding:1.4rem 2rem 1.6rem;border-left:3px solid rgba(128,128,128,.5);background:rgba(128,128,128,5%)}.thm__head{margin:0;font-size:1.6rem}.thm[open]>.thm__head{margin-bottom:1.3rem;padding-bottom:1.1rem;border-bottom:1px solid rgba(128,128,128,.22)}.thm__kind{text-transform:uppercase;letter-spacing:.08em;font-weight:700;font-size:1.3rem;opacity:.75}.thm__title{margin-left:.6rem;font-style:italic}.thm__body>:first-child{margin-top:0}.thm__body>:last-child{margin-bottom:0}.thm--definition{border-left-color:rgba(93,109,126,.9)}.thm--theorem{border-left-color:rgba(76,175,80,.7)}.thm--conclusion{border-left-color:rgba(231,221,202,.7)}.cite a{text-decoration:none}.cite--todo{padding:0 .3rem;border:1px dashed rgba(200,120,90,.7);border-radius:3px;color:#c8785a;cursor:help}.lab{margin:2.5rem 0}.lab__frame{border:1px solid rgba(128,128,128,.35);border-radius:6px;overflow:hidden;background:#16181a}.lab__iframe{display:block;width:100%;border:0}.lab__caption{margin-top:.8rem;display:flex;flex-wrap:wrap;gap:1rem;justify-content:space-between;align-items:baseline;font-size:1.4rem;opacity:.8}.lab__full{white-space:nowrap}.content math{max-width:100%;overflow-x:auto;overflow-y:hidden}.content math[display=block]{display:block;margin:1.6rem 0 1.6rem 3ch}@media(max-width:480px){.content math[display=block]{margin-left:0}.cards{grid-template-columns:1fr}}.items{margin:2.5rem 0}.item{display:grid;grid-template-columns:14rem 1fr;gap:2rem;align-items:start}.item>.item__body:only-child{grid-column:1/-1}.item__mark{background:#e7ddca;border-radius:4px;padding:.8rem;display:flex;align-items:center;justify-content:center;min-height:9rem}.item__mark img{max-width:100%;max-height:11rem;margin:0;object-fit:contain}.item__mark--icon{background:0 0;border:0;min-height:0;padding:.4rem 0 0;font-size:3.2rem;color:rgba(128,128,128,.7);justify-content:flex-start}.item:has(.item__mark--icon){grid-template-columns:5rem 1fr;gap:1.6rem}.item__title{margin:0;font-size:2rem;line-height:1.3}.item__title a{text-decoration:none}.item__meta{margin:.4rem 0 0;font-size:1.4rem;font-style:italic;opacity:.7}.item__summary{margin:.8rem 0 0;font-size:1.55rem;line-height:1.55;opacity:.88}.reference--bare{margin:1.2rem 0 0;padding:0;border:0;background:0 0;display:flex;flex-wrap:wrap;gap:.8rem}button.item-link{font:inherit;font-size:1.4rem;cursor:pointer;color:inherit;background:0 0}.item-link.is-copied{border-color:#4caf50;color:#4caf50}.items .research-sep{margin:2.4rem 0}.items>.item+.item{margin-top:2.4rem}@media(max-width:34rem){.item{grid-template-columns:1fr;gap:1.2rem}.item__mark{max-width:18rem}}.item--banner{grid-template-columns:1fr;gap:1.4rem}.item__mark--banner{height:20rem;min-height:0;padding:1.6rem}.item__mark--banner img{height:100%;max-height:100%;width:auto}.items--framed{display:flex;flex-direction:column;gap:2rem}.items--framed .item{border:1px solid rgba(128,128,128,.35);border-radius:6px;background:rgba(128,128,128,6%);padding:1.8rem 2rem}.card__thumb{height:19rem;padding:1.4rem}.card__thumb img{max-height:100%;max-width:100%;height:100%;width:auto}.page:not(.resume) article p,.page:not(.resume) article li,.list__intro p,.list__intro li{text-align:left;-webkit-hyphens:none;hyphens:none}.page:not(.resume) article>p,.list__intro>p{text-align:justify}.page:not(.resume) article>p.lead,.page:not(.resume) article>p.sub-lead,.list__intro>p.lead,.list__intro>p.sub-lead{text-align:center}.page:not(.resume) article>p,.list__intro>p{margin-bottom:3rem}.page:not(.resume) article>p.lead,.list__intro>p.lead{margin-bottom:1.2rem}.page:not(.resume) article>p.sub-lead,.page:not(.resume) article>p.introduction,.list__intro>p.sub-lead,.list__intro>p.introduction{margin-bottom:3.5rem}.page:not(.resume) article>.math-block,.list__intro>.math-block{margin:1rem 0}.page:not(.resume) article>p:has(+.math-block),.list__intro>p:has(+.math-block){margin-bottom:1rem}.page:not(.resume) article>.math-block+p,.list__intro>.math-block+p{margin-top:1rem}.page:not(.resume) article>p:has(>.math-join:last-child),.thm__body p:has(>.math-join:last-child){margin-bottom:.4rem}.page:not(.resume) article>p:has(>.math-join:last-child)+.math-block,.thm__body p:has(>.math-join:last-child)+.math-block{margin-top:.4rem}.page:not(.resume) article>.math-block:has(+p>.math-join:first-child),.thm__body .math-block:has(+p>.math-join:first-child){margin-bottom:0}.page:not(.resume) article>.math-block+p:has(>.math-join:first-child),.thm__body .math-block+p:has(>.math-join:first-child){margin-top:0}.page:not(.resume) article>h2,.list__intro>h2{font-size:3.2rem;line-height:1.25;margin-bottom:1.8rem}.page:not(.resume) article>h3,.list__intro>h3{position:relative;padding-left:1.5rem;margin-top:4rem;margin-bottom:1.2rem;font-size:2.2rem;line-height:1.3}.page:not(.resume) article>h3::before,.list__intro>h3::before{content:"";position:absolute;left:0;top:.3em;width:3px;height:.95em;border-radius:2px;background:rgba(231,221,202,.55)}.colorscheme-light .page:not(.resume) article>h3::before,.colorscheme-light .list__intro>h3::before{background:rgba(0,0,0,.3)}.math-block{display:block;overflow-x:auto;overflow-y:hidden;padding-bottom:.4rem}.post article>h2{margin-top:4.5rem;padding-top:3.5rem;position:relative}.post article>h2::before{content:"";position:absolute;top:.8rem;left:0;right:0;height:1px;background:linear-gradient(to right,transparent,rgba(255,255,255,.22),transparent)}.post article>h2::after{content:"";position:absolute;top:calc(.8rem - 3px);left:50%;width:7px;height:7px;transform:translateX(-50%)rotate(45deg);background:#26282d;box-shadow:0 0 0 1px rgba(255,255,255,.22)}.colorscheme-light .post article>h2::before{background:linear-gradient(to right,transparent,rgba(0,0,0,.16),transparent)}.colorscheme-light .post article>h2::after{background:#fafafa;box-shadow:0 0 0 1px rgba(0,0,0,.16)}.post article>h2:first-of-type{margin-top:2rem;padding-top:0}.post article>h2:first-of-type::before,.post article>h2:first-of-type::after{display:none}.thm{min-width:0}.thm__head{cursor:pointer;list-style:none;user-select:none}.thm__head::-webkit-details-marker{display:none}.thm__head::before{content:"▸";display:inline-block;margin-right:.6rem;font-size:1.1rem;opacity:.55;transition:transform .12s}.thm[open]>.thm__head::before{transform:rotate(90deg)}.thm__head:focus-visible{outline:2px solid currentColor;outline-offset:2px}.thm__body{min-width:0;overflow-x:auto;line-height:1.8}.thm__body p{margin:0 0 1.4rem;text-indent:0}.thm__body .math-block{margin:1rem 0}.thm__body p:has(+.math-block){margin-bottom:1rem}.thm__body>:last-child,.thm__body .math-block:last-child{margin-bottom:0}.resume h2{margin-top:5rem;padding-top:3.2rem;position:relative}.resume h2::before{content:"";position:absolute;top:.6rem;left:0;right:0;height:1px;background:linear-gradient(to right,transparent,rgba(255,255,255,.22),transparent)}.resume h2::after{content:"";position:absolute;top:calc(.6rem - 3px);left:50%;width:7px;height:7px;transform:translateX(-50%)rotate(45deg);background:#26282d;box-shadow:0 0 0 1px rgba(255,255,255,.22)}.colorscheme-light .resume h2::before{background:linear-gradient(to right,transparent,rgba(0,0,0,.16),transparent)}.colorscheme-light .resume h2::after{background:#fafafa;box-shadow:0 0 0 1px rgba(0,0,0,.16)}.resume h2:first-of-type{margin-top:2.5rem;padding-top:0}.resume h2:first-of-type::before,.resume h2:first-of-type::after{display:none}.lead{margin:0 0 1.2rem;font-size:2.4rem;font-weight:700;line-height:1.4;text-align:center;color:#cfcfcf}.sub-lead{margin:0 0 3rem;font-size:1.5rem;line-height:1.6;text-align:center;color:#9a9a9a}.introduction{margin:0 0 3rem;font-style:italic;color:#cfcfcf}.colorscheme-light .introduction{color:#33322e}.colorscheme-light .lead{color:#33322e}.colorscheme-light .sub-lead{color:#5a5a54}.research-figure img{max-height:42rem;width:auto}.fn a{text-decoration:none}.footnotes{margin:4rem 0 0;padding-top:1.5rem;border-top:1px solid rgba(128,128,128,.25);font-size:1.4rem;color:#9a9a9a}.footnotes__list{margin:0;padding-left:2rem}.footnote{margin-bottom:.8rem;line-height:1.6}.footnote__back{text-decoration:none;opacity:.6}.bibliography{margin:1.5rem 0 0;padding-left:2rem;font-size:1.5rem}.bib-entry{margin-bottom:1.2rem;line-height:1.6}.bib-entry__authors{color:#9a9a9a}.bib-entry__title{display:block;font-style:italic}.bib-entry__venue{color:#9a9a9a}.bib-entry .item-links{display:inline-flex;flex-wrap:wrap;gap:0 1.2rem;margin-left:.6rem;font-size:1.3rem}.cite--missing{color:#c8785a;cursor:help}.lab__title{color:#cfcfcf}.colorscheme-light .lab__title{color:#33322e}.toc{margin:2.5rem 0 3.5rem;padding:1.4rem 1.8rem 1.6rem;border:1px solid rgba(128,128,128,.3);border-radius:6px;background:rgba(128,128,128,5%);font-size:1.45rem}.toc__label{margin:0 0 .9rem;color:#9a9a9a;font-size:1.2rem;text-transform:uppercase;letter-spacing:.1em}.toc__list{margin:0;padding:0;list-style:none}.toc__item{margin:.35rem 0;line-height:1.45;text-indent:0}.toc__item--3{padding-left:1.6rem;font-size:.94em}.toc__item--4{padding-left:3.2rem;font-size:.9em}.toc__item a{text-decoration:none}.toc__item a:hover{text-decoration:underline}.toc math{font-size:1em}.colorscheme-light .toc{background:rgba(0,0,0,3%);border-color:rgba(0,0,0,.12)}.cite,.fn{margin-left:.15em;font-size:1.4rem;white-space:nowrap}.cite a,.fn a{color:#8ea2b6;text-decoration:none}.colorscheme-dark .cite a,.colorscheme-dark .fn a{color:#8ea2b6}.colorscheme-light .cite a,.colorscheme-light .fn a{color:#1565c0}.cite a:hover,.fn a:hover{text-decoration:underline}.note{margin:2.5rem 0;padding:.9rem 1.4rem;border-left:3px solid rgba(128,128,128,.35);background:rgba(128,128,128,5%);color:#9a9a9a;font-size:1.5rem;font-style:italic}.note p{text-indent:0}.note>:first-child{margin-top:0}.note>:last-child{margin-bottom:0}.colorscheme-light .note{color:#6a6a64;background:rgba(0,0,0,3%);border-left-color:rgba(0,0,0,.18)}.research-figure.research-figure--header{margin:.5rem 0 4.5rem;border-color:rgba(255,255,255,5%);box-shadow:none}.research-figure--header .research-figure__frame{padding:2.4rem 3rem;box-shadow:none}.research-figure--header img{width:auto;height:20rem;max-height:none;max-width:100%;object-fit:contain}@media(max-width:768px){.research-figure--header img{height:auto;max-height:16rem}}.colorscheme-light .research-figure.research-figure--header{border-color:rgba(0,0,0,6%);box-shadow:none}.resources{margin:3rem 0 0}.resources__label{margin:0 0 1.2rem;color:#9a9a9a;font-size:1.2rem;text-transform:uppercase;letter-spacing:.1em}.resources__list{margin:0;padding:0;list-style:none}.resources__item{display:grid;grid-template-columns:16rem 1fr;gap:1.6rem;align-items:baseline;margin:0 0 1rem;text-indent:0}.resources__note{font-size:1.55rem;line-height:1.5;opacity:.88}@media(max-width:34rem){.resources__item{grid-template-columns:1fr;gap:.6rem}}.colorscheme-light .resources__label{color:#5a5a54}