/*
 * Site style: white paper and ink for reading (Newsreader for headings, Instrument Sans for text),
 * Padova red for the university accents, and one color per research line, used in the map,
 * the publication chart, the line chips and the cards.
 */
:root {
  --paper: #ffffff;
  --mist: #f3f5f8;
  --mist-2: #e9edf2;
  --ink: #1d2129;
  --ink-2: #545c68;
  --ink-3: #7f8792;
  --rule: #e1e5ea;
  --rule-2: #cfd5dd;
  --red: #b20e10;
  --red-deep: #8c0c0f;
  --red-soft: #fbeced;
  --gold: #8a5a00;
  --gold-soft: #fdf2d8;
  --mark: #fde9a8;
  --serif: "Newsreader", "Iowan Old Style", Georgia, serif;
  --sans: "Instrument Sans", "Helvetica Neue", Arial, sans-serif;
  --mono: ui-monospace, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace;
  --max: 1240px;
  --gut: clamp(16px, 4vw, 48px);
  /* research lines and publication types: the Tableau 10 palette, with the hex values of d3-scale-chromatic
     (schemeTableau10). Types reuse three of its hues; "other" takes the dark gray #79706e, since the gray of
     Tableau 10 (#bab0ab) reaches 2.1:1 on white. Line colors also live in data/publications.js (SITE.lines). */
  --l-kg: #4e79a7; --l-citation: #e15759; --l-ir: #76b7b2; --l-llm: #f28e2c; --l-nlp: #af7aa1;
  --l-bio: #59a14f; --l-integ: #edc949; --l-dl: #9c755f; --l-fair: #ff9da7;
  --g-journal: #4e79a7; --g-conference: #f28e2c; --g-workshop: #76b7b2; --g-other: #79706e;
  color-scheme: light;
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 400 16px/1.55 var(--sans); }
a { color: inherit; text-decoration-thickness: 1px; text-underline-offset: 3px; }
a:hover { color: var(--red); }
:focus-visible { outline: 2px solid var(--red); outline-offset: 2px; border-radius: 3px; }
img { max-width: 100%; display: block; }
button { font-family: inherit; }
.wrap { max-width: var(--max); margin: 0 auto; padding: 0 var(--gut); }
.sr { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }
.skip { position: absolute; left: 8px; top: -60px; background: var(--ink); color: #fff; padding: 8px 12px; border-radius: 6px; z-index: 50; }
.skip:focus { top: 8px; color: #fff; }

/* ---------------------------------------------------------------- header */
.site-head { border-top: 5px solid var(--red); border-bottom: 1px solid var(--rule); background: var(--paper); }
.site-head .wrap { display: flex; align-items: center; justify-content: space-between; gap: 24px; min-height: 76px; }
.brand { display: flex; align-items: center; gap: 14px; text-decoration: none; }
.brand img { width: 44px; height: auto; }
.brand-name { font: 500 19.5px/1.1 var(--serif); letter-spacing: -0.005em; display: block; }
.brand-sub { font-size: 13px; color: var(--ink-2); display: block; margin-top: 3px; }
.brand:hover { color: var(--ink); }
.nav { display: flex; gap: 4px 6px; flex-wrap: wrap; font-size: 15px; }
.nav a { text-decoration: none; color: var(--ink-2); padding: 6px 10px; border-radius: 99px; }
.nav a:hover { color: var(--ink); background: var(--mist); }
.nav a[aria-current="page"] { color: var(--red); background: var(--red-soft); font-weight: 600; }

/* ---------------------------------------------------------------- shared pieces */
.kicker { font: 600 12.5px/1.2 var(--sans); letter-spacing: .08em; text-transform: uppercase; color: var(--red); margin: 0 0 10px; }
.lchip { --c: var(--ink-3); display: inline-flex; align-items: center; gap: 6px; font: 500 12.5px/1.2 var(--sans); color: var(--ink); background: #fff;
  background: color-mix(in srgb, var(--c) 9%, #fff); border: 1px solid color-mix(in srgb, var(--c) 32%, #fff); border-radius: 99px; padding: 3px 9px 3px 7px; }
.lchip::before { content: ""; width: 8px; height: 8px; border-radius: 50%; background: var(--c); flex: none; }
button.lchip { cursor: pointer; }
button.lchip:hover { border-color: var(--c); }
.vtag { display: inline-block; font: 600 12px/1 var(--sans); letter-spacing: .03em; color: #fff; background: var(--ink); border: 0; border-radius: 4px; padding: 4px 7px; white-space: nowrap; }
button.vtag { cursor: pointer; }
button.vtag:hover { background: var(--red); }
.btn { display: inline-flex; align-items: center; gap: 8px; font: 600 14.5px/1 var(--sans); text-decoration: none; color: var(--ink); background: #fff; border: 1px solid var(--rule-2); border-radius: 8px; padding: 9px 14px; }
.btn:hover { border-color: var(--ink-3); color: var(--ink); }
.btn.is-main { background: var(--red); border-color: var(--red); color: #fff; }
.btn.is-main:hover { background: var(--red-deep); color: #fff; }
.btn-n { font: 600 12.5px/1 var(--sans); background: var(--mist-2); border-radius: 99px; padding: 3px 7px; }
.btn.is-main .btn-n { background: rgba(255, 255, 255, .22); }

/* ---------------------------------------------------------------- home: hero */
.hero { background: var(--mist); border-bottom: 1px solid var(--rule); padding: 48px 0 44px; }
.hero > .wrap { display: grid; grid-template-columns: minmax(300px, 4fr) 8fr; gap: 44px; align-items: start; }
.hero-text { padding-top: 6px; }
.hero-portrait { width: 128px; aspect-ratio: 4 / 5; object-fit: cover; border-radius: 6px; margin-bottom: 26px; box-shadow: 0 0 0 4px #fff, 0 6px 20px rgba(29, 33, 41, .12); }
.hero h1 { font: 450 clamp(42px, 5vw, 66px)/0.98 var(--serif); letter-spacing: -0.02em; margin: 0 0 16px; font-variation-settings: "opsz" 72; }
.hero .role { font-size: 16.5px; color: var(--ink-2); margin: 0 0 20px; max-width: 34ch; }
.hero .summary { font: 400 19.5px/1.5 var(--serif); margin: 0 0 24px; max-width: 34em; }
.profile-links { display: flex; flex-wrap: wrap; gap: 8px; margin: 0; padding: 0; list-style: none; }

.map-figure { margin: 0; position: relative; background: var(--paper); border: 1px solid var(--rule); border-radius: 16px; padding: 14px 14px 12px; box-shadow: 0 1px 2px rgba(16, 24, 40, .04), 0 12px 32px rgba(16, 24, 40, .06); }
.map { width: 100%; height: auto; display: block; overflow: visible; }
.map .edges line { stroke: #d3d9e0; stroke-width: 1.15; transition: stroke .2s, opacity .2s; }
.map .mk { fill: var(--ink); stroke: var(--paper); stroke-width: 1.5; transition: fill .2s, stroke .2s, opacity .2s; }
.map .mk-course { fill: var(--paper); stroke: var(--ink); stroke-width: 2.2; }
.map .is-hidden, .map .is-off { opacity: 0 !important; pointer-events: none; }
.map .is-off { display: none; }
.map.has-focus .mk { opacity: 0.12 !important; }
.map.has-focus .edges line { opacity: 0.3; }
.map.has-focus .edges line.is-match { opacity: 1; stroke: var(--hl); stroke-width: 1.6; }
.map.has-focus .mk.is-match { opacity: 1 !important; fill: var(--hl); }
.map.has-focus .mk-course.is-match { fill: #fff; fill: color-mix(in srgb, var(--hl) 22%, #fff); stroke: var(--hl); }
.map .mk.is-hover { opacity: 1 !important; stroke: var(--ink); stroke-width: 2.4; }
.map-labels { position: absolute; left: 14px; top: 14px; pointer-events: none; }
.map-lbl { --c: var(--ink-3); position: absolute; left: 0; top: 0; pointer-events: auto; background: rgba(255, 255, 255, .92); border: 1px solid transparent; border-radius: 6px; padding: 3px 8px 3px; cursor: pointer; text-align: left; color: var(--ink); line-height: 1.15; box-shadow: 0 1px 3px rgba(16, 24, 40, .08); }
.map-lbl span { display: flex; align-items: center; gap: 6px; font: 600 14px/1.2 var(--sans); white-space: nowrap; }
.map-lbl i { width: 9px; height: 9px; border-radius: 50%; background: var(--c); flex: none; }
.map-lbl small { display: block; font: 400 12px var(--sans); color: var(--ink-3); padding-left: 15px; }
.map-lbl:hover, .map-lbl.is-on { border-color: var(--c); background: #fff; background: color-mix(in srgb, var(--c) 10%, #fff); }
.map-lbl { transition: opacity .2s, background-color .2s, border-color .2s; }
.map-labels.has-focus .map-lbl:not(.is-on) { opacity: .22; }
.map-labels.has-focus .map-lbl:not(.is-on):hover { opacity: 1; }
.map-legend { margin-top: 10px; padding-top: 10px; border-top: 1px solid var(--rule); }
.map-kinds { display: flex; flex-wrap: wrap; gap: 6px; margin-bottom: 8px; }
.map-kind { display: inline-flex; align-items: center; gap: 7px; font: 600 13px/1 var(--sans); color: var(--ink); background: #fff; border: 1px solid var(--rule-2); border-radius: 99px; padding: 6px 11px 6px 9px; cursor: pointer; }
.map-kind svg { width: 14px; height: 14px; fill: var(--ink); }
.map-kind.k-course svg { fill: #fff; stroke: var(--ink); stroke-width: 2; }
.map-kind[aria-pressed="false"] { color: var(--ink-3); background: var(--mist); text-decoration: line-through; }
.map-kind[aria-pressed="false"] svg { opacity: .35; }
.map-lines { list-style: none; margin: 0; padding: 0; display: flex; flex-wrap: wrap; gap: 4px 6px; }
.map-line { --c: var(--ink-3); display: inline-flex; align-items: center; gap: 6px; font: 500 12.5px/1.2 var(--sans); color: var(--ink-2); background: none; border: 1px solid transparent; border-radius: 99px; padding: 3px 9px 3px 7px; cursor: pointer; }
.map-line i { width: 9px; height: 9px; border-radius: 50%; background: var(--c); }
.map-line:hover, .map-line.is-on { color: var(--ink); border-color: var(--c); background: color-mix(in srgb, var(--c) 9%, #fff); }
.map-line[aria-pressed="true"] { font-weight: 700; color: var(--ink); border-color: var(--c); }
.map-readout { margin: 10px 0 0; font-size: 13.5px; color: var(--ink-2); min-height: 2.9em; }
.map-readout b { --c: var(--ink); display: inline-flex; align-items: center; gap: 6px; color: var(--ink); }
.map-readout b i { width: 9px; height: 9px; border-radius: 50%; background: var(--c); }
.map-caption { display: flex; justify-content: space-between; gap: 16px; font-size: 13px; color: var(--ink-3); margin-top: 6px; }
.map-caption .yr { font-variant-numeric: tabular-nums; color: var(--ink-2); white-space: nowrap; }
.map-tip { position: absolute; pointer-events: none; max-width: 320px; background: var(--paper); border: 1px solid var(--rule); box-shadow: 0 8px 26px rgba(16, 24, 40, .14); padding: 10px 12px; font-size: 13.5px; line-height: 1.4; border-radius: 8px; z-index: 5; }
.map-tip b { display: block; font: 500 15.5px/1.3 var(--serif); margin: 2px 0 4px; }
.map-tip span { color: var(--ink-2); display: block; }
.map-tip .map-tip-k { display: flex; align-items: center; gap: 6px; font: 600 11.5px var(--sans); text-transform: uppercase; letter-spacing: .06em; color: var(--ink-3); }
.map-tip .map-tip-k i { --c: var(--ink-3); width: 8px; height: 8px; border-radius: 50%; background: var(--c); margin-left: 6px; }

/* ---------------------------------------------------------------- sections */
.section { padding: 56px 0; }
.section + .section { border-top: 1px solid var(--rule); }
.section.tint { background: var(--mist); border-top: 1px solid var(--rule); border-bottom: 1px solid var(--rule); }
.section h2 { font: 450 32px/1.15 var(--serif); letter-spacing: -0.01em; margin: 0 0 8px; }
.section .lede { color: var(--ink-2); margin: 0 0 28px; max-width: 64ch; }
.line-cards { list-style: none; margin: 0; padding: 0; display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 14px; }
.line-card a { --c: var(--ink-3); display: flex; flex-direction: column; height: 100%; text-decoration: none; color: var(--ink); background: #fff;
  background: color-mix(in srgb, var(--c) 5%, #fff); border: 1px solid var(--rule); border-top: 4px solid var(--c); border-radius: 12px; padding: 16px 18px 14px; transition: box-shadow .15s, border-color .15s; }
.line-card a:hover { color: var(--ink); border-color: color-mix(in srgb, var(--c) 45%, #fff); border-top-color: var(--c); box-shadow: 0 6px 20px rgba(16, 24, 40, .08); }
.line-card h3 { font: 500 20px/1.25 var(--serif); margin: 0 0 6px; }
.line-card p { margin: 0 0 12px; color: var(--ink-2); font-size: 14.5px; flex: 1; }
.line-card .counts { display: flex; flex-wrap: wrap; gap: 4px 12px; font-size: 13px; color: var(--ink-2); }
.line-card .counts b { color: var(--ink); font-weight: 600; }
.spark { display: block; width: 100%; height: 40px; margin: 0 0 8px; }
.spark rect { fill: var(--c); }
.spark text { font: 400 10.5px var(--sans); fill: var(--ink-3); }

.cols { display: grid; grid-template-columns: 7fr 5fr; gap: 56px; }
.news, .recent, .plain { list-style: none; margin: 0; padding: 0; }
.news-item { display: grid; grid-template-columns: 112px 1fr; gap: 4px 18px; padding: 14px 0; border-top: 1px solid var(--rule); }
.news-date { margin: 0; font-size: 13.5px; color: var(--ink-2); font-variant-numeric: tabular-nums; padding-top: 2px; }
.news-text { margin: 0; font-size: 15.5px; }
.news-kind { display: inline-block; font: 600 11.5px/1 var(--sans); letter-spacing: .05em; text-transform: uppercase; color: var(--ink-2); background: var(--mist-2); border-radius: 4px; padding: 4px 6px; margin-right: 4px; vertical-align: 2px; }
.news-item.k-award .news-kind { color: var(--gold); background: var(--gold-soft); }
.news-item.k-paper .news-kind { color: var(--red); background: var(--red-soft); }
.news-links { margin: 4px 0 0; display: flex; gap: 14px; font-size: 14px; }
.news-links a { color: var(--ink-2); }
.recent-item { padding: 12px 0 12px 14px; border-top: 1px solid var(--rule); box-shadow: inset 3px 0 0 var(--c, var(--rule-2)); }
.recent-item a { text-decoration: none; display: block; }
.recent-meta { display: flex; align-items: center; gap: 8px; font-size: 13px; color: var(--ink-2); margin-bottom: 4px; }
.recent-title { font: 500 17.5px/1.3 var(--serif); display: block; }
.recent-item a:hover .recent-title { color: var(--red); }
.more { display: inline-block; margin-top: 16px; font: 600 15px var(--sans); color: var(--ink); background: none; border: 0; padding: 0; cursor: pointer; text-decoration: underline; text-decoration-color: var(--red); text-decoration-thickness: 2px; text-underline-offset: 4px; }
.plain li { padding: 10px 0; border-top: 1px solid var(--rule); font-size: 15.5px; }
.hon-what { color: var(--gold); font-weight: 600; }

/* ---------------------------------------------------------------- footer */
.site-foot { background: var(--red-deep); color: #fff; padding: 48px 0 56px; font-size: 15px; }
.site-foot .wrap { display: grid; grid-template-columns: auto 1fr auto; gap: 40px; align-items: start; }
.site-foot img { width: 78px; }
.site-foot h2 { font: 500 21px var(--serif); margin: 0 0 8px; }
.site-foot p { margin: 0 0 4px; color: rgba(255, 255, 255, .86); }
.site-foot a { color: #fff; text-decoration-color: rgba(255, 255, 255, .5); }
.site-foot a:hover { color: #fff; text-decoration-color: #fff; }
.site-foot :focus-visible { outline-color: #fff; }
.foot-links { list-style: none; margin: 0; padding: 0; display: grid; gap: 4px; }

/* ---------------------------------------------------------------- inner pages */
.page-head { padding: 48px 0 30px; }
.page-head h1 { font: 450 clamp(40px, 5vw, 58px)/1 var(--serif); letter-spacing: -0.02em; margin: 0 0 14px; }
.page-head p { color: var(--ink-2); max-width: 68ch; margin: 0 0 8px; font-size: 17px; }
.page-head .profile-links { margin-top: 18px; }
.band { background: var(--mist); border-top: 1px solid var(--rule); padding: 28px 0 64px; }
.band > .wrap > h2 { font: 450 32px/1.15 var(--serif); letter-spacing: -0.01em; margin: 12px 0 8px; }
.band .lede { color: var(--ink-2); margin: 0 0 22px; max-width: 64ch; }
.band .courses { margin-top: 18px; }

.line-rows { list-style: none; margin: 0; padding: 0; display: grid; gap: 12px; }
.line-row { --c: var(--ink-3); display: grid; grid-template-columns: minmax(0, 1fr) 220px; gap: 6px 28px; background: #fff; border: 1px solid var(--rule); border-radius: 12px; padding: 18px 20px; box-shadow: inset 4px 0 0 var(--c); }
.line-row h3 { font: 500 22px/1.25 var(--serif); margin: 0 0 6px; }
.line-row p { margin: 0 0 10px; color: var(--ink-2); max-width: 70ch; }
.line-row .counts { display: flex; flex-wrap: wrap; gap: 6px 16px; font-size: 14px; }
.line-row .spark { height: 52px; margin: 0; align-self: center; }

.projects { display: grid; gap: 14px; }
.project { display: grid; grid-template-columns: 84px minmax(0, 1fr); gap: 18px; background: #fff; border: 1px solid var(--rule); border-radius: 12px; padding: 18px 20px; color: var(--ink); scroll-margin-top: 90px; }
.project img { width: 84px; max-height: 64px; object-fit: contain; object-position: left top; }
.project h3 { font: 500 23px/1.2 var(--serif); margin: 0 0 4px; display: flex; flex-wrap: wrap; align-items: center; gap: 4px 12px; }
.project.is-link { text-decoration: none; transition: border-color .15s, box-shadow .15s; }
.project.is-link:hover { color: var(--ink); border-color: var(--ink-3); box-shadow: 0 6px 20px rgba(16, 24, 40, .08); }
.project.is-active.is-link:hover { box-shadow: inset 4px 0 0 var(--red), 0 6px 20px rgba(16, 24, 40, .08); }
.project-go { margin-left: auto; font: 400 18px/1 var(--sans); color: var(--ink-3); }
.project.is-link:hover .project-go { color: var(--red); }
.project:target { border-color: var(--red); }
.project .sub { color: var(--ink-2); margin: 0 0 12px; font-size: 15px; }
.project p { max-width: 72ch; margin: 0 0 10px; }
.project p { font-size: 15px; }
.project dl { display: grid; grid-template-columns: 72px 1fr; gap: 4px 14px; font-size: 14px; margin: 10px 0 10px; }
.project dt { color: var(--ink-3); }
.project dd { margin: 0; }
.project .chips { display: flex; flex-wrap: wrap; gap: 6px; }
.project.is-active { border-color: color-mix(in srgb, var(--red) 35%, #fff); box-shadow: inset 4px 0 0 var(--red); }
.tag-active { font: 600 12px/1 var(--sans); color: var(--red); background: var(--red-soft); padding: 5px 9px; border-radius: 99px; letter-spacing: .02em; }

.year-block { margin-top: 22px; }
.year-block:first-child { margin-top: 0; }
.year-h { font: 450 24px var(--serif); margin: 0 0 8px; display: flex; align-items: baseline; gap: 10px; }
.year-h small { font: 400 14px var(--sans); color: var(--ink-3); }
.talks { list-style: none; margin: 0; padding: 0; display: grid; gap: 10px; }
.talk { background: #fff; border: 1px solid var(--rule); border-radius: 12px; padding: 13px 16px; scroll-margin-top: 90px; }
.talk:target { border-color: var(--red); box-shadow: 0 0 0 3px var(--red-soft); }
.talk-date { font-size: 13.5px; color: var(--ink-2); font-variant-numeric: tabular-nums; }
.talk-head { margin: 0 0 5px; display: flex; flex-wrap: wrap; align-items: center; gap: 4px 10px; }
.talk-kind { display: inline-block; font: 600 11.5px/1 var(--sans); letter-spacing: .05em; text-transform: uppercase; color: var(--ink-2); background: var(--mist-2); border-radius: 4px; padding: 4px 6px; }
.talk-kind.k-keynote, .talk-kind.k-tutorial { color: var(--red); background: var(--red-soft); }
.talk-title { font: 500 17.5px/1.3 var(--serif); margin: 0 0 3px; }
.talk-event { margin: 0; color: var(--ink-2); font-size: 14.5px; }
.talk-foot { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 6px 16px; margin-top: 8px; }
.talk-links { display: flex; gap: 14px; font-size: 14px; font-weight: 600; }
.talk-lines { display: flex; flex-wrap: wrap; gap: 6px; }

/* research page: projects and talks side by side, each list folded */
.page-head.is-short { padding-bottom: 16px; }
.page-head.is-short h1 { margin-bottom: 0; }
.band-top { padding-top: 26px; }
.two-col { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 28px; align-items: start; }
.col-head { display: flex; align-items: baseline; justify-content: space-between; gap: 12px; margin: 0 0 12px; }
.col-head h2 { font: 450 30px/1.15 var(--serif); margin: 0; letter-spacing: -0.01em; }
.col-n { font-size: 14px; color: var(--ink-3); }
.projects > .is-extra, .talk-years > .is-extra { display: none; }
.projects.is-open > .is-extra { display: grid; }
.talk-years.is-open > .is-extra { display: block; }
.fold { display: block; width: 100%; margin-top: 14px; font: 600 14.5px var(--sans); color: var(--ink); background: #fff; border: 1px solid var(--rule-2); border-radius: 10px; padding: 10px 14px; cursor: pointer; }
.fold:hover { border-color: var(--ink-3); background: var(--mist); }

.courses { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 14px; }
.course { --c: var(--ink-3); background: #fff; border: 1px solid var(--rule); border-radius: 12px; padding: 18px 20px 16px; scroll-margin-top: 90px; }
.course:target { border-color: var(--red); box-shadow: 0 0 0 3px var(--red-soft); }
.course.is-current { border-top: 4px solid var(--red); }
.course-head { display: flex; flex-wrap: wrap; align-items: center; gap: 6px 10px; margin-bottom: 6px; font-size: 13px; color: var(--ink-2); }
.course-level { font: 600 11.5px/1 var(--sans); letter-spacing: .05em; text-transform: uppercase; color: #fff; background: var(--ink); border-radius: 4px; padding: 4px 6px; }
.course h3 { font: 500 21px/1.25 var(--serif); margin: 0 0 4px; }
.course .years { color: var(--ink-2); font-size: 14.5px; margin: 0 0 10px; }
.editions { width: 100%; border-collapse: collapse; font-size: 14px; }
.editions th { text-align: left; font-weight: 600; color: var(--ink-3); font-size: 12.5px; padding: 6px 8px 6px 0; border-bottom: 1px solid var(--rule); }
.editions td { padding: 7px 8px 7px 0; border-bottom: 1px solid var(--rule); vertical-align: top; }
.editions td.num { white-space: nowrap; font-variant-numeric: tabular-nums; }
.editions td.eval { font-variant-numeric: tabular-nums; min-width: 92px; }
.editions td.eval small { display: block; color: var(--ink-3); font-size: 12.5px; line-height: 1.3; }
.editions tr:last-child td { border-bottom: 0; }
.course-foot { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 6px 14px; margin-top: 10px; font-size: 14px; }
.course-foot a { font-weight: 600; }
.soon { padding: 40px 0 80px; max-width: 60ch; font: 400 20px/1.5 var(--serif); }

/* ---------------------------------------------------------------- publication explorer */
.pubx { position: relative; }
.pubx-sr { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); }
.pubx-panel { background: #fff; border: 1px solid var(--rule); border-radius: 16px; padding: 18px 22px 20px; box-shadow: 0 1px 2px rgba(16, 24, 40, .04); margin-bottom: 26px; }
.pubx-panel-head { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: center; gap: 8px 16px; margin-bottom: 10px; }
.pubx-panel-title { margin: 0; font: 600 14px var(--sans); color: var(--ink-2); }
.pubx-colorby { display: inline-flex; align-items: center; gap: 4px; font-size: 13px; color: var(--ink-3); }
.pubx-colorby span { margin-right: 4px; }
.pubx-colorby button { font: 600 13px/1 var(--sans); color: var(--ink-2); background: #fff; border: 1px solid var(--rule-2); padding: 6px 10px; cursor: pointer; }
.pubx-colorby button:first-of-type { border-radius: 99px 0 0 99px; }
.pubx-colorby button:last-of-type { border-radius: 0 99px 99px 0; margin-left: -5px; }
.pubx-colorby button[aria-pressed="true"] { background: var(--ink); border-color: var(--ink); color: #fff; }
.pubx-hist svg { display: block; overflow: visible; max-width: 100%; }
.pubx-hit { fill: transparent; }
.pubx-yr { cursor: pointer; outline: none; }
.pubx-yr:focus-visible .pubx-hit { fill: rgba(178, 14, 16, .08); }
.pubx-tile { fill: var(--ink-3); opacity: .16; transition: opacity .15s; }
.pubx-tile.is-lit { opacity: 1; }
.pubx-yr.is-off .pubx-tile.is-lit { opacity: .32; }
.pubx-yr.is-on .pubx-hit { fill: rgba(29, 33, 41, .05); }
.pubx-yr:hover .pubx-yl, .pubx-yr.is-on .pubx-yl { fill: var(--ink); font-weight: 600; }
.by-line .pubx-tile[data-l="kg"] { fill: var(--l-kg); }
.by-line .pubx-tile[data-l="citation"] { fill: var(--l-citation); }
.by-line .pubx-tile[data-l="ir"] { fill: var(--l-ir); }
.by-line .pubx-tile[data-l="llm"] { fill: var(--l-llm); }
.by-line .pubx-tile[data-l="nlp"] { fill: var(--l-nlp); }
.by-line .pubx-tile[data-l="bio"] { fill: var(--l-bio); }
.by-line .pubx-tile[data-l="integ"] { fill: var(--l-integ); }
.by-line .pubx-tile[data-l="dl"] { fill: var(--l-dl); }
.by-line .pubx-tile[data-l="fair"] { fill: var(--l-fair); }
.by-type .pubx-tile[data-g="journal"] { fill: var(--g-journal); }
.by-type .pubx-tile[data-g="conference"] { fill: var(--g-conference); }
.by-type .pubx-tile[data-g="workshop"] { fill: var(--g-workshop); }
.by-type .pubx-tile[data-g="other"] { fill: var(--g-other); }
.pubx-hist.has-hl .pubx-tile { opacity: .1; }
.pubx-hist.hl-l[data-hl="kg"] .pubx-tile[data-l="kg"], .pubx-hist.hl-l[data-hl="citation"] .pubx-tile[data-l="citation"],
.pubx-hist.hl-l[data-hl="ir"] .pubx-tile[data-l="ir"], .pubx-hist.hl-l[data-hl="llm"] .pubx-tile[data-l="llm"],
.pubx-hist.hl-l[data-hl="nlp"] .pubx-tile[data-l="nlp"], .pubx-hist.hl-l[data-hl="bio"] .pubx-tile[data-l="bio"],
.pubx-hist.hl-l[data-hl="integ"] .pubx-tile[data-l="integ"], .pubx-hist.hl-l[data-hl="dl"] .pubx-tile[data-l="dl"],
.pubx-hist.hl-l[data-hl="fair"] .pubx-tile[data-l="fair"],
.pubx-hist.hl-g[data-hl="journal"] .pubx-tile[data-g="journal"], .pubx-hist.hl-g[data-hl="conference"] .pubx-tile[data-g="conference"],
.pubx-hist.hl-g[data-hl="workshop"] .pubx-tile[data-g="workshop"], .pubx-hist.hl-g[data-hl="other"] .pubx-tile[data-g="other"] { opacity: 1; }
.pubx-yl { font: 400 11.5px var(--sans); fill: var(--ink-3); }
.pubx-base { stroke: var(--rule-2); }
.pubx-legend { list-style: none; display: flex; flex-wrap: wrap; gap: 4px 6px; margin: 10px 0 0; padding: 0; }
.pubx-leg { --c: var(--ink-3); display: inline-flex; align-items: center; gap: 6px; font: 500 12.5px/1.2 var(--sans); color: var(--ink-2); background: none; border: 1px solid transparent; border-radius: 99px; padding: 3px 9px 3px 7px; cursor: pointer; }
.pubx-leg i { width: 10px; height: 10px; border-radius: 3px; background: var(--c); }
.pubx-leg span { color: var(--ink-3); font-variant-numeric: tabular-nums; }
.pubx-leg:hover { border-color: var(--c); color: var(--ink); }
.pubx-leg.is-on { border-color: var(--c); background: color-mix(in srgb, var(--c) 12%, #fff); color: var(--ink); font-weight: 700; }
.pubx-leg.is-static { cursor: default; }
.pubx-leg.g-journal i { background: var(--g-journal); }
.pubx-leg.g-conference i { background: var(--g-conference); }
.pubx-leg.g-workshop i { background: var(--g-workshop); }
.pubx-leg.g-other i { background: var(--g-other); }
.pubx-search { position: relative; display: block; margin-top: 16px; }
.pubx-search svg { position: absolute; left: 16px; top: 50%; transform: translateY(-50%); width: 20px; height: 20px; stroke: var(--ink-3); fill: none; stroke-width: 2; }
.pubx-search input { width: 100%; font: 400 18px var(--sans); padding: 14px 52px 14px 46px; border: 1.5px solid var(--rule-2); border-radius: 12px; background: #fff; color: var(--ink); }
.pubx-search input::placeholder { color: var(--ink-3); }
.pubx-search input:focus { outline: none; border-color: var(--ink); box-shadow: 0 0 0 4px rgba(178, 14, 16, .12); }
.pubx-search kbd { position: absolute; right: 14px; top: 50%; transform: translateY(-50%); font: 600 12.5px var(--sans); color: var(--ink-3); border: 1px solid var(--rule-2); border-radius: 5px; padding: 1px 7px; }
.pubx-tip { position: absolute; pointer-events: none; background: var(--ink); color: #fff; font-size: 13px; line-height: 1.35; padding: 7px 10px; border-radius: 7px; z-index: 5; max-width: 340px; }
.pubx-tip-t { display: block; font-weight: 600; margin-top: 3px; }
.pubx-tip-m { display: block; color: rgba(255, 255, 255, .75); }
.pubx-body { display: grid; grid-template-columns: 264px minmax(0, 1fr); gap: 36px; align-items: start; }
.pubx-facets { position: sticky; top: 14px; max-height: calc(100vh - 28px); overflow: auto; padding: 2px 6px 0 2px; }
.pubx-facets-toggle { display: none; }
.pubx-group { margin-bottom: 20px; }
.pubx-group h3 { font: 600 12.5px var(--sans); letter-spacing: .06em; text-transform: uppercase; color: var(--ink-2); margin: 0 0 6px; }
.pubx-chips { display: flex; flex-direction: column; }
.pubx-chip { --c: var(--ink-3); display: flex; justify-content: space-between; gap: 10px; text-align: left; font: 400 14.5px/1.3 var(--sans); color: var(--ink); background: none; border: 0; padding: 5px 8px; margin: 0 -8px; border-radius: 6px; cursor: pointer; }
.pubx-chip-l { display: inline-flex; align-items: baseline; gap: 7px; }
.pubx-chip i { width: 9px; height: 9px; border-radius: 50%; background: var(--c); flex: none; transform: translateY(-1px); }
.pubx-chip:hover { background: var(--mist-2); }
.pubx-chip-n { color: var(--ink-3); font-variant-numeric: tabular-nums; }
.pubx-chip.is-on { background: var(--ink); color: #fff; font-weight: 600; }
.pubx-chip.is-on .pubx-chip-n { color: rgba(255, 255, 255, .8); }
.pubx-chip.is-zero { color: var(--ink-3); }
.pubx-more { background: none; border: 0; padding: 4px 0; font: 600 13.5px var(--sans); color: var(--ink-2); cursor: pointer; text-decoration: underline; text-underline-offset: 3px; }
.pubx-bar { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: center; gap: 10px 16px; padding-bottom: 10px; border-bottom: 1px solid var(--rule-2); }
.pubx-count { margin: 0; font: 500 20px var(--serif); }
.pubx-tools { display: flex; flex-wrap: wrap; gap: 8px 14px; align-items: center; font-size: 13.5px; color: var(--ink-2); }
.pubx-sort { display: flex; gap: 8px; align-items: center; }
.pubx-export { display: inline-flex; align-items: center; gap: 4px; }
.pubx-export > span { margin-right: 4px; }
.pubx-sort select, .pubx-tool { font: 600 13.5px var(--sans); color: var(--ink); background: #fff; border: 1px solid var(--rule-2); border-radius: 7px; padding: 5px 9px; cursor: pointer; }
.pubx-tool.is-done { background: var(--ink); color: #fff; border-color: var(--ink); }
.pubx-active { display: flex; flex-wrap: wrap; gap: 8px; margin: 12px 0 0; }
.pubx-active:empty { display: none; }
.pubx-x { font: 600 13px var(--sans); background: var(--ink); color: #fff; border: 0; border-radius: 99px; padding: 5px 10px 5px 12px; cursor: pointer; display: inline-flex; gap: 8px; }
.pubx-clear { font: 600 13px var(--sans); background: none; border: 0; color: var(--ink-2); text-decoration: underline; cursor: pointer; }
.pubx-yearhead { font: 450 26px var(--serif); margin: 26px 0 10px; padding: 8px 0 6px; display: flex; align-items: baseline; gap: 12px; position: sticky; top: 0; background: var(--mist); z-index: 2; }
.pubx-yearhead small { font: 400 13.5px var(--sans); color: var(--ink-3); }
.pubx-list > .pubx-item:first-child { margin-top: 14px; }
.pubx-item { --c: var(--ink-3); background: #fff; border: 1px solid var(--rule); border-radius: 12px; padding: 15px 18px 14px 20px; margin: 0 0 10px; box-shadow: inset 4px 0 0 var(--c); scroll-margin-top: 70px; transition: box-shadow .15s, border-color .15s; }
.pubx-item:hover { border-color: var(--rule-2); box-shadow: inset 4px 0 0 var(--c), 0 6px 18px rgba(16, 24, 40, .07); }
.pubx-item.is-focus { border-color: var(--red); box-shadow: inset 4px 0 0 var(--c), 0 0 0 3px var(--red-soft); }
.pubx-head { display: flex; flex-wrap: wrap; align-items: center; gap: 6px 10px; margin-bottom: 7px; font-size: 13px; }
.pubx-type { color: var(--ink-2); }
.pubx-y { color: var(--ink-2); font-weight: 600; }
.pubx-award { font-weight: 600; color: var(--gold); background: var(--gold-soft); border-radius: 99px; padding: 2px 9px; }
.pubx-title { font: 500 19px/1.3 var(--serif); margin: 0 0 5px; }
.pubx-title mark, .pubx-abstract mark { background: var(--mark); color: inherit; padding: 0 1px; border-radius: 2px; }
.pubx-authors { margin: 0 0 3px; font-size: 14.5px; }
.pubx-authors b { font-weight: 600; }
.pubx-venue { margin: 0 0 10px; font-size: 14px; color: var(--ink-2); }
.pubx-venue b { font-weight: 600; color: var(--ink); }
.pubx-foot { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: center; gap: 8px 16px; }
.pubx-links { display: flex; flex-wrap: wrap; gap: 6px; }
.pubx-lk { font: 600 13px/1 var(--sans); color: var(--ink); background: #fff; border: 1px solid var(--rule-2); border-radius: 7px; padding: 6px 9px; cursor: pointer; text-decoration: none; }
.pubx-lk:hover { border-color: var(--ink-3); color: var(--ink); background: var(--mist); }
.pubx-lk.is-pdf { background: var(--red); border-color: var(--red); color: #fff; }
.pubx-lk.is-pdf:hover { background: var(--red-deep); color: #fff; }
.pubx-lk.pubx-cite { border-color: var(--ink); }
.pubx-lk.is-done { background: var(--ink); color: #fff; border-color: var(--ink); }
.pubx-lines { display: flex; flex-wrap: wrap; gap: 6px; }
.pubx-abstract p { font: 400 16px/1.6 var(--serif); margin: 12px 0 2px; max-width: 74ch; color: #2b3038; }
.pubx-empty { padding: 32px 0; font: 400 19px var(--serif); color: var(--ink-2); }

/* ---------------------------------------------------------------- citation dialog */
dialog.cite { width: min(760px, calc(100vw - 24px)); max-height: calc(100vh - 32px); padding: 0; border: 0; border-radius: 16px; color: var(--ink); background: #fff; box-shadow: 0 24px 64px rgba(16, 24, 40, .28); }
dialog.cite::backdrop { background: rgba(29, 33, 41, .45); }
.cite-in { padding: 20px 22px 18px; }
.cite-top { display: flex; justify-content: space-between; gap: 16px; align-items: start; }
.cite-kicker { margin: 0 0 4px; font: 600 12px var(--sans); letter-spacing: .08em; text-transform: uppercase; color: var(--red); }
.cite h2 { font: 500 19px/1.3 var(--serif); margin: 0 0 12px; }
.cite-close { font: 400 26px/1 var(--sans); width: 36px; height: 36px; border-radius: 50%; border: 1px solid var(--rule-2); background: #fff; cursor: pointer; color: var(--ink-2); flex: none; }
.cite-close:hover { color: var(--ink); border-color: var(--ink-3); }
.cite-tabs { display: inline-flex; border: 1px solid var(--rule-2); border-radius: 9px; padding: 2px; gap: 2px; margin-bottom: 10px; background: var(--mist); }
.cite-tabs button { font: 600 13px/1 var(--sans); color: var(--ink-2); background: none; border: 0; border-radius: 7px; padding: 7px 12px; cursor: pointer; }
.cite-tabs button[aria-selected="true"] { background: #fff; color: var(--ink); box-shadow: 0 1px 2px rgba(16, 24, 40, .12); }
.cite-code { margin: 0; font: 400 12.5px/1.55 var(--mono); background: var(--mist); border: 1px solid var(--rule); border-radius: 10px; padding: 12px 14px; max-height: 42vh; overflow: auto; white-space: pre-wrap; overflow-wrap: anywhere; color: #23272f; }
.cite-acts { display: flex; flex-wrap: wrap; gap: 8px; margin-top: 12px; }
.cite-btn { font: 600 14px/1 var(--sans); color: var(--ink); background: #fff; border: 1px solid var(--rule-2); border-radius: 8px; padding: 10px 13px; cursor: pointer; }
.cite-btn:hover { border-color: var(--ink-3); background: var(--mist); }
.cite-btn.is-main { background: var(--red); border-color: var(--red); color: #fff; }
.cite-btn.is-main:hover { background: var(--red-deep); }
.cite-note { min-height: 1.4em; margin: 10px 0 0; font-size: 13.5px; font-weight: 600; color: var(--ink); }
.cite-hint { margin: 2px 0 0; font-size: 13px; color: var(--ink-3); }
.cite-find { display: flex; flex-wrap: wrap; align-items: center; gap: 6px 14px; margin-top: 8px; padding-top: 12px; border-top: 1px solid var(--rule); font-size: 13.5px; color: var(--ink-3); }
.cite-links { display: flex; flex-wrap: wrap; gap: 6px 14px; }
.cite-links a { font-weight: 600; color: var(--ink); }
.cite-old { margin: 8px 0 0; font-size: 13px; color: var(--ink-3); }
.cite-old a { color: var(--ink-2); }

/* ---------------------------------------------------------------- people and service */
.people { display: grid; gap: 10px; }
.person { background: #fff; border: 1px solid var(--rule); border-radius: 12px; padding: 14px 18px; }
.person.is-current { box-shadow: inset 4px 0 0 var(--red); }
.person h3 { font: 500 20px/1.25 var(--serif); margin: 0 0 3px; }
.person h3 a { text-decoration-color: var(--rule-2); }
.person p { margin: 6px 0 0; font-size: 15px; }
.person .person-meta { margin-top: 0; font-size: 13.5px; color: var(--ink-2); }
.person .person-thesis { font: 400 16px/1.45 var(--serif); }
.person .person-note { font-size: 14px; color: var(--ink-2); }
.col-h { font: 600 13px var(--sans); letter-spacing: .07em; text-transform: uppercase; color: var(--ink-2); margin: 6px 0 8px; }
.tl { list-style: none; margin: 0; padding: 0; }
.tl li { display: grid; grid-template-columns: 104px minmax(0, 1fr); gap: 2px 16px; padding: 10px 0; border-top: 1px solid var(--rule); }
.tl .when { font-size: 14px; color: var(--ink-2); font-variant-numeric: tabular-nums; padding-top: 1px; }
.tl .what { font-size: 15px; }
.band .tl li { border-top-color: var(--rule-2); }
.plain-text { margin: 0; font-size: 15.5px; line-height: 1.7; max-width: 62ch; }
.theses { list-style: none; margin: 0; padding: 0; display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 10px; }
.thesis { background: #fff; border: 1px solid var(--rule); border-radius: 12px; padding: 13px 16px; }
.thesis p { margin: 0; }
.thesis-who { display: flex; flex-wrap: wrap; align-items: baseline; gap: 2px 10px; font-size: 15px; }
.thesis-who span { font-size: 13px; color: var(--ink-2); }
.thesis-title { font: 400 16px/1.4 var(--serif); margin: 4px 0 4px !important; }
.thesis-gloss { font: 400 14px var(--sans); color: var(--ink-2); }
.thesis-meta { font-size: 13.5px; color: var(--ink-2); }

/* ---------------------------------------------------------------- contact dialog */
dialog.contact-dlg { width: min(580px, calc(100vw - 24px)); max-height: calc(100vh - 32px); padding: 0; border: 0; border-radius: 16px; color: var(--ink); background: #fff; box-shadow: 0 24px 64px rgba(16, 24, 40, .28); overflow: auto; }
dialog.contact-dlg::backdrop { background: rgba(29, 33, 41, .45); }
.contact-in { padding: 20px 22px 18px; border-top: 5px solid var(--red); }
.contact-dlg h2 { font: 500 26px/1.15 var(--serif); margin: 0 0 6px; }
.contact-role { margin: 0; color: var(--ink-2); font-size: 14.5px; }
.contact-rows { list-style: none; margin: 16px 0 0; padding: 0; }
.contact-rows li { padding: 10px 0; border-top: 1px solid var(--rule); font-size: 15.5px; }
.contact-acts { display: flex; flex-wrap: wrap; gap: 8px; margin-top: 14px; }
.contact-acts .btn { cursor: pointer; }
.contact-links { list-style: none; margin: 6px 0 0; padding: 12px 0 0; border-top: 1px solid var(--rule); display: flex; flex-wrap: wrap; gap: 6px 16px; font-size: 14px; }
.contact-links a { font-weight: 600; color: var(--ink); }

/* ---------------------------------------------------------------- responsive */
@media (max-width: 1080px) {
  .line-cards { grid-template-columns: repeat(2, minmax(0, 1fr)); }
}
@media (max-width: 980px) {
  .hero > .wrap, .cols { grid-template-columns: minmax(0, 1fr); gap: 32px; }
  .pubx-body { grid-template-columns: minmax(0, 1fr); gap: 12px; }
  .pubx-facets { position: static; max-height: none; overflow: visible; padding: 0; }
  .pubx-facets-toggle { display: inline-block; font: 600 14px var(--sans); background: #fff; color: var(--ink); border: 1px solid var(--rule-2); border-radius: 8px; padding: 8px 13px; cursor: pointer; }
  .pubx-facets-inner { display: none; margin-top: 14px; background: #fff; border: 1px solid var(--rule); border-radius: 12px; padding: 14px 18px 4px; }
  .pubx-open .pubx-facets-inner { display: block; }
  .site-foot .wrap { grid-template-columns: 1fr; }
  .courses { grid-template-columns: minmax(0, 1fr); }
  .two-col { grid-template-columns: minmax(0, 1fr); gap: 36px; }
  .theses { grid-template-columns: minmax(0, 1fr); }
  .line-row { grid-template-columns: minmax(0, 1fr); }
  .line-row .spark { max-width: 360px; }
}
@media (max-width: 760px) {
  .site-head .wrap { flex-wrap: wrap; padding-top: 12px; padding-bottom: 12px; gap: 10px; }
  .nav { gap: 2px; font-size: 14.5px; margin: 0 -8px; }
  .nav a { padding: 5px 8px; }
  .brand-sub { display: none; }
  .hero { padding-top: 28px; }
  .line-cards { grid-template-columns: minmax(0, 1fr); }
  .news-item { grid-template-columns: 1fr; }
  .tl li { grid-template-columns: minmax(0, 1fr); }
  .project { grid-template-columns: 1fr; gap: 10px; padding: 16px; }
  .map-figure { padding: 8px 8px 10px; border-radius: 12px; }
  .map-labels { left: 8px; top: 8px; }
  .map-lbl { padding: 2px 6px; }
  .map-lbl span { font-size: 12px; }
  .map-lbl small { display: none; }
  .map-caption { flex-direction: column; gap: 4px; }
  .pubx-panel { padding: 14px 12px 14px; border-radius: 12px; }
  .pubx-item { padding: 13px 14px 12px 16px; }
  .pubx-title { font-size: 17.5px; }
  .cite-in { padding: 16px 14px 14px; }
}
@media (prefers-reduced-motion: reduce) {
  * { transition: none !important; animation: none !important; }
}
@media print {
  .site-head, .site-foot, .pubx-panel, .pubx-facets, .pubx-tools, .pubx-links, .map-figure { display: none !important; }
  .band { background: #fff; border: 0; padding: 0; }
  .pubx-body { display: block; }
  .pubx-item { box-shadow: none; border: 0; border-bottom: 1px solid #ccc; border-radius: 0; break-inside: avoid; }
  .pubx-yearhead { position: static; background: none; }
}