:root {
  --paper: #fff;
  --ink: #252b34;
  --muted: #626c7b;
  --accent: #214ebe;
  --line: #dce3ef;
  --soft: #f4f7fd;
  --mono: 'SFMono-Regular', Consolas, 'Liberation Mono', monospace;
  --margin: 164px;
  --gutter: 44px;
}
* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 24px; }
body { margin: 0; color: var(--ink); background: var(--paper); font: 18px/1.7 -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; -webkit-font-smoothing: antialiased; }
a { color: var(--accent); text-decoration: none; text-underline-offset: 3px; }
a:hover { text-decoration: underline; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 4px; }
button { font: inherit; cursor: pointer; }
img { display: block; max-width: 100%; }
p { margin: 0 0 13px; }
h1, h2, h3, h4 { margin: 0; line-height: 1.4; }
[hidden] { display: none !important; }
.page-shell { width: min(1240px, calc(100% - 80px)); margin-inline: auto; }
.site-header { display: grid; grid-template-columns: var(--margin) minmax(0, 1fr); gap: var(--gutter); padding: 28px 0 20px; }
.wordmark { display: inline-flex; align-items: center; gap: 9px; font: 15px var(--mono); letter-spacing: .5px; color: var(--muted); }
.turnstile { color: var(--accent); font-size: 34px; line-height: 1; }
.site-header nav { display: flex; gap: 26px; font: 15px var(--mono); }
.site-header nav a { display: inline-flex; align-items: center; min-height: 44px; color: var(--muted); }
.site-header nav a[aria-current] { color: var(--accent); text-decoration: underline; text-decoration-thickness: 2px; text-underline-offset: 7px; }
.skip-link { position: fixed; top: -100px; left: 16px; z-index: 10; padding: 10px 16px; background: var(--ink); color: white; }
.skip-link:focus { top: 10px; }
.home-page { position: relative; }
.home-page::before { content: ''; position: absolute; top: 0; bottom: 25px; left: calc(var(--margin) + 21px); width: 1px; background: var(--line); pointer-events: none; }
.hero, .site-section { display: grid; grid-template-columns: var(--margin) minmax(0, 1fr); gap: var(--gutter); }
.hero { padding: 24px 0 38px; }
.portrait { margin: 4px 0 0; }
.portrait img { width: 120px; height: auto; filter: grayscale(0.5); }
.portrait figcaption { font: 12px/1.8 var(--mono); color: var(--muted); margin-top: 14px; }
.intro-content, .section-content { min-width: 0; }
.hero h1 { font-size: 44px; font-weight: 600; letter-spacing: -1.2px; line-height: 1.2; }
.research-focus { font: 18px/1.8 var(--mono); color: var(--accent); margin: 12px 0 22px; max-width: 800px; }
.bio { font-size: 18px; line-height: 1.8; }
.bio > p { margin-bottom: 13px; }
.contact-links { display: flex; align-items: center; flex-wrap: wrap; gap: 0 18px; margin-top: 16px; font: 15px var(--mono); }
.contact-links a { display: inline-flex; align-items: center; min-height: 36px; }
.bio-disclosures { display: flex; flex-wrap: wrap; gap: 0 24px; font-size: 15px; }
summary { cursor: pointer; }
summary::marker { color: var(--accent); font-size: 12px; }
.bio-disclosures summary { min-height: 32px; padding-block: 5px; color: var(--muted); }
.bio-disclosures details[open] { flex-basis: 100%; min-width: 0; }
.awards-disclosure ul { padding-left: 19px; }
.site-section { padding: 24px 0; }
.section-heading { align-self: start; padding-top: 2px; }
.section-heading h2 { font: 15px/1.7 var(--mono); color: var(--ink); font-weight: 600; }
.section-heading .text-link { display: inline-flex; align-items: center; margin-top: 5px; min-height: 30px; font: 14px var(--mono); }
.research-category + .research-category { margin-top: 20px; }
.category-heading { color: var(--accent); font-size: 15px; font-weight: 600; padding-left: 11px; border-left: 2px solid var(--accent); margin-bottom: 18px; }
.publication { margin: 0 0 24px; }
.publication:last-child { margin-bottom: 0; }
.publication-title { font-size: 18px; font-weight: 600; line-height: 1.55; }
.publication-title a { color: var(--ink); }
.publication-title a:hover { color: var(--accent); }
.publication-authors { font-size: 15px; line-height: 1.7; color: var(--muted); margin: 4px 0 3px; }
.publication-authors a { color: inherit; }
.publication-authors strong { font-weight: 600; color: var(--ink); }
.publication-venue { font-size: 14px; color: var(--muted); line-height: 1.7; }
.award-label { color: var(--accent); font: 12px var(--mono); margin-left: 8px; }
.award-label::before { content: '['; }
.award-label::after { content: ']'; }
.publication-links, .resource-links { display: flex; flex-wrap: wrap; align-items: baseline; gap: 0 16px; font: 14px/1.7 var(--mono); margin-top: 3px; }
.publication-links > a, .resource-links a { display: inline-flex; align-items: center; gap: 4px; min-height: 28px; }
.citation summary { min-height: 28px; padding-block: 4px; }
.citation[open] { flex-basis: 100%; min-width: 0; }
.citation pre { white-space: pre-wrap; overflow-wrap: anywhere; background: var(--soft); border-left: 2px solid var(--accent); padding: 14px; font: 14px/1.8 var(--mono); margin: 8px 0; }
.section-note, .small-note { color: var(--muted); font-size: 14px; margin: 20px 0 0; }
.artifact-badges { display: flex; gap: 8px; margin-top: 8px; }
.artifact-badges img { height: 40px; }
.talk { display: grid; grid-template-columns: 128px minmax(0, 1fr); gap: 18px; padding-bottom: 21px; }
.talk:last-child { padding-bottom: 0; }
.talk-date { color: var(--muted); font: 12px/1.8 var(--mono); padding-top: 2px; }
.talk :is(h2, h3) { font-size: 18px; line-height: 1.6; font-weight: 550; }
.talk p { font-size: 15px; color: var(--muted); margin: 4px 0 0; }
.background-details > details, .personal-details { border-bottom: 1px solid var(--line); font-size: 16px; }
.background-details > details:first-child > summary, .personal-details:first-child > summary { padding-top: 0; }
.background-details > details > summary, .personal-details > summary { padding-block: 12px; min-height: 44px; }
.background-details > details[open], .personal-details[open] { padding-bottom: 16px; }
.career-entry { font-size: 15px; margin: 12px 0 24px; }
.career-entry:last-child { margin-bottom: 0; }
.career-entry h4 { font-size: 16px; font-weight: 600; }
.career-entry h4 a { color: var(--ink); }
.career-entry p { margin: 3px 0; }
.career-date, .career-note { font-size: 14px; color: var(--muted); }
.experience-entry { margin: 16px 0 30px; }
.experience-entry h4 { font-size: 18px; padding-bottom: 10px; border-bottom: 1px solid var(--line); }
.background-details .career-stints { list-style: none; padding: 0; margin: 0; }
.career-stint { display: grid; grid-template-columns: 200px minmax(0, 1fr); gap: 28px; padding: 16px 0; }
.career-stint + .career-stint { border-top: 1px solid var(--line); }
.career-stint:last-child { padding-bottom: 0; }
.career-period .career-date { font: 13px/1.8 var(--mono); color: var(--ink); }
.career-location { color: var(--muted); font-size: 13px; }
.career-position { font-size: 16px; font-weight: 600; }
.career-team { color: var(--accent); }
.background-details ul, .personal-details > ul { padding-left: 18px; }
.personal-details > ul > li { margin-bottom: 9px; }
.personal-details > img { margin-top: 12px; }
.personal-details .friends-list { list-style: none; padding: 0; display: grid; grid-template-columns: 1fr 1fr; gap: 4px 30px; }
.friends-list li { display: flex; justify-content: space-between; gap: 12px; }
.friends-list span { color: var(--muted); font-size: 12px; text-align: right; }
.credits { color: var(--muted); font-size: 12px; line-height: 1.8; margin-top: 20px; }
.site-footer { padding: 22px 0 32px calc(var(--margin) + var(--gutter)); display: flex; justify-content: space-between; gap: 20px; color: var(--muted); font: 12px/1.8 var(--mono); }
.footer-dot { margin-inline: 5px; }
.archive-page { padding: 24px 0 35px calc(var(--margin) + var(--gutter)); }
.archive-header { margin-bottom: 34px; }
.archive-header h1 { font-size: 38px; font-weight: 600; letter-spacing: -.9px; margin: 6px 0 12px; }
.eyebrow { font: 14px/1.8 var(--mono); color: var(--muted); margin-bottom: 8px; }
.archive-header > p:not(.eyebrow) { font-size: 16px; color: var(--muted); max-width: 780px; }
.archive-header > p.small-note { font-size: 14px; }
.archive-page .publication { padding-bottom: 20px; border-bottom: 1px solid var(--line); }
.back-link { display: inline-flex; align-items: center; min-height: 44px; font: 14px var(--mono); margin-top: 25px; }
.lambda-mail .btn { border: 1px solid var(--line); border-radius: 0; padding: 5px 9px; background: var(--paper); color: var(--ink); font-size: 15px; cursor: pointer; }
.lambda-mail .btn-primary { background: var(--accent); color: white; border-color: var(--accent); }
.lambda-mail .lambda-term { font-size: 15px; background: var(--soft); border-color: var(--line); border-radius: 0; }
.lambda-mail .btn:disabled { cursor: default; }
/* Recording controls remain native, keyboard accessible, and touch friendly. */
.archive-header > p.recordings-lead { font-size: 20px; color: var(--ink); }
.recording-story { color: var(--muted); font-size: 16px; }
.recording-story summary { min-height: 44px; padding-block: 10px; font-size: 15px; }
.recording-story p { margin-top: 12px; }
.recordings-toolbar { margin-bottom: 25px; }
.recording-filters { display: flex; flex-wrap: wrap; gap: 6px; }
.tag-filter { min-height: 44px; padding: 8px 12px; border: 1px solid var(--line); background: transparent; color: var(--muted); font: 14px var(--mono); }
.tag-filter:hover { border-color: var(--accent); color: var(--accent); }
.tag-filter[aria-pressed="true"] { color: var(--accent); background: var(--soft); border-color: var(--accent); }
.recording-list-controls { display: flex; justify-content: space-between; align-items: center; gap: 12px; margin-top: 12px; font-size: 14px; color: var(--muted); }
.recording-list-controls p { margin: 0; }
#toggle-all-years { color: var(--accent); border: none; background: transparent; padding: 10px 0 10px 10px; min-height: 44px; font: 14px var(--mono); }
.recording-year { margin-bottom: 25px; }
.recording-year > summary { min-height: 44px; padding: 8px 0; border-bottom: 1px solid var(--line); }
.recording-year-label { font: 19px var(--mono); margin-left: 6px; }
.year-count { color: var(--muted); font-size: 12px; margin-left: 15px; }
.recording-item { border-bottom: 1px solid var(--line); }
.recording-item > summary { display: grid; grid-template-columns: 85px minmax(0, 1fr) 20px; align-items: baseline; gap: 16px; padding: 17px 0; list-style: none; }
.recording-item > summary::-webkit-details-marker { display: none; }
.recording-item > summary::after { content: '+'; color: var(--accent); font-size: 20px; text-align: right; }
.recording-item[open] > summary::after { content: '−'; }
.recording-item > summary:hover .recording-name { color: var(--accent); }
.recording-date { color: var(--muted); font: 12px/1.8 var(--mono); }
.recording-name { display: block; font-size: 18px; font-weight: 550; }
.recording-source { display: block; color: var(--muted); font-size: 14px; margin-top: 3px; }
.recording-details { margin-left: 101px; padding: 0 0 20px; }
.recording-metadata { display: flex; flex-wrap: wrap; gap: 8px 18px; color: var(--muted); font-size: 14px; margin-bottom: 12px; }
.recording-tag { color: var(--accent); }
.recording-audio { display: block; width: 100%; max-width: 100%; min-width: 0; height: 54px; }
.recording-download { display: inline-flex; align-items: center; min-height: 44px; color: var(--accent); font: 14px var(--mono); }
.audio-error { margin-top: 12px; color: var(--accent); font-size: 15px; }
@media (max-width: 1024px), (pointer: coarse) {
  .contact-links a, .section-heading .text-link, .publication-links > a, .resource-links a, .site-footer a { min-height: 44px; }
  .bio-disclosures summary, .citation summary { min-height: 44px; padding-block: 11px; }
  .lambda-mail .btn { min-height: 44px; }
}
@media (max-width: 800px) {
  :root { --margin: 130px; --gutter: 28px; }
  .page-shell { width: calc(100% - 48px); }
  .home-page::before { left: calc(var(--margin) + 12px); }
  .portrait img { width: 100px; }
  .portrait figcaption { font-size: 12px; }
  .section-heading h2 { font-size: 14px; }
  .talk { grid-template-columns: 1fr; gap: 4px; }
  .personal-details .friends-list { grid-template-columns: 1fr; }
  .career-stint { grid-template-columns: 160px minmax(0, 1fr); gap: 20px; }
}
@media (max-width: 600px) {
  .page-shell { width: calc(100% - 36px); }
  .site-header { display: flex; justify-content: space-between; gap: 15px; padding-block: 15px 10px; }
  .site-header nav { gap: 17px; font-size: 14px; }
  .wordmark { font-size: 12px; gap: 5px; }
  .turnstile { font-size: 24px; }
  .home-page::before { display: none; }
  .hero { display: block; position: relative; padding: 20px 0 24px; }
  .portrait { position: absolute; top: 23px; right: 0; margin: 0; }
  .portrait img { width: 56px; }
  .portrait figcaption { display: none; }
  .hero h1 { font-size: 38px; margin-right: 75px; }
  .research-focus { font-size: 14px; margin: 10px 75px 22px 0; }
  .bio { font-size: 16px; }
  .site-section { display: block; padding: 24px 0; border-top: 1px solid var(--line); }
  .section-heading { display: flex; justify-content: space-between; align-items: baseline; gap: 15px; margin-bottom: 19px; }
  .section-heading h2 { font-size: 14px; }
  .section-heading .text-link { margin-top: 0; flex-shrink: 0; }
  .category-heading { font-size: 15px; }
  .publication-title { font-size: 18px; }
  .publication { margin-bottom: 24px; }
  .publication-authors { font-size: 14px; }
  .career-stint { grid-template-columns: 1fr; gap: 8px; }
  .site-footer { padding-left: 0; flex-wrap: wrap; align-items: center; }
  .archive-page { padding: 22px 0 30px; }
  .archive-header h1 { font-size: 36px; }
  .recording-item > summary { grid-template-columns: minmax(0, 1fr) 20px; gap: 4px 12px; }
  .recording-date, .recording-label { grid-column: 1; }
  .recording-item > summary::after { grid-column: 2; grid-row: 1 / span 2; align-self: center; }
  .recording-details { margin-left: 0; }
}
@media (max-width: 360px) {
  .site-header { gap: 9px; }
  .site-header nav { gap: 13px; font-size: 13px; }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { animation: none !important; transition: none !important; }
}