/* ---------------------------------------------------------
   Design tokens
--------------------------------------------------------- */
:root {
  --paper: #FAFAF8;
  --paper-raised: #F3F2ED;
  --ink: #171B22;
  --muted: #5B6270;
  --accent: #24425F;
  --accent-soft: rgba(36, 66, 95, 0.08);
  --rule: #DEDCD3;
  --serif: "Source Serif 4", Georgia, "Times New Roman", serif;
  --mono: "IBM Plex Mono", ui-monospace, Menlo, monospace;
  --max-w: 760px;
}

* { box-sizing: border-box; }

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

body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font-family: var(--serif);
  font-size: 18px;
  line-height: 1.6;
  font-weight: 400;
}

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

.sr-only {
  position: absolute; width: 1px; height: 1px; overflow: hidden;
  clip: rect(0,0,0,0); white-space: nowrap;
}

.skip-link a {
  position: absolute; left: -999px; top: 0; background: var(--ink); color: var(--paper);
  padding: 0.6em 1em; z-index: 100;
}
.skip-link a:focus { left: 1em; top: 1em; }

.wrap { max-width: var(--max-w); margin: 0 auto; padding: 0 1.5rem; }

/* ---------------------------------------------------------
   Header / nav
--------------------------------------------------------- */
.site-header {
  border-bottom: 1px solid var(--rule);
  padding: 1.6rem 0 1.2rem;
}
.site-header .wrap {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 1rem;
  flex-wrap: wrap;
}
.brand { text-decoration: none; color: var(--ink); }
.brand-name {
  display: block;
  font-size: 1.4rem;
  font-weight: 600;
  letter-spacing: 0.01em;
}
.brand-title {
  display: block;
  font-family: var(--mono);
  font-size: 0.72rem;
  letter-spacing: 0.02em;
  color: var(--muted);
  margin-top: 0.35rem;
  max-width: 34ch;
}

.nav-toggle {
  display: none;
  background: none; border: none; cursor: pointer; padding: 0.4rem;
  margin-left: auto;
}
.nav-toggle span {
  display: block; width: 22px; height: 2px; background: var(--ink); margin: 5px 0;
}

.site-nav ul {
  list-style: none;
  display: flex;
  flex-wrap: wrap;
  gap: 0.3rem 1.3rem;
  margin: 0.5rem 0 0;
  padding: 0;
  font-family: var(--mono);
  font-size: 0.78rem;
}
.site-nav a {
  color: var(--muted);
  text-decoration: none;
  border-bottom: 1px solid transparent;
  padding-bottom: 2px;
}
.site-nav a:hover, .site-nav a.active {
  color: var(--ink);
  border-bottom-color: var(--accent);
}

/* ---------------------------------------------------------
   Home hero
--------------------------------------------------------- */
.hero {
  padding: 3.2rem 0 1.5rem;
  text-align: center;
}
.hero-photo {
  width: 148px;
  height: 148px;
  object-fit: cover;
  border-radius: 50%;
  border: 1px solid var(--rule);
  margin-bottom: 1.4rem;
}
.hero-name {
  font-size: clamp(1.9rem, 4vw, 2.6rem);
  font-weight: 600;
  margin: 0 0 0.4rem;
}
.hero-title {
  font-family: var(--mono);
  font-size: 0.85rem;
  color: var(--muted);
  margin: 0;
}
.hero-wave {
  display: block;
  width: 100%;
  height: 46px;
  margin-top: 1.8rem;
}
@media (prefers-reduced-motion: no-preference) {
  .hero-wave path {
    stroke-dasharray: 900;
    stroke-dashoffset: 900;
    animation: draw-wave 1.6s ease-out forwards;
  }
}
@keyframes draw-wave {
  to { stroke-dashoffset: 0; }
}

.home-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 2rem;
  margin: 2.5rem 0;
}
@media (max-width: 640px) {
  .home-grid { grid-template-columns: 1fr; }
}

.panel {
  padding: 1.6rem 0;
  border-top: 1px solid var(--rule);
}
.panel h2 {
  font-size: 1rem;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  font-family: var(--mono);
  font-weight: 500;
  color: var(--accent);
  margin: 0 0 0.9rem;
}
.eyebrow {
  color: var(--muted);
  font-style: italic;
  margin-top: -0.4rem;
}

.plain-list { list-style: none; margin: 0; padding: 0; }
.plain-list li { padding: 0.28rem 0; }
.books-list li { padding: 0.5rem 0; }
.inline-list { display: flex; flex-wrap: wrap; gap: 0 1.5rem; }
.inline-list li { padding: 0.15rem 0; }
.muted { color: var(--muted); font-size: 0.92em; }

/* ---------------------------------------------------------
   Page (cv, students, resresult, courses, publications)
--------------------------------------------------------- */
.page { padding: 2.5rem 0 4rem; }
.page-title {
  font-size: 1.8rem;
  margin: 0 0 1.6rem;
  padding-bottom: 1rem;
  border-bottom: 1px solid var(--rule);
}

.prose h2 {
  font-size: 1.25rem;
  margin: 2.2rem 0 0.8rem;
}
.prose h3 {
  font-size: 1.05rem;
  margin: 1.6rem 0 0.5rem;
  color: var(--accent);
}
.prose p { margin: 0.8rem 0; }
.prose ul, .prose ol { padding-left: 1.4rem; }
.prose li { margin: 0.35rem 0; }

.prose table {
  border-collapse: collapse;
  width: 100%;
  margin: 1rem 0 1.8rem;
  font-size: 0.95rem;
}
.prose table td, .prose table th {
  padding: 0.45rem 0.9rem 0.45rem 0;
  border-bottom: 1px solid var(--rule);
  vertical-align: top;
  text-align: left;
}
.prose table td:first-child {
  font-family: var(--mono);
  font-size: 0.85rem;
  color: var(--muted);
  white-space: nowrap;
}

.updated-note {
  font-family: var(--mono);
  font-size: 0.8rem;
  color: var(--muted);
  margin-top: -1rem;
}

/* ---------------------------------------------------------
   Publications list
--------------------------------------------------------- */
.pub-list {
  list-style: none;
  counter-reset: pub;
  margin: 0;
  padding: 0;
}
.pub-list > li {
  counter-increment: pub;
  position: relative;
  padding: 0.95rem 0 0.95rem 3rem;
  border-top: 1px solid var(--rule);
}
.pub-list > li:before {
  content: counter(pub) ".";
  position: absolute;
  left: 0;
  top: 0.95rem;
  width: 2.4rem;
  font-family: var(--mono);
  font-size: 0.85rem;
  color: var(--muted);
  text-align: right;
}
.pub-authors {
  display: block;
  font-style: italic;
  color: var(--muted);
  font-size: 0.95rem;
}
.pub-title { display: block; font-weight: 500; margin-top: 0.15rem; }
.pub-venue {
  display: block;
  font-style: italic;
  color: var(--muted);
  margin-top: 0.15rem;
}
.pub-links {
  display: block;
  margin-top: 0.4rem;
  font-family: var(--mono);
  font-size: 0.78rem;
}
.pub-links a {
  display: inline-block;
  margin-right: 0.8rem;
  padding: 0.1rem 0.5rem;
  border: 1px solid var(--rule);
  border-radius: 3px;
  text-decoration: none;
  color: var(--accent);
}
.pub-links a:hover { background: var(--accent-soft); border-color: var(--accent); }

/* ---------------------------------------------------------
   Courses
--------------------------------------------------------- */
.term-heading {
  font-family: var(--mono);
  font-size: 0.85rem;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  color: var(--accent);
  margin: 2.6rem 0 1rem;
  padding-bottom: 0.6rem;
  border-bottom: 1px solid var(--rule);
}
.course { padding: 1.4rem 0; border-top: 1px solid var(--rule); }
.term-block .course:first-of-type { border-top: none; }
.course-title { font-size: 1.1rem; margin: 0 0 0.3rem; }
.course-code {
  font-family: var(--mono);
  font-size: 0.78rem;
  color: var(--accent);
  background: var(--accent-soft);
  padding: 0.1rem 0.4rem;
  border-radius: 3px;
  margin-right: 0.6rem;
}
.course-schedule, .course-ta {
  font-family: var(--mono);
  font-size: 0.82rem;
  color: var(--muted);
  margin: 0.2rem 0;
}
.course-desc { margin: 0.6rem 0; }
.course-subhead {
  font-family: var(--mono);
  font-size: 0.75rem;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  color: var(--muted);
  margin: 0.9rem 0 0.3rem;
}
.course-links { margin-top: 0.7rem; }
.course-links a {
  display: inline-block;
  margin-right: 0.8rem;
  font-family: var(--mono);
  font-size: 0.8rem;
}

/* ---------------------------------------------------------
   Footer
--------------------------------------------------------- */
.site-footer {
  border-top: 1px solid var(--rule);
  background: var(--paper-raised);
  margin-top: 3rem;
  padding: 2.4rem 0;
  font-size: 0.9rem;
}
.footer-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 1.5rem;
}
@media (max-width: 640px) {
  .footer-grid { grid-template-columns: 1fr; }
}
.footer-heading {
  font-family: var(--mono);
  font-size: 0.72rem;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  color: var(--muted);
  margin: 0 0 0.5rem;
}
.site-footer p { margin: 0 0 0.8rem; line-height: 1.5; }

/* ---------------------------------------------------------
   Mobile nav
--------------------------------------------------------- */
@media (max-width: 640px) {
  .nav-toggle { display: block; }
  .site-nav { display: none; width: 100%; }
  .site-nav.open { display: block; }
  .site-nav ul { flex-direction: column; gap: 0.6rem; font-size: 0.9rem; }
}