/* ==========================================================
   Site stylesheet: one file shared by every page.
   Colors live at the top; change them here and every page follows.
   ========================================================== */

:root {
  --text: #1d1d1f;
  --muted: #6b6b70;
  --line: #e6e6e9;
  --accent: #1f4e8c;
  --bg: #ffffff;
  --serif: "Source Serif 4", Georgia, "Times New Roman", serif;
  --sans: "Source Sans 3", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
}

@media (prefers-color-scheme: dark) {
  :root {
    --text: #e8e8ea;
    --muted: #9a9aa2;
    --line: #2c2c30;
    --accent: #8db4ea;
    --bg: #161618;
  }
}

* { box-sizing: border-box; }

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

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

.page {
  max-width: 740px;
  margin: 0 auto;
  padding: 56px 24px 40px;
}

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

/* ---------- Header and navigation ---------- */

.site-header { margin-bottom: 40px; }

.site-name {
  display: inline-block;
  font-size: 1.75rem;
  font-weight: 600;
  line-height: 1.2;
  letter-spacing: -0.01em;
  color: var(--text);
}
.site-name:hover { text-decoration: none; }

.site-role {
  margin: 4px 0 0;
  font-family: var(--sans);
  font-size: 0.95rem;
  color: var(--muted);
}

nav {
  display: flex;
  flex-wrap: wrap;
  gap: 4px 22px;
  margin-top: 20px;
  padding-bottom: 12px;
  border-bottom: 1px solid var(--line);
  font-family: var(--sans);
  font-size: 0.98rem;
}
nav a { color: var(--muted); }
nav a:hover { color: var(--text); text-decoration: none; }
nav a[aria-current="page"] { color: var(--text); font-weight: 600; }

/* ---------- Text ---------- */

h1 {
  font-size: 1.6rem;
  font-weight: 600;
  line-height: 1.25;
  margin: 0 0 20px;
}

h2 {
  font-size: 1.2rem;
  font-weight: 600;
  margin: 40px 0 12px;
}

h3 {
  font-family: var(--sans);
  font-size: 0.85rem;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  color: var(--muted);
  margin: 32px 0 10px;
}

p { margin: 0 0 16px; }

ul { padding-left: 1.2em; margin: 0 0 16px; }
li { margin-bottom: 6px; }

.muted, .note { color: var(--muted); }
.note { font-family: var(--sans); font-size: 0.9rem; }

.keywords {
  font-family: var(--sans);
  font-size: 0.9rem;
  color: var(--muted);
}

/* ---------- Home page ---------- */

.intro {
  display: grid;
  grid-template-columns: 1fr 200px;
  gap: 40px;
  align-items: start;
}

.intro img {
  width: 100%;
  border-radius: 6px;
  display: block;
}

.links {
  display: flex;
  flex-wrap: wrap;
  gap: 6px 20px;
  margin-top: 24px;
  font-family: var(--sans);
  font-size: 0.98rem;
}

/* ---------- Two-column lists (CV, contact) ---------- */

.rows { margin: 0 0 8px; }

.row {
  display: grid;
  grid-template-columns: 120px 1fr;
  gap: 20px;
  padding: 6px 0;
}

.row > :first-child {
  font-family: var(--sans);
  font-size: 0.95rem;
  color: var(--muted);
  padding-top: 2px;
}

/* ---------- Publications ---------- */

.publications {
  padding: 0 0 0 2.6em;
  margin: 0 0 16px;
}

.publications li {
  padding: 12px 0 12px 0.4em;
  border-bottom: 1px solid var(--line);
  margin: 0;
}

.publications li::marker {
  font-family: var(--sans);
  font-size: 0.9rem;
  color: var(--muted);
}
.publications li:last-child { border-bottom: 0; }

.pub-title { font-weight: 600; }
.pub-title a { color: var(--text); }
.pub-title a:hover { color: var(--accent); }

.pub-authors, .pub-venue {
  font-family: var(--sans);
  font-size: 0.93rem;
  color: var(--muted);
}
.pub-authors b { color: var(--text); font-weight: 600; }

.pub-links a { margin-left: 10px; }

.toc {
  font-family: var(--sans);
  font-size: 0.95rem;
  color: var(--muted);
  margin-bottom: 8px;
}
.toc a { margin-right: 16px; }

/* ---------- Contact ---------- */

.map {
  margin-top: 32px;
  width: 100%;
  height: 340px;
  border: 0;
  border-radius: 6px;
}

/* ---------- Footer ---------- */

footer {
  margin-top: 64px;
  padding-top: 16px;
  border-top: 1px solid var(--line);
  font-family: var(--sans);
  font-size: 0.88rem;
  color: var(--muted);
}

/* ---------- Phones ---------- */

@media (max-width: 640px) {
  body { font-size: 17px; }
  .page { padding: 32px 16px 32px; }
  .site-header { margin-bottom: 28px; }
  nav { gap: 2px 16px; }
  .intro { grid-template-columns: 1fr; gap: 24px; }
  .intro img { width: 160px; order: -1; }
  .row { grid-template-columns: 1fr; gap: 0; padding: 8px 0; }
}