:root {
  --bg: #fbfaf7;
  --fg: #1d1d1f;
  --muted: #5f6368;
  --accent: #1f5fbf;
  --card: #ffffff;
  --border: #e6e3dc;
  --max: 46rem;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #141416;
    --fg: #ececec;
    --muted: #a0a4ab;
    --accent: #7fb0ff;
    --card: #1c1c20;
    --border: #2c2c32;
  }
}

* { box-sizing: border-box; }

html { scroll-behavior: smooth; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--fg);
  font: 17px/1.65 system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
}

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

.site-header,
main,
.site-footer {
  max-width: var(--max);
  margin: 0 auto;
  padding: 0 1rem;
}

.site-header {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem 1.25rem;
  justify-content: space-between;
  align-items: center;
  padding-top: 1.5rem;
  padding-bottom: 1.5rem;
}

.brand { color: var(--fg); font-weight: 600; }

.site-header nav { display: flex; gap: 1.25rem; }
.site-header nav a { color: var(--muted); }

.site-header nav a[aria-current="page"] { color: var(--fg); font-weight: 600; }

main { padding-bottom: 1rem; }
h1 { font-size: clamp(2rem, 6vw, 2.75rem); line-height: 1.15; margin: 1.5rem 0 1rem; }
h2 { font-size: 1.35rem; margin: 0 0 1rem; }
section { padding: 1.5rem 0; }

.profile { display: grid; gap: 1.5rem; grid-template-columns: 1fr; align-items: start; }
@media (min-width: 640px) { .profile { grid-template-columns: 220px 1fr; } }
.profile h1 { margin-top: 0; }
.portrait { width: 100%; max-width: 300px; height: auto; border-radius: 12px; background: var(--border); }
.lead { font-size: 1.1rem; color: var(--muted); margin: -0.5rem 0 1.25rem; }
.facts { display: grid; grid-template-columns: max-content 1fr; gap: 0.35rem 1rem; margin: 0; font-size: 0.95rem; }
.facts dt { color: var(--muted); }
.facts dd { margin: 0; }

.pubs { list-style: none; padding: 0; margin: 0; }
.pubs li { padding: 1.1rem 0; border-top: 1px solid var(--border); scroll-margin-top: 1rem; }
.pubs li:target { background: var(--card); box-shadow: 0 0 0 1rem var(--card); }
.pubs h3 { font-size: 1.05rem; margin: 0 0 0.3rem; line-height: 1.4; }
.pubs h3 a { color: var(--fg); }
.cite { margin: 0 0 0.4rem; color: var(--muted); font-size: 0.95rem; }
details summary { cursor: pointer; color: var(--accent); font-size: 0.9rem; }
details p { font-size: 0.95rem; margin: 0.5rem 0 0; }
.note { color: var(--muted); font-size: 0.95rem; }

.sw { background: var(--card); border: 1px solid var(--border); border-radius: 12px; padding: 1.25rem; margin-bottom: 1.25rem; scroll-margin-top: 1rem; }
.sw h2 { margin-bottom: 0.25rem; }
.ver { font-size: 0.85rem; font-weight: 400; color: var(--muted); }
.lead-sm { color: var(--muted); margin-top: 0; }
.dl { padding-left: 1.2rem; }
pre { background: var(--bg); border: 1px solid var(--border); border-radius: 8px; padding: 0.75rem 1rem; overflow-x: auto; font-size: 0.9rem; }

.site-footer {
  padding-top: 3rem;
  padding-bottom: 3rem;
  color: var(--muted);
  font-size: 0.9rem;
}