:root {
  --bg: #fafafa;
  --fg: #222;
  --muted: #666;
  --link: #0645ad;
  --border: #ddd;
  --max-width: 800px;
}

html {
  font-size: 17px;
}

body {
  margin: 0;
  padding: 2rem 1rem;
  background: var(--bg);
  color: var(--fg);
  font-family: system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI",
               sans-serif;
  line-height: 1.6;
}

main {
  max-width: var(--max-width);
  margin: 0 auto;
}

header {
  margin-bottom: 2rem;
  border-bottom: 1px solid var(--border);
  padding-bottom: 1rem;
}

h1, h2, h3 {
  line-height: 1.25;
}

h1 {
  font-size: 2rem;
  margin-bottom: 0.25rem;
}

h2 {
  margin-top: 2.5rem;
  border-bottom: 1px solid var(--border);
  padding-bottom: 0.25rem;
}

p {
  margin: 0.8rem 0;
}

a {
  color: var(--link);
  text-decoration-thickness: 1px;
  text-underline-offset: 2px;
}

nav a {
  margin-right: 1rem;
}

.small,
.meta {
  color: var(--muted);
  font-size: 0.95rem;
}

.publication {
  margin: 1.2rem 0;
}

.publication-title {
  font-weight: 600;
}

.publication-links a {
  margin-right: 0.5rem;
  font-size: 0.95rem;
}

@media (max-width: 600px) {
  html {
    font-size: 16px;
  }

  body {
    padding: 1rem;
  }

  nav a {
    display: inline-block;
    margin-bottom: 0.25rem;
  }
}

:target {
    background-color: #F5F5D7;
}