:root { color-scheme: light; --ink: #252525; --navy: #304571; --muted: #585858; --line: #e2e3e6; --gutter: clamp(1.25rem, 4vw, 2rem); }
* { box-sizing: border-box; }
html { font-size: 100%; scroll-behavior: smooth; }
body { margin: 0; background: #fff; color: var(--ink); font-family: Georgia, "Times New Roman", serif; font-size: 1rem; line-height: 1.55; overflow-wrap: anywhere; }
img { max-width: 100%; height: auto; }
a { color: var(--navy); text-underline-offset: 3px; }
a:hover { color: #13254a; }
a:focus-visible, summary:focus-visible { outline: 2px solid var(--navy); outline-offset: 5px; }
.skip-link { position: absolute; left: 20px; top: -80px; background: white; padding: 10px; z-index: 2; }
.skip-link:focus { top: 10px; }
.masthead { display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; gap: .5rem 1.5rem; max-width: 1440px; padding: 12px var(--gutter); margin: auto; }
.site-name { font-size: 1.25rem; color: #414141; text-decoration: none; }
nav { display: flex; flex-wrap: wrap; align-items: center; justify-content: center; gap: .25rem clamp(.5rem, 2vw, 1.5rem); }
nav a { display: inline-flex; align-items: center; justify-content: center; min-height: 44px; min-width: 44px; color: var(--muted); text-decoration: none; padding: 8px 4px; }
nav a[aria-current="page"] { color: var(--navy); box-shadow: 0 1px var(--navy); }
.page-heading { text-align: center; color: var(--navy); margin: clamp(1.75rem, 4vw, 3.125rem) auto clamp(2.25rem, 6vw, 4.75rem); padding: 0 var(--gutter); }
h1 { font-size: clamp(2rem, 1.5rem + 2vw, 2.7rem); line-height: 1.2; margin: 0; }
.home-heading { margin-bottom: clamp(2.25rem, 6vw, 5.125rem); }
.home-heading p { font-size: clamp(1.0625rem, 1rem + .3vw, 1.2rem); margin: 13px 0 0; }
.home-intro { display: grid; grid-template-columns: minmax(0, 300px) minmax(0, 1fr); gap: clamp(2rem, 6vw, 6rem); align-items: start; max-width: 940px; padding: 0 var(--gutter); margin: 0 auto; }
.portrait { display: block; width: 100%; height: auto; }
.biography { min-width: 0; padding-top: 4px; }
p { margin: 0 0 17px; }
.biography a { font-weight: bold; }
.biography .contact { margin-top: 36px; margin-bottom: 4px; }
.location { color: var(--muted); font-size: .9375rem; }
.site-footer { max-width: 1100px; padding: clamp(2rem, 5vw, 3rem) var(--gutter) 32px; margin: auto; text-align: center; color: #4a4a4a; font-size: .9375rem; }
.site-footer p { margin: 0; }
.site-footer span { margin: 0 10px; }
.document { width: calc(100% - var(--gutter) - var(--gutter)); max-width: 1050px; margin: 0 auto 16px; }
.document h2 { color: var(--navy); font-size: 1.5rem; margin: 0 0 30px; }
.paper { margin: 0 0 36px; padding: 0 0 32px; border-bottom: 1px solid var(--line); }
.paper:last-child { border-bottom: 0; }
.paper h3 { font-size: 1.1875rem; line-height: 1.5; margin: 0 0 10px; color: #202020; }
.paper-authors { margin-bottom: 14px; }
.paper-status { color: var(--navy); margin: -3px 0 17px; font-weight: bold; }
.presentations { margin-top: 18px; margin-bottom: 0; color: #454545; }
details { margin: 14px 0; }
summary { cursor: pointer; color: var(--navy); width: fit-content; max-width: 100%; min-height: 44px; padding: 9px 0; }
details p { margin: 14px 0 0; }
.document .subsection-heading { margin-top: 52px; }
.teaching-document { max-width: 900px; min-height: 350px; }
.teaching-list { list-style: none; padding: 0; margin: 0; }
.teaching-list li { margin-bottom: 36px; padding-bottom: 30px; border-bottom: 1px solid var(--line); }
.teaching-list strong { font-size: 1.1875rem; display: block; margin-bottom: 8px; }
.teaching-list span { display: block; color: var(--muted); }
/* Stack before the biography becomes a narrow column on tablets. */
@media (max-width: 48rem) {
  .home-intro { grid-template-columns: minmax(0, 1fr); justify-items: center; gap: 2rem; max-width: 42rem; }
  .portrait { width: clamp(12rem, 45vw, 16.25rem); }
  .biography { width: 100%; padding: 0; }
}
@media (max-width: 36rem) {
  .masthead { flex-direction: column; gap: 4px; padding-top: 16px; }
  nav { width: 100%; gap: .25rem clamp(.375rem, 2vw, .75rem); }
  .home-heading p { margin-top: 10px; }
  .biography .contact { margin-top: 26px; }
  .site-footer { font-size: .875rem; }
  .site-footer span { display: block; height: 4px; visibility: hidden; }
  .document h2 { font-size: 1.35rem; }
  .teaching-document { min-height: 0; }
}
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } }