/* provsec design by Thorsten, adapted: Montserrat instead of Georgia / Abril Fatface,
   assets moved to separate files. Page-specific additions are in provsec.css. */
:root{--background:#f1f4f6;--surface:#f8fbfd;--surface-cool:#f0f5f8;--ink:#243746;--body:#475662;--muted:#647988;--accent:#4e7088;--line:#d7e2e9;--ice:#e9f1f6;--slate:#e3ecf3;--frost:#eaf2f7}
*{box-sizing:border-box}
html{scroll-behavior:smooth;scroll-padding-top:112px}
body{margin:0;background:var(--background);color:var(--body);font:16px/1.7 'Montserrat',sans-serif;-webkit-font-smoothing:antialiased}
p,h1,h2,h3{margin:0}
a{color:var(--accent);text-decoration:none}
a:hover{text-decoration:underline;text-underline-offset:4px}
button{font:inherit;cursor:pointer}
button,a,summary{-webkit-tap-highlight-color:transparent}
a:focus-visible,button:focus-visible,summary:focus-visible,[tabindex]:focus-visible{outline:2px solid var(--accent);outline-offset:5px}
[hidden]{display:none!important}
.skip-link{position:fixed;left:24px;top:-80px;z-index:30;background:var(--surface);padding:8px 18px}
.skip-link:focus{top:8px}
.site-header{position:sticky;top:16px;z-index:20;width:calc(100% - 48px);max-width:1020px;margin:22px auto 18px;border-radius:20px;transition:background .2s,box-shadow .2s}
.site-header.scrolled{background:rgba(241,244,246,.85);backdrop-filter:blur(24px);box-shadow:0 2px 16px #243a4b0b}
.site-header nav{display:flex;align-items:center;justify-content:space-between;min-height:68px;padding:0 8px}
.brand{display:flex;align-items:center;gap:9px;line-height:1}
.brand img{display:block;width:190px;height:auto}
.brand .brand-integrated{width:212px;height:auto}
.navbar-links{display:flex;gap:2px;padding:8px 13px;border-radius:40px;background:#ffffffa3;box-shadow:0 2px 12px #243a4b0c;backdrop-filter:blur(16px)}
.navbar-links a{display:block;padding:3px 11px;border-radius:9px;color:var(--ink);font-size:14px;font-weight:bold;line-height:1.65;letter-spacing:.015em}
.navbar-links a:hover,.navbar-links a.active{background:#243a4b0b;text-decoration:none}
.nav-toggle{display:none;background:none;border:0;padding:13px;color:var(--ink)}
.nav-toggle span{display:block;width:20px;height:1.5px;background:currentColor;margin:4px 0}
#mobile-navigation{padding:6px 12px 15px;background:var(--surface);border-radius:16px}
#mobile-navigation a{display:block;padding:9px 8px;font-weight:bold;font-size:15px}
.container{max-width:1068px;padding:0 24px;margin:0 auto}
.card{min-width:0;padding:28px;border:1px solid var(--line);border-radius:25px 22px 27px 21px / 22px 26px 21px 27px;background:var(--surface);box-shadow:0 2px 3px #243a4b04;scroll-margin-top:112px}
.section-title{color:var(--ink);font:400 25px/1.3 'Montserrat',sans-serif;letter-spacing:0;text-transform:none;margin-bottom:16px}
.section-title::after{content:'';display:block;width:54px;height:9px;margin-top:6px;background:url("brush.svg") left center/54px 9px no-repeat}
#about{display:flow-root;margin-bottom:26px;padding-bottom:30px}
#about .section-title{font-size:30px;margin-bottom:15px}
#about>p{font-size:15.2px;line-height:1.78;text-wrap:pretty}
#about>p+p{margin-top:14px}
#about a{font-weight:bold}
.fjord-illustration{float:right;width:35%;max-width:340px;height:auto;margin:2px -4px 12px 24px}
.people-and-news,.portfolio-work{display:grid;grid-template-columns:minmax(0,2fr) minmax(0,1fr);gap:24px;align-items:stretch;margin-bottom:24px}
#team{background:var(--surface)}
.team-grid-responsive{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:24px;margin-top:27px;margin-bottom:28px;align-items:start}
.member{display:flex;flex-direction:column;align-items:center;gap:8px;text-align:center;color:var(--ink);line-height:1.45}
.member:hover{text-decoration:none}
.shape-definitions{position:absolute;overflow:hidden;pointer-events:none}
.portrait-frame{display:block;width:120px;max-width:100%;aspect-ratio:1;padding:1px;background:#b5c9d5;clip-path:url("#portrait-floe");transition:background .2s}
.member-photo{display:block;width:100%;max-width:100%;height:100%;aspect-ratio:1;object-fit:cover;border:0;border-radius:0;clip-path:url("#portrait-floe")}
.member:hover .portrait-frame{background:var(--accent)}
#team .portrait-frame{width:142px}
.member>div{width:100%}
.member div>p:first-child{font-size:16px;font-weight:bold;line-height:1.3;color:var(--ink)}
.member-name span{display:block}
.member:hover div>p:first-child{text-decoration:underline;text-underline-offset:4px}
.member-role{margin-top:3px;font-size:13px;color:var(--muted)}
.member .member-link{display:none}
.team-history{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:22px}
#team details{border-top:1px solid var(--line);padding:12px 0 0;margin:0}
#team summary{display:flex;justify-content:space-between;align-items:center;list-style:none;cursor:pointer;font-size:13px;font-weight:normal;color:var(--muted);padding:3px 0}
#team summary::-webkit-details-marker{display:none}
#team summary::after{content:'';width:6px;height:6px;border-bottom:1px solid currentColor;border-right:1px solid currentColor;transform:rotate(45deg);margin-right:3px}
#team details[open] summary::after{transform:rotate(225deg)}
#team .pub-year-content{padding:12px 0 4px;font-size:14px}
#team .pub-year-content>div{display:grid;gap:8px}
#team .pub-year-content span{color:var(--muted);font-size:12px}
#team .pub-year-content a{font-weight:bold}
.news-column,.publication-column{min-width:0;position:relative}
#news{position:absolute;inset:0;display:flex;flex-direction:column;background:var(--surface-cool)}
#news .section-title{flex-shrink:0;font-size:23px}
#news-list{min-height:0;flex:1;overflow-y:auto;scrollbar-width:thin;scrollbar-color:#9aafbb transparent;padding:1px 8px 8px 3px;overscroll-behavior:contain}
.news-feed{position:relative;padding-left:17px;margin-left:5px;border-left:1px solid #bdcfdc}
.news-year{position:relative;font-size:16px;line-height:1.5;color:var(--ink);font-weight:bold;padding:2px 0 10px}
.news-year::before{content:'';position:absolute;left:-22px;top:8px;width:8px;height:8px;border:1px solid #8da9ba;border-radius:50%;background:var(--surface-cool)}
.news-item{position:relative;padding:6px 0 15px}
.news-item::before{content:'';position:absolute;left:-20px;top:16px;width:4px;height:4px;background:#819cac;border:1px solid var(--surface-cool);border-radius:50%}
.news-date{display:block;font:11px/1.7 ui-monospace,'SF Mono',Consolas,monospace;color:var(--muted);letter-spacing:.035em;margin-bottom:3px}
.news-text{font-size:13.6px;line-height:1.65}
.news-text a,.news-text strong{font-weight:bold;color:var(--accent)}
.news-feed>div:last-child:not(.news-item){padding:3px 0 8px;font-size:13px}
.publication-column>#publications{position:absolute;inset:0;display:flex;flex-direction:column;min-height:0}
#publications{font-family:'Montserrat',sans-serif;line-height:1.5}
#publications .section-title{flex-shrink:0;margin-bottom:14px}
#publications .section-title::after{margin-top:7px;transform:translateX(-3px);background-image:url("brush-publications.svg")}
#publications>p{font-size:12px;line-height:1.6;color:var(--muted);margin-bottom:16px}
.publication-scroll{flex:1;min-height:0;overflow-y:auto;overflow-x:hidden;padding:2px 8px 4px 2px;scrollbar-width:thin;scrollbar-color:#9aafbb transparent;scrollbar-gutter:stable;overscroll-behavior:contain;line-height:1.5}
.publication-scroll h3{display:flex;align-items:center;gap:9px;font:400 1.15rem/1.4 'Montserrat',sans-serif;color:var(--accent);border-bottom:1px solid var(--line);padding:6px 0 9px;margin:0}
.publication-scroll .pub-year{margin:0 0 24px}
.publication-scroll .pub-year+.pub-year{margin-top:0}
.publication-scroll .pub-year-content{padding-top:12px}
.pub{padding:1.6px 0 1.6px 12px;margin-bottom:17.6px;border-left:1px solid #d0dce2;line-height:1.5}
.pub:last-child{margin-bottom:0}
.pub-title{font-size:15.2px;font-weight:bold;line-height:1.4;color:var(--ink)}
.pub-title:hover{opacity:.75;text-decoration:none}
.pub>span:not(.pub-title){font-size:12px;color:var(--muted);padding-left:5px}
.pub-authors{font-size:13.6px;line-height:1.5;margin:4px 0;color:var(--muted)}
.pub-authors a{color:inherit;font-weight:inherit;text-decoration:none}
.pub-authors a:hover{text-decoration:underline}
.team-author{font-weight:400;color:inherit}
.pub-venue{font-size:13.6px;line-height:1.5;font-style:italic;color:var(--muted);margin:0}
.pub-links{display:flex;flex-wrap:wrap;align-items:center;gap:6.4px;margin-top:5.6px}
.publication-note{font-size:12px;line-height:1.6;color:var(--muted);margin-top:26px}
.pub-link{--wash:#e8eef2;position:relative;isolation:isolate;display:inline-block;background:transparent;color:var(--accent);border:0;padding:4px 10px 5px;font:11.5px/1.3 'Montserrat',sans-serif;white-space:nowrap;text-decoration:none}
.pub-link::before{content:'';position:absolute;inset:0;z-index:-1;background:var(--wash);clip-path:polygon(9% 6%,58% 0,94% 10%,100% 65%,87% 94%,37% 100%,2% 83%,0 28%);transform:rotate(-1deg)}
.pub-link::after{content:'';position:absolute;inset:0;z-index:-1;background:#fff;opacity:.3;clip-path:polygon(9% 6%,58% 0,37% 100%,2% 83%,0 28%);transform:rotate(-1deg);pointer-events:none}
.pub-link[data-kind=code]{--wash:#e1e9f2;color:#526b83}
.pub-link[data-kind=code]::before{clip-path:polygon(12% 0,72% 5%,100% 28%,96% 83%,68% 100%,4% 91%,0 24%);transform:rotate(1deg)}
.pub-link[data-kind=code]::after{clip-path:polygon(12% 0,72% 5%,45% 100%,4% 91%,0 24%);transform:rotate(1deg)}
.pub-link[data-kind=slides]{--wash:#e9f1f6;color:#4d728a}
.pub-link[data-kind=cite]{--wash:#edf2f6;color:#637b8c}
.pub-link:hover{filter:brightness(.94);text-decoration:none}
.practical-column{display:grid;gap:24px;min-width:0;align-content:start}
.practical-column .section-title{font-size:23px}
#teaching{background:var(--surface-cool)}
.course{padding:0 0 18px;margin:0 0 18px;border-bottom:1px solid var(--line)}
.course:last-child{padding-bottom:0;margin-bottom:0;border:0}
.course p:not(.course-meta){font-size:15px;font-weight:bold;line-height:1.45;color:var(--ink)}
.course-meta{font-size:12.5px;line-height:1.7;color:#6a7376;margin-top:6px}
#cispa{background:var(--surface-cool)}
.cispa-illustration{display:block;width:100%;max-width:240px;height:auto;margin:5px auto 16px}
#cispa>p{font-size:14px;line-height:1.7}
#cispa .cispa-link{margin-top:16px;font-weight:bold}
footer{max-width:1068px;padding:0 24px 24px;margin:0 auto;display:flex;justify-content:flex-end;gap:16px;align-items:center;font-size:12px;color:var(--muted)}
footer p{font-style:italic}
footer a{padding:8px 0 8px 12px;color:var(--muted)}
.iceberg-link{display:inline-block;width:1.2em;height:1em;margin-left:.22em;vertical-align:-.16em;background:url("iceberg.svg") center/contain no-repeat}
dialog{color:var(--body);border:1px solid var(--line);border-radius:22px;background:var(--surface);padding:25px;max-width:700px;width:calc(100% - 40px);box-shadow:0 8px 60px #20354a22}
dialog::backdrop{background:#233a4c55;backdrop-filter:blur(3px)}
.dialog-heading{display:flex;justify-content:space-between;align-items:center;gap:20px}
.dialog-heading h2{font:24px 'Montserrat',sans-serif;color:var(--ink)}
#cite-close{border:0;background:transparent;font-size:25px;color:var(--muted);padding:0 4px}
dialog pre{max-height:55vh;overflow:auto;white-space:pre-wrap;overflow-wrap:anywhere;background:var(--ice);padding:16px;border-radius:12px;font:12px/1.7 ui-monospace,monospace;margin:20px 0}
.copy-status{font-size:12px;margin-left:12px;color:var(--accent)}
@media(min-width:901px){.navbar-links a[href='#news']{display:none}}
@media(max-width:900px){.people-and-news,.portfolio-work{grid-template-columns:1fr}.news-column>#news,.publication-column>#publications{position:static}.news-column>#news{max-height:370px}.publication-scroll{max-height:720px;flex:auto}.practical-column{grid-template-columns:1fr 1fr;align-items:start}#team{min-height:0}.portrait-frame{width:130px}}
@media(max-width:650px){.site-header{width:calc(100% - 32px);margin-top:12px;top:8px;margin-bottom:12px}.site-header nav{padding:0 4px;min-height:64px}.brand img{width:165px}.navbar-links{display:none}.nav-toggle{display:block}.container{padding:0 16px}.card{padding:22px}.section-title{font-size:25px}.fjord-illustration{float:none;width:100%;max-width:380px;margin:0 auto 16px;display:block}#about>p{font-size:15px}.team-grid-responsive{gap:14px;margin-top:22px}.portrait-frame{width:105px}.member div>p:first-child{font-size:13px}.member-role{font-size:12px}.practical-column{grid-template-columns:1fr}.people-and-news,.portfolio-work{gap:20px;margin-bottom:20px}.publication-scroll{max-height:680px}.publication-column>#publications{padding-right:15px}footer{padding:0 20px 22px;font-size:11px}dialog{padding:20px}}
@media(max-width:650px){.brand .brand-integrated{width:174px}.team-grid-responsive{grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;margin-top:24px;margin-bottom:24px}.member{gap:8px}#team .portrait-frame{width:105px}.member div>p:first-child{font-size:13px}.member-role{font-size:12px}.team-history{grid-template-columns:minmax(0,1fr);gap:12px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{transition:none!important}}

/* Shared team history. */
#team .team-history-toggle{border-top:1px solid var(--line);padding-top:17px;margin:0}
.team-history{grid-template-columns:minmax(0,1.35fr) minmax(0,1fr);gap:27px;padding-top:16px}
#team .history-section{border:0;padding:0;margin:0}
#team .team-history-toggle>summary{padding:2px 0;font:700 15px/1.4 'Montserrat',sans-serif;color:var(--accent)}
.history-section h3{font:700 15px/1.4 'Montserrat',sans-serif;color:var(--accent);margin:0 0 10px}
#team .team-history-toggle>summary::after{width:9px;height:9px;border:0;margin-right:1px;transform:none;background:linear-gradient(currentColor,currentColor) center/9px 1px no-repeat,linear-gradient(currentColor,currentColor) center/1px 9px no-repeat}
#team .team-history-toggle[open]>summary::after{transform:none;background:linear-gradient(currentColor,currentColor) center/9px 1px no-repeat}
#team .pub-year-content{padding:0;font-size:13px;line-height:1.5}
#team .pub-year-content>div{gap:10px}
#team .pub-year-content p{display:flex;gap:12px;align-items:baseline;justify-content:space-between}
#team .pub-year-content .history-name{font-size:13px;color:var(--ink)}
#team .pub-year-content a{font-weight:normal;color:var(--ink)}
#team .pub-year-content span:not(.history-name){font-size:11.5px;color:var(--muted);white-space:nowrap}
#team .history-section.alumni{border-left:1px solid var(--line);padding-left:27px}
#team .alumni .pub-year-content p{display:block}
#team .alumni .pub-year-content span:not(.history-name){display:block;margin-top:2px;white-space:normal}
@media(max-width:650px){.team-history{grid-template-columns:minmax(0,1fr);gap:20px}#team .history-section.alumni{padding-left:0;border-left:0}}