/* IBM Plex, self-hosted (SIL Open Font License, see assets/fonts/LICENSE-OFL.txt):
   no requests to Google Fonts, so visitors' IP addresses are not sent to third parties. */
@font-face { font-family: "IBM Plex Sans"; font-style: normal; font-weight: 400; font-display: swap;
  src: url("../fonts/ibm-plex-sans-latin-ext-400.woff2") format("woff2"); unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF; }
@font-face { font-family: "IBM Plex Sans"; font-style: normal; font-weight: 400; font-display: swap;
  src: url("../fonts/ibm-plex-sans-latin-400.woff2") format("woff2"); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }
@font-face { font-family: "IBM Plex Sans"; font-style: normal; font-weight: 500; font-display: swap;
  src: url("../fonts/ibm-plex-sans-latin-ext-500.woff2") format("woff2"); unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF; }
@font-face { font-family: "IBM Plex Sans"; font-style: normal; font-weight: 500; font-display: swap;
  src: url("../fonts/ibm-plex-sans-latin-500.woff2") format("woff2"); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }
@font-face { font-family: "IBM Plex Sans"; font-style: normal; font-weight: 600; font-display: swap;
  src: url("../fonts/ibm-plex-sans-latin-ext-600.woff2") format("woff2"); unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF; }
@font-face { font-family: "IBM Plex Sans"; font-style: normal; font-weight: 600; font-display: swap;
  src: url("../fonts/ibm-plex-sans-latin-600.woff2") format("woff2"); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }
@font-face { font-family: "IBM Plex Sans"; font-style: normal; font-weight: 700; font-display: swap;
  src: url("../fonts/ibm-plex-sans-latin-ext-700.woff2") format("woff2"); unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF; }
@font-face { font-family: "IBM Plex Sans"; font-style: normal; font-weight: 700; font-display: swap;
  src: url("../fonts/ibm-plex-sans-latin-700.woff2") format("woff2"); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }
@font-face { font-family: "IBM Plex Mono"; font-style: normal; font-weight: 500; font-display: swap;
  src: url("../fonts/ibm-plex-mono-latin-ext-500.woff2") format("woff2"); unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF; }
@font-face { font-family: "IBM Plex Mono"; font-style: normal; font-weight: 500; font-display: swap;
  src: url("../fonts/ibm-plex-mono-latin-500.woff2") format("woff2"); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }

/* ==================================================================
   Institutional look (layered on style.css)
   A confident research-institute look: full-bleed blue hero, one sans
   family throughout, a colour per research line carried across cards,
   photo-forward team, alternating white / grey bands, generous radius.
   ================================================================== */

:root {
  --bg: #ffffff; --surface: #ffffff; --surface-2: #eef2f7;
  --ink: #0f172a; --ink-2: #334155; --muted: #64748b; --line: #e2e8f0;
  --accent: #0a5c94; --accent-soft: #e3eef8; --accent-ink: #fff;
  --c-ai: #6d28d9; --c-ir: #0a5c94; --c-cloud: #0f766e; --c-mob: #c2410c;
  --shadow: 0 1px 2px rgba(15,23,42,.05), 0 12px 32px rgba(15,23,42,.08);
  --radius: 18px;
  --band-hero: linear-gradient(135deg, #0a3d66 0%, #0a5c94 55%, #1a7fbf 100%);
  --band-research: #ffffff; --band-lab: #f3f6fa; --band-projects: #f3f6fa;
  --band-pubs: #ffffff; --band-awards: #f3f6fa; --band-contact: #0a3d66;
  --serif: "IBM Plex Sans", system-ui, sans-serif;
  --sans: "IBM Plex Sans", system-ui, sans-serif;
}
:root[data-theme="dark"] {
  --bg: #0c1422; --surface: #121c2e; --surface-2: #18243a; --ink: #e8eef7; --ink-2: #bac6d8; --muted: #8796ad; --line: #22304a;
  --accent: #6cb6ea; --accent-soft: #12304a; --accent-ink: #061420;
  --c-ai: #a78bfa; --c-ir: #6cb6ea; --c-cloud: #2dd4bf; --c-mob: #fb923c;
  --band-research: #0c1422; --band-lab: #0f1828; --band-projects: #0f1828; --band-pubs: #0c1422; --band-awards: #0f1828; --band-contact: #071021;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #0c1422; --surface: #121c2e; --surface-2: #18243a; --ink: #e8eef7; --ink-2: #bac6d8; --muted: #8796ad; --line: #22304a;
    --accent: #6cb6ea; --accent-soft: #12304a; --accent-ink: #061420;
    --c-ai: #a78bfa; --c-ir: #6cb6ea; --c-cloud: #2dd4bf; --c-mob: #fb923c;
    --band-research: #0c1422; --band-lab: #0f1828; --band-projects: #0f1828; --band-pubs: #0c1422; --band-awards: #0f1828; --band-contact: #071021;
  }
}

body {
  h1, h2, h3 { font-weight: 600; letter-spacing: -.02em; }
  .section { padding-top: 96px; padding-bottom: 96px; }
  .eyebrow { font-family: "IBM Plex Mono", monospace; letter-spacing: .06em; }

  /* hero: full-bleed blue */
  .hero {
    --ink: #ffffff; --ink-2: #dbe9f6; --muted: #a9c6e2; --line: rgba(255,255,255,.22); --accent: #ffd27a;
    color: var(--ink); padding-top: 112px; padding-bottom: 104px;
  }
  /* the lab mark as a faint watermark on the right of the hero */
  .hero::after {
    content: ""; position: absolute; z-index: -1; pointer-events: none;
    right: 0; top: 50%; width: min(620px, 62vw); aspect-ratio: 1; transform: translateY(-50%);
    background: #fff; opacity: .07;
    -webkit-mask: url("../img/hpc-mark.svg") center / contain no-repeat;
            mask: url("../img/hpc-mark.svg") center / contain no-repeat;
  }
  @media (max-width: 760px) { .hero::after { top: 24px; width: 80vw; transform: none; opacity: .06; } }
  .hero h1 { font-size: clamp(2.6rem, 6vw, 4.4rem); line-height: 1.04; font-weight: 600; }
  .hero h1 em { font-style: normal; color: #ffd27a; }
  .lede { font-size: 1.15rem; }
  .lede a.hl { color: #fff; background: rgba(255,255,255,.12); border-radius: 4px; padding: 0 4px; }
  .stats { gap: 14px; }
  .stats div { border: 0; background: rgba(255,255,255,.1); border-radius: 14px; padding: 16px 18px; }
  .stats dt { font-weight: 600; font-size: 2.2rem; }
  .btn { border-radius: 10px; }
  .hero .btn { background: rgba(255,255,255,.1); color: #fff; border-color: rgba(255,255,255,.3); }
  .hero .btn-primary { background: #fff; color: #0a3d66; border-color: #fff; }

  /* research lines: one colour each */
  .theme { border: 0; border-top: 6px solid var(--c, var(--accent)); border-radius: var(--radius); padding: 30px; }
  #line-ai { --c: var(--c-ai); } #line-ir { --c: var(--c-ir); } #line-cloud { --c: var(--c-cloud); } #line-mobility { --c: var(--c-mob); }
  .theme-num { display: inline-grid; place-items: center; width: 40px; height: 40px; border-radius: 12px; background: var(--c); color: #fff; font-weight: 600; }
  .theme .more, .theme-papers .v { color: var(--c); }
  .theme h3 { font-size: 1.4rem; }

  /* cards */
  .card, .result-card, .contact-block { border: 0; box-shadow: var(--shadow); }
  .result-card { border-left: 4px solid var(--gold); }

  /* team: photo-forward */
  .people-grid { grid-template-columns: repeat(auto-fill, minmax(170px, 1fr)); gap: 16px; }
  .person { flex-direction: column; text-align: center; padding: 22px 14px 18px; border: 0; box-shadow: var(--shadow); border-radius: 16px; }
  .person .avatar { width: 96px; height: 96px; font-size: 1.4rem; }
  .people-grid.compact { grid-template-columns: repeat(auto-fill, minmax(210px, 1fr)); }
  .people-grid.compact .person { flex-direction: row; text-align: left; padding: 12px 14px; box-shadow: none; border: 1px solid var(--line); }
  .people-grid.compact .avatar { width: 40px; height: 40px; }

  .pill { border-radius: 10px; }
  .pub-year, .t-year { font-weight: 600; color: var(--accent); }
  .top-cited li::before { font-weight: 600; color: var(--accent); }
  .cite-n { font-weight: 600; color: var(--accent); }
}
@media (max-width: 640px) {
  body .people-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  body .person .avatar { width: 72px; height: 72px; }
}

/* ---------- publications page: plain header on the page background ---------- */
.page-head { padding-top: 56px; }
.page-head h1 { font-size: clamp(2.2rem, 4.5vw, 3rem); line-height: 1.1; margin-bottom: 1rem; }
.page-head .section-lede { margin-top: 0; }
.nav-links a[aria-current="page"] { color: var(--accent); background: var(--accent-soft); }

@media (max-width: 640px) {
  .page-head { padding-top: 32px; }
}
.stats dt a.stat-link { color: inherit; }
.stats dt a.stat-link:hover { text-decoration: underline; text-underline-offset: 4px; }