:root {
  --ink: #202b35;
  --body: #414b55;
  --muted: #69737c;
  --accent: #17665e;
  --cmu-red: #c41230; /* Carnegie Red */
  --line: #e3e7ea;
  --max: 820px;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Arial, sans-serif;
  color: var(--body);
  background: #fff;
  font-synthesis: none;
}
* { box-sizing: border-box; }
[hidden] { display: none !important; }
html { scroll-behavior: smooth; scroll-padding-top: 24px; }
body { margin: 0; font-size: 16px; line-height: 1.7; overflow-wrap: anywhere; }
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; text-underline-offset: 4px; }
a:focus-visible { outline: 2px solid var(--accent); outline-offset: 5px; }
h1, h2, h3, p { margin-top: 0; }
h1, h2, h3, strong { color: var(--ink); }
h1 { font-family: Georgia, "Times New Roman", serif; font-size: clamp(2.4rem, 6vw, 3rem); font-weight: 400; line-height: 1.2; letter-spacing: -.03em; margin-bottom: 18px; }
h2 { font-size: 1.4rem; font-weight: 600; line-height: 1.3; margin: 0; }
h3 { font-size: 1.05rem; font-weight: 600; line-height: 1.5; margin-bottom: 6px; }
p { margin-bottom: 12px; }
strong { font-weight: 600; }
main, .site-header, footer { width: min(var(--max), calc(100% - 48px)); margin-inline: auto; }
.site-header { display: flex; align-items: center; justify-content: space-between; gap: 24px; padding: 25px 0; border-bottom: 1px solid var(--line); }
.wordmark { color: var(--ink); font-family: Georgia, serif; font-size: 1.4rem; }
.wordmark span { color: var(--accent); }
nav { display: flex; flex-wrap: wrap; gap: 24px; font-size: .875rem; }
nav a { color: var(--body); }
.intro { display: flex; align-items: flex-start; gap: 40px; padding: 44px 0 36px; }
.intro-main { flex: 1 1 0; min-width: 0; }
.portrait { flex: 0 0 auto; width: 190px; aspect-ratio: 3 / 4; height: auto; object-fit: cover; border-radius: 3px; background: var(--line); }
.eyebrow { font-size: .8125rem; color: var(--muted); margin-bottom: 12px; }
.bio { max-width: 760px; }
.contact-links { display: flex; flex-wrap: wrap; gap: 10px 22px; font-size: .875rem; margin-top: 20px; }
.section { border-top: 1px solid var(--line); padding: 28px 0 12px; }
.section-heading { margin-bottom: 25px; }
.paper { margin-bottom: 27px; }
.paper-venue { font-size: .8125rem; color: var(--muted); margin-bottom: 6px; }
.paper-venue > span { margin-left: 8px; }
.paper-venue br { display: none; }
.paper-venue .oral { color: var(--cmu-red); font-weight: 600; }
.authors { font-size: .9375rem; margin-bottom: 7px; }
.paper-links { display: flex; align-items: baseline; flex-wrap: wrap; gap: 8px 18px; font-size: .8125rem; }
.paper-links:empty { display: none; }
.small { color: var(--muted); font-size: .8125rem; }
.footnote { margin-bottom: 6px; }
.education-entry { margin-bottom: 24px; }
.education-heading { display: flex; justify-content: space-between; align-items: baseline; gap: 10px 24px; }
.education-heading h3 { max-width: 540px; }
.education-heading > span { flex-shrink: 0; }
.education-entry p { margin-bottom: 3px; font-size: .9375rem; }
.education-entry .small { font-size: .8125rem; }
footer { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 8px 20px; border-top: 1px solid var(--line); padding: 20px 0 28px; color: var(--muted); font-size: .75rem; }
footer a { color: var(--muted); }
.skip-link { position: absolute; top: -100px; left: 20px; background: white; padding: 10px; z-index: 10; }
.skip-link:focus { top: 10px; }
@media (max-width: 600px) {
  main, .site-header, footer { width: calc(100% - 36px); }
  .intro { display: grid; grid-template-columns: 1fr auto; column-gap: 20px; row-gap: 0; align-items: start; padding: 32px 0 28px; }
  .intro-main { display: contents; }
  .intro h1 { grid-column: 1 / -1; }
  .intro .bio { grid-column: 1; }
  .intro .contact-links { grid-column: 1 / -1; }
  .portrait { grid-column: 2; grid-row: 2; width: clamp(110px, 34vw, 150px); }
  .education-heading { flex-direction: column; gap: 0; margin-bottom: 6px; }
  .education-heading > span { flex-shrink: 1; }
  .paper-venue { display: flex; flex-wrap: wrap; column-gap: 8px; }
  .paper-venue > span { margin-left: 0; }
  footer { flex-direction: column; }
}
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } }
@media print {
  .site-header, .contact-links, .portrait, footer { display: none; }
  main { width: 100%; }
  .intro { padding-top: 0; }
  .paper, .education-entry { break-inside: avoid; }
  body { font-size: 11pt; }
}