:root {
  --bg: #ffffff;
  --text: #222222;
  --muted: #666666;
  --accent: #1f5f8b;
  --rule: #e2e2e2;
  --box: #f6f8fa;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #16181b;
    --text: #e4e4e4;
    --muted: #a0a0a0;
    --accent: #7db8e0;
    --rule: #2c2f33;
    --box: #1e2125;
  }
}
* { box-sizing: border-box; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: "Source Serif 4", Georgia, "Times New Roman", serif;
  font-size: 18px;
  line-height: 1.6;
}
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; }

/* Header and navigation */
header {
  border-bottom: 1px solid var(--rule);
}
.header-inner {
  max-width: 860px;
  margin: 0 auto;
  padding: 22px 20px 14px;
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  flex-wrap: wrap;
  gap: 12px;
}
.site-name { font-size: 26px; font-weight: 600; color: var(--text); }
.site-name:hover { text-decoration: none; }
.tagline { display: block; font-size: 15px; color: var(--muted); font-weight: 400; }
nav { font-family: Inter, system-ui, sans-serif; font-size: 15px; }
nav a { margin-left: 20px; color: var(--muted); }
nav a:first-child { margin-left: 0; }
nav a.current { color: var(--accent); font-weight: 600; }

main { max-width: 860px; margin: 0 auto; padding: 32px 20px 60px; }

/* Homepage intro */
.intro { display: flex; gap: 32px; align-items: flex-start; }
.intro img { width: 260px; border-radius: 4px; flex-shrink: 0; }
.intro p:first-child { margin-top: 0; }
.market { font-weight: 600; }
.profile-links { font-family: Inter, system-ui, sans-serif; font-size: 15px; }
.profile-links a { margin-right: 16px; }

/* Section headings */
h2 {
  font-size: 22px;
  font-weight: 600;
  margin: 40px 0 14px;
  padding-bottom: 6px;
  border-bottom: 1px solid var(--rule);
}

/* Job market paper box */
.jmp {
  background: var(--box);
  border-left: 4px solid var(--accent);
  padding: 18px 22px;
  margin-top: 8px;
}
.jmp .label {
  font-family: Inter, system-ui, sans-serif;
  font-size: 13px;
  font-weight: 600;
  letter-spacing: .06em;
  text-transform: uppercase;
  color: var(--accent);
}
.jmp h3 { font-size: 21px; margin: 0 0 10px; line-height: 1.35; }
.jmp p { margin: 0 0 10px; }

/* Paper lists (Kerwin style) */
.paper { margin: 0 0 18px; }
.links a { white-space: nowrap; }
details { margin-top: 4px; }
summary { cursor: pointer; color: var(--accent); font-size: 16px; }
details p { margin: 6px 0 0; font-size: 16.5px; }

.refs { display: grid; grid-template-columns: repeat(auto-fit, minmax(220px, 1fr)); gap: 16px; }
.refs div { font-size: 16.5px; }

footer {
  max-width: 860px; margin: 0 auto; padding: 20px;
  border-top: 1px solid var(--rule);
  font-size: 14px; color: var(--muted);
}

@media (max-width: 620px) {
  body { font-size: 17px; }
  .intro { flex-direction: column; gap: 18px; }
  .intro img { width: 150px; }
  nav a { margin-left: 14px; }
}

/* Teaching page */
.sub { font-family: Inter, system-ui, sans-serif; font-size: 14px; font-weight: 600; color: var(--muted); text-transform: uppercase; letter-spacing: .05em; margin: 22px 0 8px; }
.course { margin: 0 0 14px; }