:root {
  color-scheme: light;
  --paper: #fff;
  --ink: #203047;
  --body: #495b73;
  --muted: #64748b;
  --link: #245e9b;
  --line: #e5eaf0;
  --surface: #f5f8fc;
  font-family: "Segoe UI", "Noto Sans SC", "PingFang SC", "Microsoft YaHei", sans-serif;
  color: var(--ink);
  background: var(--paper);
  font-synthesis: none;
  text-rendering: optimizeLegibility;
}
* { box-sizing: border-box; }
html { scroll-padding-top: 24px; }
body { margin: 0; font-size: 17px; line-height: 1.8; }
a { color: var(--link); text-decoration: none; text-underline-offset: .23em; }
a:hover { text-decoration: underline; }
a:focus-visible, summary:focus-visible, [tabindex="0"]:focus-visible { outline: 2px solid var(--link); outline-offset: 5px; border-radius: 2px; }
main:focus { outline: none; }
img { display: block; max-width: 100%; height: auto; }
p, h1, h2, h3, ol, ul { margin: 0; }
p { color: var(--body); }
strong { font-weight: 600; }
.shell { width: min(1120px, calc(100% - 64px)); margin-inline: auto; }
.skip-link { position: absolute; left: 24px; top: -90px; z-index: 10; padding: 10px 20px; background: var(--paper); border: 2px solid var(--link); }
.skip-link:focus { top: 12px; }
.header { border-bottom: 1px solid var(--line); }
.nav { min-height: 80px; display: flex; justify-content: space-between; align-items: center; gap: 32px; }
.wordmark { color: var(--ink); font-size: 23px; font-weight: 650; line-height: 1.3; letter-spacing: -.25px; }
.nav-links { display: flex; align-items: center; gap: 36px; }
.nav-links a { padding-block: 8px; color: var(--body); font-size: 16px; font-weight: 600; }
.nav-links a:hover, .nav-links a[aria-current] { color: var(--link); }
.intro { padding: 60px 0 48px; display: grid; grid-template-columns: minmax(0, 1fr) 182px; gap: 72px; align-items: start; }
h1 { font-size: 46px; line-height: 1.23; letter-spacing: .01em; }
h1 span { display: block; margin-top: 5px; font-size: 28px; line-height: 1.35; color: #596982; letter-spacing: 0; font-weight: 600; }
.intro-copy > p { margin-top: 20px; }
.intro-copy .destination { margin-top: 24px; font-size: 16px; line-height: 1.85; }
.destination strong { color: var(--ink); }
.destination .stage { display: inline-block; }
.portrait { width: 182px; border: 1px solid var(--line); border-radius: 5px; }
.resources { display: flex; flex-wrap: wrap; align-items: baseline; column-gap: 24px; row-gap: 8px; }
.resources a, .resources summary { font-size: 16px; }
.intro-resources { margin-top: 24px; gap: 12px 28px; }
.intro-resources a { font-size: 17px; font-weight: 500; }
.section { padding-block: 40px; border-top: 1px solid var(--line); }
h2 { font-size: 28px; line-height: 1.35; letter-spacing: -.35px; font-weight: 650; }
h3 { font-size: 21px; line-height: 1.5; font-weight: 650; }
.section-heading { display: flex; justify-content: space-between; align-items: baseline; gap: 16px; }
.section-heading > p { color: var(--muted); font-size: 14px; }
.news { padding-block: 32px 36px; }
.news-list { list-style: none; padding: 0; margin-top: 22px; display: grid; gap: 13px; }
.news-list li { display: grid; grid-template-columns: 90px minmax(0, 1fr); gap: 22px; font-size: 16px; line-height: 1.75; }
.news-list time { color: var(--muted); font-variant-numeric: tabular-nums; }
.news-list a { color: var(--body); }
.news-list a:hover { color: var(--link); }
.paper { display: grid; grid-template-columns: minmax(0, 1fr) 32%; gap: 28px; padding: 30px 0; border-bottom: 1px solid var(--line); align-items: start; scroll-margin-top: 24px; }
.paper:first-of-type { padding-top: 28px; }
.paper-copy { min-width: 0; }
.paper-figure { margin: 0; min-width: 0; }
.paper-figure img { width: 100%; height: auto; border: 1px solid var(--line); border-radius: 4px; }
.paper-figure figcaption { margin-top: 8px; font-size: 13px; line-height: 1.6; }
.paper h3 { line-height: 1.4; font-size: 20px; margin-top: -3px; }
.authors { margin-top: 9px; line-height: 1.6; font-size: 16px; }
.authors strong { color: var(--ink); }
.citation { margin-top: 4px; color: var(--muted); font-size: 15px; line-height: 1.7; }
.citation em { font-style: normal; }
.paper-copy > p:not(.authors):not(.citation) { font-size: 16px; line-height: 1.8; margin-top: 10px; }
.paper-copy > p.result { color: var(--muted); margin-top: 5px; }
.paper-resources { margin-top: 12px; gap: 7px 22px; }
summary { cursor: pointer; color: var(--link); width: fit-content; }
summary:hover { text-decoration: underline; text-underline-offset: .23em; }
.bibtex { display: contents; }
.bibtex summary { display: inline-flex; align-items: center; gap: 8px; list-style: none; }
.bibtex summary::-webkit-details-marker { display: none; }
.bibtex summary::after { content: ""; width: 7px; height: 7px; border: solid currentColor; border-width: 0 1.7px 1.7px 0; transform: rotate(45deg) translateY(-2px); margin-right: 4px; }
.bibtex[open] summary::after { transform: rotate(225deg) translate(-2px, -1px); }
.bibtex pre { flex-basis: 100%; max-width: 100%; padding: 16px; margin: 8px 0 0; background: var(--surface); color: var(--body); border: 1px solid var(--line); border-radius: 4px; font: 13px/1.7 Consolas, "Cascadia Code", monospace; white-space: pre-wrap; overflow-wrap: anywhere; }
.section-note { margin-top: 17px; font-size: 14px; color: var(--muted); }
.projects > h2, .experience > h2, .honors > h2, .education > h2 { margin-bottom: 24px; }
.project { padding: 24px 0; border-bottom: 1px solid var(--line); }
.project:first-of-type { padding-top: 0; }
.project:last-of-type { padding-bottom: 0; border-bottom: 0; }
.entry-heading { display: flex; justify-content: space-between; align-items: baseline; gap: 24px; }
.entry-heading h3 { min-width: 0; }
.project h3 { font-size: 23px; overflow-wrap: anywhere; }
.entry-heading .resources { flex-shrink: 0; }
.project > p { margin-top: 10px; font-size: 16px; }
.project .stack { margin-top: 8px; color: var(--muted); }
.project .scope { font-size: 14px; margin-top: 4px; }
.experience-entry, .education-entry { padding: 24px 0; border-bottom: 1px solid var(--line); }
.experience-entry:first-of-type, .education-entry:first-of-type { padding-top: 0; }
.experience-entry:last-of-type, .education-entry:last-of-type { padding-bottom: 0; border-bottom: 0; }
.entry-date { flex-shrink: 0; font-size: 15px; color: var(--muted); text-align: right; }
.entry-date span { display: block; }
.entry-status { color: var(--ink); font-weight: 600; }
.experience-entry > p, .education-entry > p { margin-top: 9px; font-size: 16px; }
.award-list { list-style: none; padding: 0; }
.award-list li { display: grid; grid-template-columns: 64px minmax(0, 1fr); gap: 20px; padding: 10px 0; align-items: start; font-size: 16px; }
.award-list time { color: var(--muted); font-variant-numeric: tabular-nums; }
.award-list strong { color: var(--link); font-weight: 600; }
.award-context { display: block; color: var(--muted); font-size: 14px; }
.more-honors { margin-top: 18px; }
.more-honors > summary { font-size: 17px; }
.more-honors > summary span { font-size: 15px; }
.more-honors .award-list { margin-top: 12px; }
.pat { margin-top: 25px; font-size: 16px; }
.scope { color: var(--muted); }
.footer { border-top: 1px solid var(--line); padding-block: 26px 32px; display: flex; justify-content: space-between; align-items: baseline; gap: 20px; }
.footer > p, .footer .resources a, .footer .resources > span { font-size: 14px; }
.footer .resources { column-gap: 20px; }
.footer .resources > span { color: var(--muted); }
.footer .wordmark { font-size: 19px; }
.footer p { font-size: 14px; }
.document { padding-block: 52px 64px; max-width: 960px; }
.document h1 { font-size: 36px; line-height: 1.4; margin-bottom: 20px; }
.document h1 span { font-size: 24px; }
.document .lead { font-size: 18px; line-height: 1.85; }
.document > p { margin-top: 14px; }
.document section { margin-top: 36px; padding-top: 28px; border-top: 1px solid var(--line); }
.document h2 { margin-bottom: 20px; }
.document h3 { margin-top: 26px; }
.document p { margin-top: 12px; }
.document article + article { margin-top: 26px; }
.document article h3 { margin-top: 0; }
.document li { color: var(--body); margin-bottom: 10px; }
.document ul { padding-left: 23px; }
.table-scroll { overflow-x: auto; margin-block: 22px; }
table { width: 100%; border-collapse: collapse; text-align: left; font-size: 15px; }
th, td { padding: 12px; border-bottom: 1px solid var(--line); vertical-align: top; }
th { color: var(--ink); font-weight: 600; }
td { color: var(--body); }
.recovery { min-height: 60vh; }
.icon { width: 17px; height: 17px; display: inline-block; vertical-align: middle; fill: none; stroke: currentColor; stroke-width: 1.8; stroke-linecap: round; stroke-linejoin: round; }
@media (max-width: 1000px) {
  .intro { gap: 40px; }
  .entry-heading { flex-wrap: wrap; gap: 8px 20px; }
  .entry-date { text-align: left; }
  .entry-date span { display: inline; margin-left: 8px; }
  .award-list li { grid-template-columns: 60px minmax(0, 1fr); gap: 16px; }
  .footer { flex-wrap: wrap; gap: 10px; }
}
@media (max-width: 760px) {
  .shell { width: calc(100% - 48px); }
  .nav { min-height: 102px; padding-block: 18px; gap: 12px; flex-wrap: wrap; }
  .wordmark { font-size: 21px; }
  .nav-links { width: 100%; justify-content: space-between; gap: 14px; }
  .nav-links a { font-size: 15px; padding-block: 3px; }
  .intro { grid-template-columns: minmax(0, 1fr) 120px; gap: 0 24px; padding-block: 36px; }
  .portrait { width: 120px; }
  h1 { font-size: 36px; }
  h1 span { font-size: 24px; }
  .intro-copy > p, .intro-resources { grid-column: 1 / -1; }
  .intro-copy { display: contents; }
  .intro h1 { grid-column: 1; grid-row: 1; align-self: start; padding-top: 8px; }
  .intro .portrait { grid-column: 2; grid-row: 1; }
  .intro-copy .destination { margin-top: 24px; }
  .intro-copy > p { margin-top: 16px; font-size: 16px; }
  .intro-resources { margin-top: 20px; gap: 10px 24px; }
  .intro-resources a { font-size: 16px; }
  .section { padding-block: 32px; }
  h2 { font-size: 26px; }
  .news-list li { grid-template-columns: 72px minmax(0, 1fr); gap: 14px; font-size: 15px; }
  .news-list { gap: 16px; margin-top: 24px; }
  .paper { grid-template-columns: 1fr; gap: 22px; padding-block: 26px; }
  .paper-figure { width: min(100%, 440px); }
  .paper h3 { font-size: 20px; }
  .paper-copy > p:not(.authors):not(.citation) { font-size: 15px; }
  .entry-heading { display: block; }
  .entry-heading .resources { margin-top: 8px; gap: 20px; }
  .project h3 { font-size: 22px; line-height: 1.4; }
  .project > p, .experience-entry > p, .education-entry > p { font-size: 15px; }
  .entry-date { margin-top: 7px; font-size: 14px; }
  .experience-entry h3, .education-entry h3 { font-size: 19px; }
  .award-list li { grid-template-columns: 48px minmax(0, 1fr); gap: 4px 16px; font-size: 15px; padding-block: 9px; }
  .award-list strong { grid-column: 2; }
  .award-context { font-size: 13px; margin-top: 2px; }
  .footer { display: block; padding-block: 24px 32px; }
  .footer .resources { margin-top: 10px; gap: 8px 18px; }
  .document { padding-block: 36px 48px; }
  .document h1 { font-size: 28px; }
  .document h1 span { font-size: 22px; }
  .document .lead { font-size: 16px; }
  .document p, .document li { font-size: 15px; }
  .document h3 { font-size: 19px; }
  table { min-width: 580px; }
}
@media (max-width: 360px) {
  .shell { width: calc(100% - 40px); }
  .intro { grid-template-columns: minmax(0, 1fr) 94px; column-gap: 16px; }
  .portrait { width: 94px; }
  h1 { font-size: 32px; }
  h1 span { font-size: 20px; }
  .intro h1 { padding-top: 5px; }
  .intro-copy .destination { font-size: 15px; }
  .section-heading { display: block; }
  .section-heading > p { margin-top: 8px; }
  .news-list li { grid-template-columns: 1fr; gap: 3px; }
  .news-list time { font-size: 14px; }
  .paper h3 { font-size: 19px; }
  .project h3 { font-size: 21px; }
  .award-list li { column-gap: 10px; }
}
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } }
@media print {
  @page { size: A4; margin: 15mm; }
  html { scroll-behavior: auto; }
  body { font-size: 10pt; line-height: 1.55; }
  .shell { width: 100%; max-width: none; }
  .header, .skip-link, .footer { display: none; }
  .document { padding: 0; }
  .document h1 { font-size: 23pt; margin-bottom: 10pt; }
  .document h1 span { display: inline; margin-left: 8pt; font-size: 17pt; }
  .document h2 { font-size: 15pt; margin-bottom: 8pt; break-after: avoid; }
  .document h3 { font-size: 11pt; margin-top: 12pt; break-after: avoid; }
  .document p, .document li { font-size: 9.5pt; line-height: 1.55; margin-top: 5pt; }
  .document section { margin-top: 16pt; padding-top: 12pt; }
  .document article { break-inside: avoid; }
  a { color: var(--ink); }
  h1, h2, h3 { break-after: avoid; }
}