/* Academic pages: publications, teaching, talks, notes, AI for Mathematics. */
:root {
  --bg: #ffffff;
  --ink: #1d1d1f;
  --ink-2: #4a4a4f;
  --ink-3: #7a7a80;
  --rule: #e6e4e0;
  --accent: #9b1b1b;
  --tint: #faf7f5;
  --serif: "Source Serif 4", Georgia, serif;
  --sans: "Source Sans 3", system-ui, -apple-system, sans-serif;
  --mono: ui-monospace, Menlo, Consolas, monospace;
}
* { box-sizing: border-box; }
body { margin: 0; background: var(--bg); color: var(--ink); font: 400 18px/1.65 var(--serif); -webkit-font-smoothing: antialiased; }
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; text-underline-offset: 3px; }
.wrap { max-width: 880px; margin: 0 auto; padding: 0 24px; }

.top { border-bottom: 1px solid var(--rule); }
.top .wrap { display: flex; align-items: center; justify-content: space-between; gap: 20px; min-height: 64px; flex-wrap: wrap; }
.mark { font: 600 17px var(--sans); color: var(--ink); letter-spacing: .01em; }
.mark:hover { text-decoration: none; }
.top nav { display: flex; flex-wrap: wrap; gap: 4px 22px; font: 500 15px var(--sans); }
.top nav a { color: var(--ink-2); }
.top nav a:hover { color: var(--accent); text-decoration: none; }

.page { padding-top: 48px; padding-bottom: 56px; }
.page h1 { margin: 0 0 8px; font: 600 36px/1.2 var(--serif); letter-spacing: -.01em; }
.page .subtitle { margin: 0 0 8px; font: italic 400 21px/1.4 var(--serif); color: var(--ink-2); }
.page h1 + p, .page .subtitle + p { margin-top: 20px; }
.page h2 {
  margin: 44px 0 16px; padding-top: 28px; border-top: 1px solid var(--rule);
  font: 600 24px/1.3 var(--serif); color: var(--ink);
}
.page h2 a { color: inherit; }
.page h3 { margin: 28px 0 10px; font: 600 20px/1.35 var(--serif); }
.page p { margin: 0 0 16px; }
.page ul, .page ol { margin: 0 0 18px; padding-left: 1.4em; }
.page li { margin: 0 0 8px; }
.page li::marker { color: var(--ink-3); }
.page ol.pubs li { margin-bottom: 14px; padding-left: 4px; }
.page ol.pubs li.era { margin-top: 30px; }
.page .note { color: var(--ink-2); font-size: 17px; }
.page code { font: 400 .85em var(--mono); background: var(--tint); padding: 1px 5px; border-radius: 3px; }
.page pre { margin: 0 0 18px; padding: 14px 18px; border-radius: 4px; overflow-x: auto; font: 400 14px/1.55 var(--mono); }
.page pre code { background: none; padding: 0; font-size: inherit; }
.page table { border-collapse: collapse; margin: 0 0 18px; font-size: 16px; }
.page th, .page td { border-bottom: 1px solid var(--rule); padding: 6px 12px 6px 0; text-align: left; }
.page hr { border: 0; border-top: 1px solid var(--rule); margin: 32px 0; }
.page iframe { display: block; width: 100%; height: 78vh; border: 1px solid var(--rule); border-radius: 4px; margin: 24px 0; }
.page blockquote { margin: 0 0 18px; padding: 14px 22px; background: var(--tint); border-left: 3px solid var(--accent); color: var(--ink-2); }
.page img { max-width: 100%; height: auto; }

/* ---------- homepage ---------- */
.home .hero { display: grid; grid-template-columns: 220px 1fr; gap: 44px; padding: 56px 0 48px; align-items: start; }
.home .photo { width: 220px; height: auto; aspect-ratio: 220 / 253; object-fit: cover; border-radius: 4px; display: block; }
.home .sig { height: 50px; width: auto; display: block; margin: 2px 0 10px -4px; opacity: .9; }
.home h1 { margin: 0; font: 600 40px/1.15 var(--serif); letter-spacing: -.01em; }
.home .role { margin: 8px 0 22px; color: var(--ink-2); font-size: 18px; line-height: 1.5; }
.home .role span { display: block; }
.home dl.contact { margin: 0; display: grid; grid-template-columns: 110px 1fr; row-gap: 6px; font: 400 16px/1.5 var(--sans); }
.home dl.contact dt { color: var(--ink-3); }
.home dl.contact dd { margin: 0; color: var(--ink); }
.home section { padding: 36px 0; border-top: 1px solid var(--rule); }
.home h2 { margin: 0 0 14px; font: 600 13px var(--sans); letter-spacing: .14em; text-transform: uppercase; color: var(--accent); }
.home section p { margin: 0 0 14px; max-width: 40em; }
.home section p:last-child { margin-bottom: 0; }
.home .feature { background: var(--tint); border-left: 3px solid var(--accent); padding: 22px 26px; border-radius: 2px; }
.home .feature .motto { font: italic 400 22px/1.3 var(--serif); margin: 0 0 8px; }
.home .feature p { font-size: 17px; color: var(--ink-2); }
.home .more { font: 600 15px var(--sans); }
.home ul.links { list-style: none; padding: 0; margin: 0; display: grid; grid-template-columns: repeat(2, 1fr); gap: 10px 32px; font: 400 17px var(--sans); }
.home ul.links li span { color: var(--ink-3); font-size: 15px; }
@media (max-width: 720px) {
  .home .hero { grid-template-columns: 1fr; gap: 24px; padding-top: 32px; }
  .home .photo { width: 160px; }
  .home h1 { font-size: 34px; }
  .home dl.contact { grid-template-columns: 96px 1fr; }
  .home ul.links { grid-template-columns: 1fr; }
}

footer { border-top: 1px solid var(--rule); padding: 28px 0 48px; font: 400 14px var(--sans); color: var(--ink-3); }

@media (max-width: 720px) {
  body { font-size: 17px; }
  .top .wrap { padding-top: 12px; padding-bottom: 12px; }
  .page { padding-top: 32px; }
  .page h1 { font-size: 30px; }
}