:root {
  color-scheme: light;
  --background: #ffffff;
  --foreground: #24272d;
  --muted: #606771;
  --link: #1755a4;
  --link-hover: #0e3c78;
  --selection: #dbeafe;
  --rule: #dce1e7;
}
* { box-sizing: border-box; }
html { font-size: 100%; }
body {
  margin: 0;
  background: var(--background);
  color: var(--foreground);
  font-family: "SF Mono", "SFMono-Regular", ui-monospace, Menlo, Consolas, "Liberation Mono", monospace;
  font-size: 1rem;
  line-height: 1.6;
  -webkit-font-smoothing: antialiased;
}
.site-shell { width: min(100% - 3rem, 650px); margin: 70px auto 48px; }
h1, h2, h3, h4 { color: var(--foreground); line-height: 1.4; }
h1 { margin: 0 0 1.4rem; font-size: 1.5rem; font-weight: 700; letter-spacing: -0.04em; }
h2 { margin: 2.4rem 0 1.2rem; font-size: 1rem; font-weight: 700; }
h3 { margin: 0; font-size: 1rem; font-weight: 400; }
p { margin: 0 0 1.35rem; }
a { color: var(--link); text-decoration: none; text-underline-offset: 0.2em; overflow-wrap: anywhere; }
a:hover, a:focus-visible { color: var(--link-hover); text-decoration: underline; }
.introduction a, .cv-content p a { text-decoration: underline; }
a:focus-visible, summary:focus-visible { outline: 2px solid var(--link); outline-offset: 5px; }
::selection { background: var(--selection); color: var(--foreground); }
nav { display: flex; flex-wrap: wrap; gap: 0.5rem 1.5rem; }
.home-header h1 { margin-bottom: 1.2rem; }
.home-header p { margin-bottom: 1.35rem; }
.research { margin-top: 2.5rem; }
.research h2 { margin-top: 0; }
.research-area + .research-area { margin-top: 2.2rem; }
.research-area-title { margin: 0 0 0.6rem; font-weight: 700; }
ol.bibliography { list-style: none; padding: 0; margin: 0; }
ol.bibliography > li { margin: 0 0 1.6rem; }
.selected-paper h4 { margin: 0; font-size: 1rem; font-weight: 400; line-height: 1.5; }
.metadata, .copyright { color: var(--muted); font-size: 0.875rem; }
.selected-paper .metadata { margin: 0.35rem 0 0; }
.site-footer { margin-top: 3.2rem; }
.site-footer nav { font-size: 0.875rem; gap: 0.5rem 1.4rem; }
.contact-email { margin: 1.1rem 0 0; font-size: 0.875rem; overflow-wrap: anywhere; }
.copyright { margin: 1.5rem 0 0; }
.page-header { margin-bottom: 2rem; }
.site-name { display: inline-block; font-weight: 700; color: var(--foreground); }
a[aria-current="page"] { text-decoration: underline; }
.publication-links { display: flex; flex-wrap: wrap; gap: 0.4rem 1rem; margin-top: 0.6rem; font-size: 0.875rem; }
.publication-title { margin-bottom: 0.5rem; }
.publication-authors { margin: 0 0 0.45rem; font-size: 0.875rem; }
.publication-venue { margin: 0; }
.cv-content h2 { margin-top: 3rem; }
.cv-download { margin: -0.4rem 0 1.8rem; font-size: 0.875rem; }
.cv-content h3 { margin: 1.8rem 0 0.6rem; font-weight: 700; }
.cv-content li { margin-bottom: 0.8rem; }
.cv-content .bibliography h3 { margin: 0 0 0.5rem; font-weight: 400; }
.cv-content ul { padding-left: 1.4rem; }
details { margin-top: 0.7rem; }
summary { color: var(--link); cursor: pointer; width: fit-content; }
details p { margin: 0.6rem 0 0; }
pre { overflow-x: auto; padding: 1rem; border: 1px solid var(--rule); font-size: 0.875rem; }
code { font-family: inherit; }
img { max-width: 100%; height: auto; }
blockquote { border-left: 2px solid var(--rule); margin-left: 0; padding-left: 1.2rem; }
table { display: block; max-width: 100%; overflow-x: auto; border-collapse: collapse; }
th, td { padding: 0.5rem; border-bottom: 1px solid var(--rule); text-align: left; }
.post-list { list-style: none; padding: 0; }
.post-list li { margin-bottom: 2rem; }
.post-list h2 { margin: 0 0 0.5rem; font-weight: 400; }
.post-header { margin-bottom: 2.4rem; }
.post-header h1 { margin-bottom: 0.8rem; }
.pagination { margin-top: 2rem; }
.skip-link { position: absolute; top: 0; left: 1.5rem; padding: 0.6rem; background: var(--background); transform: translateY(-120%); }
.skip-link:focus { transform: translateY(0); }
@media (max-width: 520px) {
  .site-shell { width: calc(100% - 2.5rem); margin-top: 40px; }
  h1 { font-size: 1.4rem; }
}