:root {
  color-scheme: light;
  --ink: #282b2a;
  --muted: #686e6b;
  --accent: #086b5f;
  --accent-dark: #044f46;
  --line: #e2e6e3;
  --soft: #f3f6f4;
  --white: #fff;
  --serif: Georgia, "Times New Roman", serif;
  --sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
}
* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body { margin: 0; background: var(--white); color: var(--ink); font: 16px/1.7 var(--sans); letter-spacing: 0; }
button, input, select { font: inherit; }
button, a, input, select, summary { -webkit-tap-highlight-color: transparent; }
button, select, summary { cursor: pointer; }
a { color: var(--accent); text-decoration: none; text-underline-offset: 4px; }
a:hover { color: var(--accent-dark); text-decoration: underline; }
button { color: inherit; }
button:focus-visible, a:focus-visible, summary:focus-visible, select:focus-visible, input:focus-visible, pre:focus-visible { outline: 2px solid var(--accent); outline-offset: 4px; }
button:disabled { cursor: default; opacity: .6; }
h1, h2, h3, h4, p { margin-top: 0; }
h1, h2 { font-family: var(--serif); font-weight: 400; line-height: 1.2; }
h2 { font-size: 34px; margin-bottom: 23px; }
h3 { line-height: 1.45; }
p { margin-bottom: 20px; }
strong { font-weight: 600; }
.icon { width: 21px; height: 21px; flex: none; vertical-align: middle; fill: none; stroke: currentColor; stroke-width: 1.65; stroke-linecap: round; stroke-linejoin: round; }
.icon.tiny { width: 15px; height: 15px; }
.sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0, 0, 0, 0); white-space: nowrap; border: 0; }
.skip-link { position: fixed; top: -70px; left: 16px; padding: 8px 16px; background: var(--accent); color: white; z-index: 20; }
.skip-link:focus { top: 10px; }
.site-header { position: sticky; top: 0; z-index: 10; height: 76px; background: #1b4d35; border-bottom: 1px solid #173f2c; }
.navigation { max-width: 1160px; height: 100%; padding: 0 28px; margin: 0 auto; display: flex; align-items: center; justify-content: space-between; gap: 28px; }
.wordmark { color: var(--white); font: 700 23px/1 var(--serif); white-space: nowrap; }
.wordmark:hover { color: var(--white); text-decoration: none; }
.wordmark-dot { color: var(--white); }
.navigation-links { display: flex; align-items: center; gap: 27px; height: 100%; font-size: 14px; }
.navigation-links a { display: inline-flex; align-items: center; gap: 4px; color: var(--white); white-space: nowrap; }
.navigation-links .nav-link { position: relative; height: 100%; }
.navigation-links .nav-link.is-active { color: var(--white); }
.nav-link.is-active::after { position: absolute; bottom: 17px; left: 0; right: 0; height: 2px; background: var(--white); content: ""; }
.navigation-links .nav-cv { border-left: 1px solid rgba(255,255,255,.3); padding-left: 24px; color: var(--white); gap: 7px; }
.site-header :focus-visible { outline-color: var(--white); }
.site-header .icon-button:hover { background: rgba(255,255,255,.12); color: var(--white); }
.menu-toggle { display: none !important; }
.page-layout { max-width: 1160px; padding: 64px 28px 0; margin: 0 auto; display: grid; grid-template-columns: 264px minmax(0, 1fr); gap: 72px; align-items: start; }
.profile { position: sticky; top: 126px; text-align: center; }
.profile-photo-frame { width: 208px; height: 208px; aspect-ratio: 1; margin: 0 auto 23px; border-radius: 50%; overflow: hidden; }
.profile-photo { display: block; width: 100%; height: 100%; object-fit: cover; transform: scale(1.5); transform-origin: 100% 0%; }
.profile h1 { font-size: 34px; margin-bottom: 10px; }
.profile-title { font-size: 17px; color: #505752; line-height: 1.5; margin-bottom: 16px; }
.profile-institution { font: 18px/1.45 var(--serif); color: var(--accent); margin-bottom: 9px; }
.profile-appointment { font-size: 12px; line-height: 1.6; color: var(--muted); margin-bottom: 17px; }
.profile-location { display: flex; justify-content: center; align-items: center; gap: 5px; color: var(--muted); font-size: 13px; }
.profile-location .icon { width: 15px; height: 15px; }
.social-links { display: flex; align-items: center; justify-content: center; gap: 7px; margin: 20px 0 16px; }
.icon-button { display: inline-flex; align-items: center; justify-content: center; width: 38px; height: 38px; background: transparent; border: 0; border-radius: 4px; padding: 0; color: var(--accent); position: relative; }
.icon-button:hover { background: var(--soft); color: var(--accent-dark); text-decoration: none; }
.social-links .icon { width: 24px; height: 24px; }
[data-tooltip]::after { display: none; content: attr(data-tooltip); position: absolute; bottom: calc(100% + 7px); left: 50%; transform: translateX(-50%); padding: 4px 8px; border-radius: 3px; background: #303b36; color: white; font-size: 11px; line-height: 1.5; white-space: nowrap; z-index: 6; pointer-events: none; }
[data-tooltip]:hover::after, [data-tooltip]:focus-visible::after { display: block; }
.cv-download { display: inline-flex; align-items: center; gap: 8px; font-size: 13px; padding: 10px 12px; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.cv-download .icon { width: 17px; height: 17px; }
.cv-download span { color: var(--muted); font-size: 10px; margin-left: 6px; }
main { min-width: 0; }
section { scroll-margin-top: 103px; }
.eyebrow { font-size: 10px; text-transform: uppercase; color: var(--muted); margin: 0 0 12px; font-weight: 600; }
.about-section h2 { font-size: 39px; margin-bottom: 22px; }
.biography { font-size: 16px; line-height: 1.8; }
.biography p { margin-bottom: 18px; }
.biography a { border-bottom: 1px solid #c1d9d0; }
.biography a:hover { text-decoration: none; border-color: var(--accent); }
.about-details { display: grid; grid-template-columns: 1fr 1.12fr; gap: 32px; padding-top: 20px; }
.about-details h3 { font: 400 21px/1.4 var(--serif); margin-bottom: 15px; }
.interest-list { padding: 0 0 0 16px; margin: 0; font-size: 13px; line-height: 1.65; }
.interest-list li { padding-left: 3px; margin-bottom: 9px; }
.interest-list li::marker { color: var(--accent); }
.education-list { padding: 0; margin: 0; list-style: none; }
.education-list li { display: flex; gap: 11px; align-items: flex-start; margin-bottom: 17px; }
.education-list .icon { width: 20px; height: 20px; margin-top: 2px; color: #65756b; }
.education-list strong { font-size: 13px; line-height: 1.5; display: block; font-weight: 500; }
.education-list span { display: block; color: var(--muted); font-size: 11px; line-height: 1.6; margin-top: 2px; }
.education-list time { display: block; font-size: 10px; color: #7a817b; line-height: 1.6; }
.content-section { margin-top: 52px; padding-top: 40px; border-top: 1px solid var(--line); }
.section-heading { display: flex; justify-content: space-between; align-items: center; gap: 14px; }
.section-heading h2 { margin-bottom: 12px; }
.quiet-link { display: inline-flex; align-items: center; gap: 5px; font-size: 12px; white-space: nowrap; }
.quiet-link .icon { width: 15px; height: 15px; }
.section-note { color: var(--muted); font-size: 12px; margin-bottom: 24px; }
.publication-controls { margin-bottom: 15px; }
.segmented-control { display: inline-flex; border: 1px solid var(--line); border-radius: 4px; padding: 3px; gap: 3px; margin-bottom: 14px; }
.segmented-control button { min-width: 100px; height: 33px; padding: 0 12px; background: transparent; border: 0; border-radius: 2px; font-size: 12px; }
.segmented-control button[aria-pressed="true"] { background: var(--accent); color: var(--white); }
.segmented-control button span { font-size: 10px; opacity: .75; margin-left: 3px; }
.filter-row { display: flex; gap: 9px; }
.search-field { display: flex; align-items: center; border: 1px solid var(--line); border-radius: 4px; min-width: 120px; flex: 1; padding-left: 11px; }
.search-field .icon { width: 16px; height: 16px; color: var(--muted); }
.search-field input { width: 100%; min-width: 0; border: 0; background: transparent; padding: 9px; font-size: 12px; outline-offset: -2px; height: 39px; }
.search-field input::placeholder { color: #7a807c; }
.select-field select { height: 41px; max-width: 100%; border: 1px solid var(--line); border-radius: 4px; background: white; font-size: 12px; padding: 0 25px 0 9px; color: #515854; }
.result-count { font-size: 11px; color: var(--muted); margin: 0 0 8px; min-height: 19px; }
.publication-year-heading { font: 400 20px/1.3 var(--serif); color: #7a817b; margin: 26px 0 5px; }
.publication { padding: 19px 0 20px; border-bottom: 1px solid var(--line); }
.publication:last-child { border-bottom: 0; }
.paper-meta { display: flex; align-items: center; gap: 9px; font-size: 10px; color: var(--muted); margin-bottom: 6px; }
.paper-kind { display: inline-block; width: 6px; height: 6px; border-radius: 50%; background: #71988c; }
.paper-kind.preprint { background: #b39b62; }
.paper-title { font: 400 20px/1.4 var(--serif); margin-bottom: 8px; }
.paper-title a { color: var(--ink); }
.paper-title a:hover { color: var(--accent); }
.paper-authors { font-size: 12px; color: #6f756f; line-height: 1.75; margin-bottom: 5px; }
.paper-authors strong { color: #414c44; }
.paper-authors sup { font-size: 9px; margin-left: 1px; }
.paper-venue { font-size: 12px; line-height: 1.6; margin-bottom: 8px; }
.paper-venue em { font-style: normal; font-weight: 500; }
.paper-actions { display: flex; align-items: center; gap: 18px; font-size: 11px; min-height: 26px; }
.paper-actions a, .paper-actions button { display: inline-flex; align-items: center; gap: 4px; }
.paper-actions .icon { width: 13px; height: 13px; }
.paper-actions button { padding: 2px 0; border: 0; background: none; color: var(--accent); font-size: 11px; }
.paper-actions button:hover { text-decoration: underline; }
.paper-summary { margin: 8px 0 11px; font-size: 12px; color: #747a75; }
.no-results { padding: 30px 0; color: var(--muted); }
.reset-filters { border: 0; background: none; padding: 0; font-size: 13px; color: var(--accent); text-decoration: underline; }
.software-item { display: grid; grid-template-columns: 28px minmax(0,1fr); gap: 10px; padding: 24px 0; border-bottom: 1px solid var(--line); position: relative; }
.software-index { font-size: 10px; color: #939c94; padding-top: 5px; font-variant-numeric: tabular-nums; }
.software-item h3 { font: 400 22px/1.3 var(--serif); margin-bottom: 7px; }
.software-item h3 a { color: var(--ink); display: inline-flex; align-items: center; gap: 6px; }
.software-item h3 a:hover { color: var(--accent); }
.software-item h3 .icon { width: 16px; height: 16px; color: var(--accent); }
.software-item p { font-size: 13px; line-height: 1.65; margin-bottom: 8px; color: #5c645e; max-width: 530px; }
.software-field { font-size: 10px; color: #7d857f; }
.software-paper { grid-column: 2; font-size: 10px; width: fit-content; line-height: 1.6; }
.more-software { margin-top: 23px; }
.more-software summary { list-style: none; display: flex; justify-content: space-between; align-items: center; font-size: 13px; color: var(--accent); }
.more-software summary::-webkit-details-marker { display: none; }
.more-software summary .icon { width: 16px; height: 16px; }
.more-software[open] summary .icon { transform: rotate(180deg); }
.software-links { display: flex; flex-wrap: wrap; gap: 7px 18px; margin-top: 18px; font-size: 12px; }
.more-software h4 { font: 400 16px/1.5 var(--serif); margin: 25px 0 -9px; }
.presentation-list { list-style: none; margin: 0; padding: 0; }
.presentation-list li { display: grid; grid-template-columns: 45px minmax(0,1fr); gap: 15px; margin-bottom: 25px; }
.presentation-list time { font-size: 11px; color: var(--muted); padding-top: 3px; }
.presentation-list h3 { font: 400 16px/1.5 var(--serif); margin: 0 0 6px; }
.presentation-list p { font-size: 11px; color: var(--muted); margin: 0; }
.contact-section { padding-bottom: 12px; }
.contact-email { display: inline-flex; align-items: center; gap: 12px; font-size: 17px; margin-bottom: 9px; }
.contact-section p { font-size: 12px; color: var(--muted); margin-left: 33px; margin-bottom: 19px; }
.contact-links { display: flex; gap: 22px; flex-wrap: wrap; font-size: 12px; margin-left: 33px; }
.site-footer { display: flex; justify-content: space-between; flex-wrap: wrap; gap: 15px; border-top: 1px solid var(--line); padding: 28px 0; margin-top: 45px; font-size: 10px; color: #7d857f; }
.site-footer a { color: var(--muted); display: inline-flex; align-items: center; gap: 5px; }
dialog { border: 1px solid var(--line); border-radius: 6px; padding: 25px; width: min(700px, calc(100% - 32px)); max-height: calc(100dvh - 48px); color: var(--ink); box-shadow: 0 16px 65px rgba(22,42,30,.15); }
dialog::backdrop { background: rgba(18,30,24,.35); }
.dialog-header { display: flex; align-items: center; justify-content: space-between; gap: 10px; }
.dialog-header h2 { font-size: 26px; margin: 0; }
.dialog-header .icon-button { color: var(--muted); }
#citation-paper-title { font-size: 13px; color: var(--muted); margin: 12px 0 17px; }
#citation-text { background: var(--soft); border: 1px solid var(--line); border-radius: 4px; white-space: pre-wrap; overflow-wrap: anywhere; padding: 18px; font: 12px/1.7 ui-monospace, SFMono-Regular, Consolas, monospace; max-height: 40dvh; overflow-y: auto; }
.dialog-actions { display: flex; flex-wrap: wrap; gap: 10px; margin-top: 19px; }
.dialog-actions button { display: inline-flex; gap: 7px; align-items: center; border-radius: 4px; padding: 9px 13px; font-size: 12px; border: 1px solid var(--accent); }
.dialog-actions .icon { width: 16px; height: 16px; }
.primary-button { background: var(--accent); color: white; }
.secondary-button { background: white; color: var(--accent); }
.citation-feedback { min-height: 20px; font-size: 12px; color: var(--accent); margin: 10px 0 0; }
@media (min-width: 1500px) { .page-layout { padding-top: 76px; } }
@media (max-width: 1050px) {
  .page-layout { grid-template-columns: 232px minmax(0,1fr); gap: 42px; }
  .profile-photo-frame { width: 188px; height: 188px; }
  .profile h1 { font-size: 30px; }
  .profile-title { font-size: 15px; }
  .navigation-links { gap: 20px; }
  .about-details { gap: 22px; }
}
@media (max-width: 820px) {
  .site-header { height: 67px; }
  .navigation { padding: 0 22px; gap: 10px; }
  .wordmark { font-size: 21px; }
  .navigation-links { gap: 15px; font-size: 12px; }
  .navigation-links .nav-cv { padding-left: 15px; }
  .page-layout { padding: 42px 24px 0; display: block; max-width: 740px; }
  .profile { position: static; margin-bottom: 48px; }
  .profile-photo-frame { width: 180px; height: 180px; margin-bottom: 19px; }
  .profile h1 { font-size: 32px; }
  .profile-institution br { display: none; }
  .profile-title { margin-bottom: 8px; }
  .profile-appointment { margin-bottom: 10px; }
  .profile-location { font-size: 12px; }
  .social-links { margin: 13px 0; }
  .cv-download { padding: 8px 16px; }
  .about-section h2 { font-size: 35px; }
  .about-details { gap: 25px; grid-template-columns: 1fr 1fr; }
  .content-section { margin-top: 43px; padding-top: 33px; }
}
@media (max-width: 590px) {
  section { scroll-margin-top: 88px; }
  .site-header { height: 63px; }
  .navigation { padding: 0 22px; }
  .menu-toggle { display: inline-flex !important; color: var(--white); }
  .navigation-links { display: none; position: absolute; top: 62px; left: 0; right: 0; height: auto; padding: 12px 22px 20px; background: #1b4d35; border-bottom: 1px solid #173f2c; flex-wrap: wrap; gap: 10px 25px; align-items: center; box-shadow: 0 8px 12px rgba(20,40,26,.03); }
  .navigation-links.is-open { display: flex; }
  .navigation-links .nav-link { height: 35px; }
  .navigation-links .nav-link.is-active::after { bottom: 0; }
  .navigation-links .nav-cv { padding-left: 0; border: 0; }
  .page-layout { padding: 32px 23px 0; }
  .profile { margin-bottom: 38px; }
  .profile-photo-frame { width: 158px; height: 158px; margin-bottom: 17px; }
  .profile h1 { font-size: 30px; }
  .profile-title { font-size: 15px; }
  .profile-institution { font-size: 17px; }
  .profile-appointment { font-size: 11px; }
  .about-section h2 { font-size: 32px; }
  .eyebrow { font-size: 9px; }
  .biography { font-size: 15px; line-height: 1.8; }
  .about-details { grid-template-columns: 1fr; gap: 24px; padding-top: 10px; }
  .about-details h3 { font-size: 21px; margin-bottom: 14px; }
  .interest-list { font-size: 13px; }
  .education-list strong { font-size: 13px; }
  .education-list span { font-size: 12px; }
  .education-list time { font-size: 11px; }
  .education-list li:last-child { margin-bottom: 0; }
  h2 { font-size: 29px; }
  .section-note { font-size: 11px; }
  .filter-row { flex-wrap: wrap; gap: 8px; }
  .search-field { flex-basis: 100%; }
  .select-field { flex: 1; min-width: 0; }
  .select-field select { width: 100%; }
  .paper-title { font-size: 19px; }
  .paper-authors { font-size: 11px; }
  .software-item { grid-template-columns: 23px minmax(0,1fr); gap: 8px; }
  .software-item h3 { font-size: 21px; }
  .software-item p { font-size: 12px; }
  .presentation-list li { grid-template-columns: 36px minmax(0,1fr); gap: 13px; }
  .presentation-list h3 { font-size: 15px; }
  .section-heading { align-items: flex-start; }
  .quiet-link { margin-top: 8px; }
  .contact-email { font-size: 16px; }
  .contact-links { margin-left: 0; gap: 20px; }
  .site-footer { font-size: 10px; }
  dialog { padding: 19px; }
  .dialog-header h2 { font-size: 23px; }
}
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } }
