/* Local content adapters for the original MIT-licensed al-folio styles. */
@font-face{font-family:Roboto;src:url('assets/fonts/Roboto-Light.ttf') format('truetype');font-weight:300;font-display:swap}
@font-face{font-family:Roboto;src:url('assets/fonts/Roboto-Regular.ttf') format('truetype');font-weight:400;font-display:swap}
@font-face{font-family:Roboto;src:url('assets/fonts/Roboto-Bold.ttf') format('truetype');font-weight:700;font-display:swap}
*{box-sizing:border-box}html{scroll-padding-top:80px}body{margin:0;padding-inline:0;font-family:Roboto,Arial,sans-serif;font-size:17px;font-weight:300;line-height:1.5}h1,h2,h3{font-family:inherit;font-weight:300}h1{font-size:40px;line-height:1.2;margin:0 0 24px}h2{font-size:32px;line-height:1.2;margin:0 0 20px}strong{font-weight:700}p{margin:0 0 16px}a{text-decoration:none}a:hover{text-decoration:underline}a:focus-visible,button:focus-visible{outline:2px solid var(--global-theme-color);outline-offset:4px}.container{width:100%;max-width:930px;padding-inline:15px;margin-inline:auto}.post-header{margin-bottom:24px}.navbar{min-height:57px}.navbar-brand{color:var(--global-text-color)!important;font-weight:300}.navbar-nav{align-items:center}.navbar .nav-link{font-size:17px}.navbar .active .nav-link{font-weight:700;color:var(--global-theme-color)}#light-toggle{margin-left:12px}.skip-link{position:fixed;top:-60px;left:16px;z-index:2000;background:var(--global-bg-color);padding:8px 12px}.skip-link:focus{top:8px}.profile{margin-bottom:20px}.portrait{position:relative;width:100%;aspect-ratio:1;overflow:hidden;border-radius:4px;box-shadow:0 2px 5px #0003}.portrait img{position:absolute;width:208%;max-width:none;height:auto;left:-81%;top:-38%}.biography{min-height:270px}.biography p{line-height:1.65}.content-section{padding:0;margin-top:32px}.publications{margin-top:28px}.section-heading{display:flex;align-items:baseline;gap:14px;flex-wrap:wrap;margin-bottom:22px}.section-heading h2{margin-bottom:0;text-transform:lowercase}.contribution{font-size:13px;color:var(--global-text-color-light)}.paper{display:grid;grid-template-columns:55px minmax(0,1fr);gap:20px;margin-bottom:28px;align-items:start}.paper-selected{grid-template-columns:160px minmax(0,1fr);gap:28px}.paper-year{font-size:16px;color:var(--global-text-color-light)}.paper h3{font-size:17px;line-height:1.5;font-weight:700;margin:0 0 4px}.paper h3 a{color:var(--global-text-color)}.authors{font-size:16px;line-height:1.5;margin:0 0 4px}.authors strong{font-weight:400;border-bottom:1px solid}.venue{font-size:16px;margin:0 0 8px}.paper-links{display:flex;gap:6px}.btn{display:inline-block;font-size:13px;color:var(--global-text-color);border:1px solid var(--global-text-color);border-radius:2px;padding:3px 14px;background:transparent;text-decoration:none}.btn:hover{color:var(--global-theme-color);border-color:var(--global-theme-color);text-decoration:none}.paper-visual{display:block;width:100%;height:130px;position:relative;overflow:hidden;background:#fff;border-radius:4px;box-shadow:0 2px 4px #0002}.paper-visual img{display:block;width:100%;height:100%;object-fit:contain}.paper-visual:empty{background:transparent;box-shadow:none}.paper-visual-page img{position:absolute;width:122%;height:auto;max-width:none;left:-10%;top:-14%}.all-publications{margin-top:16px}.social{margin-top:42px;margin-bottom:26px}.social .contact-icons{display:flex;justify-content:center;gap:24px;flex-wrap:wrap;font-size:16px}.social .contact-icons a{color:var(--global-text-color)}.social .contact-icons a:hover{color:var(--global-theme-color)}.contact-icons span[aria-hidden]{display:none}.cv-link .link-meta{font-size:11px;color:var(--global-text-color-light)}.cv-header{display:flex;justify-content:space-between;align-items:center;gap:20px}.cv-header h1{margin-bottom:0}.timeline-row{display:grid;grid-template-columns:145px minmax(0,1fr);gap:24px;margin-bottom:24px}.date{font-size:15px;color:var(--global-text-color-light)}.timeline h3{font-size:17px;font-weight:500;margin:0 0 6px}.timeline p{margin-bottom:5px;font-size:16px}.award-list{list-style:none;padding:0}.award-list li,.service-row{display:grid;grid-template-columns:145px minmax(0,1fr);gap:24px;margin-bottom:12px}.service-row dd{margin:0}.service-row dt{font-weight:400}sup{font-size:.7em}footer.fixed-bottom{z-index:100}footer .container{font-size:12px}
@media(max-width:575.98px){body{font-size:16px}.container{padding-inline:20px}main.container{margin-top:30px!important}.navbar>.container{padding-inline:4px}.navbar-brand{font-size:18px}.navbar-collapse.show{display:block}.navbar-menu-list{align-items:flex-start!important}.navbar .nav-link{font-size:17px;padding-block:9px}.toggle-container{padding-bottom:8px}#light-toggle{margin-left:0}.profile{float:none!important;width:200px;margin:0 auto 24px!important}.biography{min-height:0}h1{font-size:36px}h2{font-size:28px}.paper-selected{grid-template-columns:1fr;gap:14px}.paper-visual{width:200px;height:150px}.paper-visual:empty{display:none}.paper{gap:12px}.authors,.venue{font-size:15px}.timeline-row{display:block}.timeline-row .date{margin-bottom:5px}.award-list li,.service-row{grid-template-columns:100px minmax(0,1fr);gap:12px}.social .contact-icons{gap:16px}footer.fixed-bottom .container{font-size:10px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}
@media print{.navbar,footer,.skip-link,#light-toggle{display:none!important}body.fixed-top-nav{padding:0}main.container{margin-top:0!important}.paper,.timeline-row{break-inside:avoid}}

.social .contact-icons a svg{width:44px;height:44px;fill:none;stroke:currentColor;stroke-width:1.6;stroke-linecap:round;stroke-linejoin:round}.social .contact-note{margin-top:8px}.social .contact-note a{color:var(--global-text-color)}

.news-section{margin:0 0 36px}.news-section h2{text-transform:lowercase;margin-bottom:18px}.news-scroll{max-height:none;overflow:visible;border:1px solid var(--global-divider-color);border-radius:8px;padding:10px 20px;scrollbar-width:thin;scrollbar-color:var(--global-text-color-light) transparent}.news-list{list-style:none;padding:0;margin:0}.news-list li{display:grid;grid-template-columns:86px minmax(0,1fr);gap:20px;padding:7px 0;line-height:1.5}.news-list time{font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:15px;color:var(--global-text-color-light);white-space:nowrap}.news-list a{text-underline-offset:3px}.news-list div{overflow-wrap:anywhere}@media(max-width:575.98px){.news-scroll{padding:8px 14px;max-height:none}.news-list li{grid-template-columns:68px minmax(0,1fr);gap:12px}.news-list time{font-size:13px}}@media print{.news-scroll{max-height:none;overflow:visible}}

/* Purple theme in both color modes. */
:root{--global-theme-color:#7c3aed;--global-hover-color:#7c3aed;--global-code-bg-color:rgba(124,58,237,.05)}
html[data-theme=dark]{--global-theme-color:#b794f6;--global-hover-color:#b794f6;--global-code-bg-color:rgba(183,148,246,.08)}

.intro-links{display:flex;flex-wrap:wrap;gap:24px;margin:18px 0 22px;font-size:17px;font-weight:400}.intro-links a{color:var(--global-theme-color)}

.news-ending{white-space:nowrap}.news-list a{white-space:nowrap}

/* Match the reference publication layout: one third figure, two thirds text. */
.paper-selected{grid-template-columns:minmax(0,1fr) minmax(0,2fr);gap:28px;align-items:center;margin-bottom:34px}
.paper-selected .paper-visual{width:100%;height:auto;aspect-ratio:4/3}
.paper-selected .paper-content{min-width:0}
@media(max-width:575.98px){.paper-selected{grid-template-columns:1fr;gap:16px;align-items:start}.paper-selected .paper-visual{width:100%;max-width:360px;height:auto;aspect-ratio:4/3}}
@media print{.paper-selected{grid-template-columns:1fr 2fr}}
/* Remove thumbnail chrome and crop the source figure's built-in white margins. */
a.paper-visual{border:0;padding:0;box-shadow:none;border-radius:0;background:transparent}
#paper-spingtp .paper-visual{aspect-ratio:1030/646;height:auto}
#paper-spingtp .paper-visual img{position:absolute;width:128.16%;height:auto;max-width:none;left:-11.16%;top:-27.4%;object-fit:initial}

#paper-mas .paper-visual{aspect-ratio:2150/711;height:auto}
#paper-mas .paper-visual img{position:absolute;width:100.93%;height:auto;max-width:none;left:-0.37%;top:-0.42%;object-fit:initial}

#paper-mds .paper-visual{aspect-ratio:262/117;height:auto}

/* Algorithm 1, right column of PDF page 6. */
#paper-autopoly .paper-visual{aspect-ratio:auto;height:auto}
#paper-autopoly .paper-visual img{position:static;width:100%;height:auto;max-width:100%;object-fit:contain}