:root {
  --paper:#faf9f6; --ink:#202d32; --muted:#5c666a; --rule:#dcded8;
  --accent:#165d5b; --tint:#edf2ef; --header-height:90px;
  --serif:Georgia,'Times New Roman',serif;
  --sans:-apple-system,BlinkMacSystemFont,'Segoe UI',sans-serif;
}
* { box-sizing:border-box; }
html { scroll-behavior:smooth; scroll-padding-top:calc(var(--header-height) + 24px); }
body { margin:0; background:var(--paper); color:var(--ink); font-family:var(--sans); font-size:17px; line-height:1.65; }
a { color:var(--accent); text-decoration:none; text-underline-offset:5px; }
a:hover { text-decoration:underline; }
a:focus-visible,button:focus-visible,summary:focus-visible { outline:3px solid var(--accent); outline-offset:4px; }
button,summary { font:inherit; }
.wrap { max-width:1140px; margin:auto; padding-left:36px; padding-right:36px; }
.preview-note { background:var(--tint); font-size:12px; text-align:center; padding:3px 12px; color:var(--muted); }
.site-header { position:sticky; top:0; z-index:10; background:var(--paper); display:flex; justify-content:space-between; align-items:center; gap:24px; padding-top:20px; padding-bottom:20px; border-bottom:1px solid var(--rule); }
.wordmark { color:var(--ink); font:24px/1.2 var(--serif); flex-shrink:0; }
.wordmark span { display:block; font:13px/1.4 var(--sans); color:var(--muted); margin-top:5px; }
.site-header nav { display:flex; align-items:center; gap:22px; font-size:15px; }
.site-header nav a { color:var(--ink); padding:8px 0; white-space:nowrap; }
.site-header nav [aria-current] { text-decoration:underline; text-decoration-thickness:2px; text-underline-offset:7px; }
.menu-toggle { display:none; color:var(--ink); background:transparent; border:1px solid var(--rule); border-radius:3px; padding:8px 12px; cursor:pointer; }
[hidden] { display:none !important; }
.skip { position:absolute; left:10px; top:-100px; background:white; padding:10px; z-index:20; }
.skip:focus { top:10px; }
h1,h2,h3 { font-family:var(--serif); font-weight:400; line-height:1.2; margin:0; overflow-wrap:anywhere; }
h1 { font-size:46px; letter-spacing:-1.3px; margin-bottom:20px; }
h2 { font-size:30px; letter-spacing:-.4px; }
h3 { font-size:25px; letter-spacing:-.25px; }
p { margin:14px 0; }
.reading { max-width:72ch; }
.eyebrow { text-transform:uppercase; letter-spacing:.075em; font-size:13px; line-height:1.5; font-weight:650; color:var(--accent); margin:0 0 12px; }
.lead { font-size:18px; line-height:1.65; max-width:65ch; }
.links { display:flex; align-items:center; flex-wrap:wrap; gap:10px 24px; font-size:15px; margin-top:20px; }
.links a { padding-top:8px; padding-bottom:8px; }
.profile-links { display:flex; flex-wrap:wrap; gap:8px 22px; font-size:15px; margin-top:8px; }
.profile-links a { padding:5px 0; }
.footer-email { display:block; margin-top:6px; }
.teaching-summary { display:grid; grid-template-columns:1fr 1.5fr; gap:40px; }
.teaching-summary p:first-child { margin-top:0; }
.teaching-summary a { display:inline-block; padding:6px 0; font-size:16px; }
.news-section .news>div { grid-template-columns:90px minmax(0,1fr); padding:15px 0; }
.news-section strong { font-weight:600; }
.archive-note { color:var(--muted); font-size:15px; }
.news-archive { max-width:950px; }
.primary { display:inline-flex; gap:20px; background:var(--accent); color:#fff; padding:10px 17px !important; }
.intro { display:grid; grid-template-columns:minmax(0,1fr) 205px; gap:50px; padding:42px 0 38px; align-items:start; }
.intro>div { grid-column:1; grid-row:1; }
.intro>.portrait { grid-column:2; grid-row:1; }
.appointment { font-size:16px; color:var(--muted); margin:0 0 12px; }
.intro h1 { margin-bottom:16px; }
.research-identity { font-size:27px; max-width:30ch; line-height:1.3; }
.intro-detail { max-width:68ch; color:var(--muted); font-size:16px; }
.portrait { margin:0; }
.portrait img { display:block; width:100%; height:248px; object-fit:cover; object-position:50% 35%; border-radius:2px; }
.section { padding:34px 0; border-top:1px solid var(--rule); }
.section-heading { margin-bottom:24px; }
.horizontal { display:flex; align-items:baseline; justify-content:space-between; gap:20px; }
.horizontal>a { font-size:15px; white-space:nowrap; }
.agenda h2 { max-width:35ch; }
.agenda>a,.lower-grid section>a { display:inline-block; padding:6px 0; font-size:16px; }
.contribution-grid,.themes { display:grid; grid-template-columns:repeat(auto-fit,minmax(min(100%,16em),1fr)); gap:30px; }
.contribution-grid article+article,.themes article+article { border-left:1px solid var(--rule); padding-left:28px; }
.contribution-grid h3 { font-size:24px; }
.contribution-grid p,.themes p { font-size:17px; }
.contribution-grid .eyebrow { font-size:13px; }
.contribution-grid a,.themes a { display:inline-block; padding:6px 0; font-size:15px; }
.contribution-grid .venue { font-size:14px; color:var(--muted); }
.number { display:block; font-size:14px; color:var(--muted); margin-bottom:14px; }
.lower-grid { display:grid; grid-template-columns:1fr 1fr; gap:55px; }
.lower-grid h2 { font-size:28px; }
.lower-grid p { font-size:17px; }
.news { margin:14px 0; }
.news>div { display:grid; grid-template-columns:78px 1fr; gap:16px; padding:12px 0; border-bottom:1px solid var(--rule); }
.news time { font-size:14px; color:var(--muted); padding-top:3px; }
.news p { margin:0; }
.page-intro { padding:36px 0 30px; max-width:900px; }
.page-intro h1 { max-width:26ch; }
.research-page .page-intro h1 { font-size:44px; }
.future { padding:26px 30px; background:var(--tint); border-left:3px solid var(--accent); margin-bottom:34px; }
.future p:last-child { max-width:72ch; margin-bottom:0; }
.works { display:flex; flex-direction:column; }
.work { display:grid; grid-template-columns:260px minmax(0,1fr); gap:34px; padding:28px 0; border-top:1px solid var(--rule); }
.work:first-child { padding-top:0; border-top:0; }
.work-image { background:white; border:1px solid var(--rule); display:flex; align-items:center; justify-content:center; min-height:180px; align-self:start; padding:14px; }
.work-image img { display:block; width:100%; height:170px; object-fit:contain; }
.work-copy>p { max-width:70ch; }
.work h3 { font-size:28px; }
.work .evidence { border-left:2px solid var(--accent); padding-left:14px; }
.work .paper-title { font-style:italic; font-size:16px; color:var(--muted); }
.work .links { margin-top:10px; }
.cv-intro { padding:30px 0 24px; }
.cv-intro h1 { margin-bottom:12px; font-size:42px; }
.cv-intro .links { margin-top:10px; }
.cv-date { font-size:14px; color:var(--muted); margin:12px 0 0; }
.cv-layout { display:grid; grid-template-columns:205px minmax(0,1fr); gap:45px; padding-bottom:35px; }
.cv-contents { align-self:start; position:sticky; top:calc(var(--header-height) + 24px); max-height:calc(100dvh - var(--header-height) - 48px); overflow-y:auto; }
.section-jump { border-top:1px solid var(--rule); border-bottom:1px solid var(--rule); padding:10px 0; }
.section-jump summary { font-size:15px; font-weight:600; cursor:pointer; padding:6px 0; }
.section-jump[open]>summary { margin-bottom:8px; }
.cv-contents nav { display:flex; flex-direction:column; }
.cv-contents a { display:block; font-size:15px; line-height:1.45; padding:8px 0; }
.cv-content { max-width:76ch; min-width:0; font-size:16px; }
.cv-section { border-top:1px solid var(--rule); padding:24px 0; }
.cv-section h2 { font-size:28px; margin-bottom:20px; }
.cv-section h3 { font-family:var(--sans); font-size:18px; font-weight:600; margin:26px 0 14px; line-height:1.45; }
.cv-section p,.cv-section li { font-size:16px; overflow-wrap:anywhere; }
.cv-section p { line-height:1.75; }
.cv-section ul,.cv-section ol { padding-left:24px; }
.cv-section li { padding:5px 0 10px 5px; }
.cv-section li::marker { color:var(--muted); font-size:14px; }
.cv-section strong { font-weight:600; }
.cv-content a { overflow-wrap:anywhere; }
.cv-content code { font-size:.95em; }
.publication-jump { margin-bottom:22px; max-width:850px; }
.publication-categories { display:flex; flex-wrap:wrap; gap:4px 24px; font-size:15px; }
.publication-categories a { padding:6px 0; }
.publication-content { max-width:78ch; font-size:17px; margin-bottom:30px; }
.publication-content h2 { font-family:var(--sans); font-size:22px; font-weight:600; line-height:1.45; margin:32px 0 16px; }
.publication-content h2:first-child { margin-top:0; }
.publication-list li { padding:14px 0 18px 8px; border-bottom:1px solid var(--rule); }
.publication-content li { font-size:17px; }
.publication-list li:last-child { border-bottom:0; }
.publication-list em { font-style:normal; font-weight:550; }
.publication-links { display:flex; gap:6px 20px; flex-wrap:wrap; margin-top:8px; font-size:15px; }
.publication-links a { padding:5px 0; }
.teaching-content { max-width:78ch; padding-bottom:25px; }
.teaching-content .cv-section p,.teaching-content .cv-section li { font-size:17px; }
footer { display:flex; justify-content:space-between; border-top:1px solid var(--rule); padding-top:22px; padding-bottom:28px; font-size:14px; color:var(--muted); gap:16px; }
@media(min-width:901px) {
  .section-jump summary { display:none; }
}
@media(max-width:900px) {
  :root { --header-height:80px; }
  .wrap { padding-left:24px; padding-right:24px; }
  .site-header { flex-wrap:wrap; gap:10px; padding-top:12px; padding-bottom:12px; }
  .site-header nav { flex-wrap:wrap; width:100%; gap:4px 20px; }
  .site-header[data-enhanced] .menu-toggle { display:block; font-size:15px; }
  .site-header[data-enhanced] nav { display:none; position:absolute; top:100%; left:0; right:0; background:var(--paper); padding:12px 24px; border-bottom:1px solid var(--rule); max-height:calc(100dvh - var(--header-height)); overflow-y:auto; }
  .site-header[data-enhanced].menu-open nav { display:flex; }
  .site-header nav a { padding:9px 0; }
  .intro { grid-template-columns:minmax(0,1fr) 160px; gap:28px; }
  .portrait img { height:200px; }
  h1 { font-size:40px; }
  .contribution-grid,.themes { gap:20px; }
  .contribution-grid article+article,.themes article+article { padding-left:20px; }
  .contribution-grid h3 { font-size:23px; }
  .lower-grid { gap:30px; }
  .cv-layout { grid-template-columns:1fr; gap:22px; }
  .cv-contents { position:static; max-height:none; overflow:visible; }
  .cv-contents nav { display:grid; grid-template-columns:1fr 1fr; column-gap:24px; }
  .cv-content { max-width:78ch; }
  .publication-categories { flex-direction:column; }
  .work { grid-template-columns:200px minmax(0,1fr); gap:24px; }
}
@media(max-width:600px) {
  :root { --header-height:70px; }
  .wrap { padding-left:22px; padding-right:22px; }
  .wordmark { font-size:21px; }
  .wordmark span { font-size:12px; }
  .site-header { padding-top:10px; padding-bottom:10px; }
  .intro { display:block; padding:26px 0; }
  .intro::after { content:""; display:table; clear:both; }
  .portrait { float:right; margin:0 0 12px 16px; }
  .portrait img { width:85px; height:102px; }
  h1,.cv-intro h1,.research-page .page-intro h1 { font-size:34px; letter-spacing:-.8px; }
  .research-identity { font-size:25px; }
  h2 { font-size:28px; }
  .appointment { font-size:15px; }
  .lead { font-size:18px; }
  .links { column-gap:18px; }
  .section { padding:26px 0; }
  .section-heading { margin-bottom:20px; }
  .horizontal { align-items:start; flex-direction:column; gap:10px; }
  .contribution-grid,.themes { grid-template-columns:1fr; gap:22px; }
  .contribution-grid article+article,.themes article+article { border-left:0; border-top:1px solid var(--rule); padding:22px 0 0; }
  .contribution-grid h3 { font-size:25px; }
  .lower-grid { grid-template-columns:1fr; gap:0; }
  .teaching-summary { grid-template-columns:1fr; gap:14px; }
  .news-section .news>div { grid-template-columns:1fr; gap:4px; }
  .page-intro,.cv-intro { padding:24px 0 20px; }
  .future { padding:22px; margin-bottom:26px; }
  .work { grid-template-columns:1fr; gap:22px; }
  .work-image { max-width:380px; width:100%; }
  .work-image img { height:180px; }
  .work h3 { font-size:26px; }
  .cv-section h2 { font-size:26px; }
  .cv-contents nav { grid-template-columns:1fr; }
  .publication-content h2 { font-size:21px; }
  .publication-content { padding-top:20px; }
  footer { flex-direction:column; gap:8px; }
}
@media(prefers-reduced-motion:reduce) { html { scroll-behavior:auto; } }
@media print {
  .preview-note,.site-header,.cv-contents,.skip,footer,.cv-intro .links,.section-jump,.links { display:none; }
  .wrap { max-width:none; padding:0; }
  .cv-layout,.intro { display:block; }
  .cv-intro { padding:0; }
  .cv-content,.publication-content { max-width:none; }
  .cv-section h2,.cv-section h3 { break-after:avoid; }
  .cv-section li { break-inside:avoid; }
  body { background:white; color:black; }
  a { color:inherit; }
}