@import url('https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600&family=Source+Serif+4:opsz,wght@8..60,400;8..60,600&display=swap');

/* ------------------------------------------------------------------
   Minimal academic theme — serif headings, sans body.
   Plain CSS, no build step, no frameworks.
   ------------------------------------------------------------------ */

:root {
  --serif:      "Source Serif 4", Georgia, "Times New Roman", serif;
  --sans:       "Inter", "Helvetica Neue", Helvetica, Arial, sans-serif;

  /* Palette sampled from thomas-kesselheim.de */
  --ink:        #111111;   /* headings, titles          */
  --text:       #111111;   /* body copy                 */
  --muted:      #424242;   /* secondary text            */
  --faint:      #6f6f6f;   /* labels, numbers, footer   */

  --rule:       #e8e8e8;   /* section rules, nav border  */
  --hairline:   #f0f0f0;   /* rules between entries      */

  --accent:     #2a7ae2;   /* links                      */
  --accent-dk:  #1a5cb8;   /* link hover                 */

  --bg:         #fdfdfd;
  --panel:      #f5f5f5;

  --measure:    810px;
}

* { box-sizing: border-box; }

html { -webkit-text-size-adjust: 100%; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: var(--sans);
  font-size: 18px;
  line-height: 1.7;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}

.wrap {
  max-width: var(--measure);
  margin: 0 auto;
  padding: 0 28px;
}

/* ---------- utilities ---------- */

/* Visible to screen readers, invisible on screen.
   Used by the <caption> on the teaching tables. */
.visually-hidden {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}

/* Keyboard focus ring. Mouse clicks do not trigger it. */
a:focus-visible,
button:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 3px;
  border-radius: 2px;
}

/* ---------- navigation ---------- */

nav.topnav {
  border-bottom: 1px solid var(--rule);
  margin-bottom: 46px;
  background: var(--bg);
}

nav.topnav .wrap {
  display: flex;
  flex-wrap: wrap;
  gap: 28px;
  padding-top: 20px;
  padding-bottom: 16px;
}

nav.topnav a {
  position: relative;
  color: var(--muted);
  text-decoration: none;
  font-size: 13.5px;
  font-weight: 500;
  letter-spacing: 0.09em;
  text-transform: uppercase;
  padding-bottom: 3px;
}

nav.topnav a::after {
  content: "";
  position: absolute;
  left: 0;
  right: 0;
  bottom: 0;
  height: 1.5px;
  background: var(--accent);
  transform: scaleX(0);
  transform-origin: left;
  transition: transform 0.18s ease;
}

nav.topnav a:hover { color: var(--accent); }
nav.topnav a:hover::after { transform: scaleX(1); }

nav.topnav a.current { color: var(--ink); }
nav.topnav a.current::after { transform: scaleX(1); background: var(--ink); }

/* ---------- header block ---------- */

header.masthead {
  display: flex;
  align-items: center;
  gap: 32px;
  margin-bottom: 36px;
}

header.masthead img.portrait {
  width: 136px;
  height: 136px;
  border-radius: 50%;
  object-fit: cover;
  flex: 0 0 auto;
  background: var(--panel);
  box-shadow: 0 0 0 1px var(--rule), 0 6px 22px rgba(0, 0, 0, 0.07);
}

header.masthead h1 {
  font-family: var(--serif);
  font-size: 43px;
  font-weight: 600;
  line-height: 1.12;
  letter-spacing: -0.015em;
  color: var(--ink);
  margin: 0 0 8px;
}

header.masthead .role {
  margin: 0;
  color: var(--muted);
  font-size: 16.5px;
  letter-spacing: 0.01em;
}

/* ---------- typography ---------- */

h2 {
  position: relative;
  font-family: var(--serif);
  font-size: 25px;
  font-weight: 600;
  color: var(--ink);
  letter-spacing: -0.005em;
  margin: 50px 0 16px;
  padding-bottom: 9px;
  border-bottom: 1px solid var(--rule);
}

h2::after {
  content: "";
  position: absolute;
  left: 0;
  bottom: -1px;
  width: 38px;
  height: 2px;
  background: var(--accent);
}

h3 {
  font-family: var(--serif);
  font-size: 19.5px;
  font-weight: 600;
  color: var(--ink);
  margin: 28px 0 10px;
}

p { margin: 0 0 16px; }

a { color: var(--accent); text-decoration: none; }

a:hover { color: var(--accent-dk); text-decoration: underline; text-underline-offset: 2px; }

ul.plain { list-style: none; padding: 0; margin: 0; }

/* ---------- lede paragraph ---------- */

p.lede {
  font-family: var(--serif);
  font-size: 21px;
  line-height: 1.58;
  color: var(--ink);
  margin-bottom: 30px;
}

p.lede strong { font-weight: 600; }

/* ---------- research interests block ---------- */

.interests {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(270px, 1fr));
  border-top: 1px solid var(--rule);
  border-bottom: 1px solid var(--rule);
  margin: 0 0 30px;
}

.interest-block { padding: 20px 28px 22px 0; }

.interest-block + .interest-block {
  padding-left: 28px;
  border-left: 1px solid var(--hairline);
}

/* The label inside an interest block is an <h2> for document structure
   (h1 -> h2, no skipped level), but is styled as a small caps label.
   The h3 selector is kept so older markup still renders correctly. */
.interest-block h2,
.interest-block h3 {
  font-family: var(--sans);
  margin: 0 0 13px;
  font-size: 12px;
  font-weight: 600;
  letter-spacing: 0.13em;
  text-transform: uppercase;
  color: var(--faint);
  /* undo the global h2 rule */
  padding-bottom: 0;
  border-bottom: 0;
  position: static;
}

.interest-block h2::after { content: none; }

ul.taglist {
  list-style: none;
  padding: 0;
  margin: 0;
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}

ul.taglist li {
  font-size: 14.5px;
  line-height: 1.5;
  color: var(--text);
  background: #fff;
  border: 1px solid var(--rule);
  border-radius: 100px;
  padding: 3px 13px;
}

p.interest-note {
  margin: 0;
  font-size: 16.5px;
  color: var(--muted);
}

/* ---------- highlighted link list ---------- */

ul.highlights { list-style: none; padding: 0; margin: 4px 0 0; }

ul.highlights li { margin: 0 0 10px; }

ul.highlights li::before {
  content: "\2192";
  color: var(--faint);
  margin-right: 11px;
}

/* ---------- labelled field list (contact) ---------- */

dl.fields { margin: 0; }

dl.fields dt {
  float: left;
  clear: left;
  width: 124px;
  color: var(--faint);
  font-size: 12px;
  font-weight: 600;
  letter-spacing: 0.11em;
  text-transform: uppercase;
  padding: 7px 0 0;
}

dl.fields dd {
  margin: 0 0 0 140px;
  padding: 3px 0;
}

/* ---------- timeline ---------- */

dl.timeline { margin: 0; }

dl.timeline dt {
  float: left;
  clear: left;
  width: 138px;
  color: var(--muted);
  font-variant-numeric: tabular-nums;
  font-size: 15.5px;
  padding: 5px 0;
}

dl.timeline dd {
  margin: 0 0 0 154px;
  padding: 5px 0;
}

/* ---------- page title on inner pages ---------- */

h1.pagetitle {
  font-family: var(--serif);
  font-size: 36px;
  font-weight: 600;
  letter-spacing: -0.015em;
  color: var(--ink);
  margin: 0 0 18px;
}

/* ---------- profile links row ---------- */

p.profilerow {
  color: var(--muted);
  font-size: 15.5px;
  background: var(--panel);
  border: 1px solid var(--rule);
  border-radius: 4px;
  padding: 11px 16px;
  margin-bottom: 4px;
}

/* ---------- author links ---------- */

a.author-link {
  color: inherit;
  text-decoration: none;
  border-bottom: 1px dotted #c4c4c4;
}

a.author-link:hover {
  color: var(--accent);
  border-bottom-color: var(--accent);
  text-decoration: none;
}

/* ---------- collaborator list ---------- */

ul.people {
  list-style: none;
  padding: 0;
  margin: 8px 0 0;
  columns: 2;
  column-gap: 44px;
}

ul.people li {
  margin: 0 0 9px;
  break-inside: avoid;
  font-size: 16.5px;
}

/* ---------- publications ---------- */

ol.pubs {
  list-style: none;
  padding: 0;
  margin: 0;
}

ol.pubs > li {
  position: relative;
  padding: 0 0 20px 34px;
  margin-bottom: 18px;
  border-bottom: 1px solid var(--hairline);
}

ol.pubs > li:last-child { border-bottom: 0; }

/* The number is written in by links.js: one sequence across the whole
   page, counting up from the oldest entry at the bottom.
   If the script does not run, data-num is absent and no number shows. */
ol.pubs > li::before {
  content: attr(data-num);
  position: absolute;
  left: 0;
  top: 2px;
  width: 24px;
  text-align: right;
  color: var(--faint);
  font-variant-numeric: tabular-nums;
  font-size: 13.5px;
}

.pub-title {
  font-family: var(--serif);
  font-size: 19px;
  font-weight: 600;
  line-height: 1.38;
  color: var(--ink);
  margin-bottom: 2px;
}

.pub-authors { color: var(--muted); font-size: 16px; }

.pub-venue { font-style: normal; color: var(--text); font-size: 16px; }

/* Status label on manuscripts under review. */
.pub-status {
  margin-top: 6px;
  font-size: 12px;
  font-weight: 600;
  letter-spacing: 0.11em;
  text-transform: uppercase;
  color: var(--faint);
}

.pub-links { margin-top: 8px; }

.pub-links a {
  display: inline-block;
  font-size: 13px;
  letter-spacing: 0.03em;
  color: var(--muted);
  background: #fff;
  border: 1px solid var(--rule);
  border-radius: 100px;
  padding: 2px 11px;
  margin: 0 6px 5px 0;
}

.pub-links a:hover {
  color: var(--accent);
  border-color: var(--accent);
  text-decoration: none;
}

/* Year markers are <h3> elements so the page has a real heading
   outline. The rules below override the global h3 styling. */
.year-head {
  font-family: var(--sans);
  font-size: 12px;
  font-weight: 600;
  color: var(--faint);
  letter-spacing: 0.13em;
  margin: 36px 0 14px;
}

/* Manuscripts are unnumbered, so they need no hanging indent. */
ol.pubs#manuscripts > li { padding-left: 0; }

/* ---------- teaching table ---------- */

table.courses {
  width: 100%;
  border-collapse: collapse;
  margin-top: 8px;
}



table.courses th,
table.courses td {
  text-align: left;
  padding: 11px 14px 11px 0;
  border-bottom: 1px solid var(--hairline);
  vertical-align: top;
}

table.courses th {
  font-size: 12px;
  font-weight: 600;
  color: var(--faint);
  letter-spacing: 0.11em;
  text-transform: uppercase;
  border-bottom-color: var(--rule);
}

table.courses td.term {
  white-space: nowrap;
  color: var(--muted);
  font-variant-numeric: tabular-nums;
  font-size: 16px;
}

/* ---------- footer ---------- */

footer.pagefoot {
  margin-top: 68px;
  border-top: 1px solid var(--rule);
  padding: 22px 0 52px;
  color: var(--faint);
  font-size: 13.5px;
  letter-spacing: 0.02em;
}

/* ---------- small screens ---------- */

@media (max-width: 620px) {
  body { font-size: 17px; }

  .wrap { padding: 0 20px; }

  nav.topnav { margin-bottom: 34px; }

  header.masthead {
    flex-direction: column;
    align-items: flex-start;
    gap: 20px;
  }

  header.masthead img.portrait { width: 108px; height: 108px; }
  header.masthead h1 { font-size: 32px; }

  p.lede { font-size: 19px; }

  h1.pagetitle { font-size: 30px; }

  .interest-block { padding: 20px 0; }

  .interest-block + .interest-block {
    padding-left: 0;
    border-left: 0;
    border-top: 1px solid var(--hairline);
  }

  ul.people { columns: 1; }

  dl.fields dt,
  dl.timeline dt {
    float: none;
    width: auto;
    padding-bottom: 0;
  }

  dl.fields dd,
  dl.timeline dd {
    margin-left: 0;
    padding-top: 2px;
    margin-bottom: 12px;
  }
}

/* ---------- reduced motion ---------- */

@media (prefers-reduced-motion: reduce) {
  * {
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    transition-duration: 0.01ms !important;
    scroll-behavior: auto !important;
  }
}