:root { color-scheme: light; --ink: #262626; --body: #484848; --muted: #707070; --line: #e9e8e6; }
* { box-sizing: border-box; }
html { background: #fdfdfc; }
body { margin: 0; color: var(--body); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Arial, sans-serif; font-size: 16px; line-height: 1.7; -webkit-font-smoothing: antialiased; }
a { color: var(--ink); text-decoration-color: #b7b7b3; text-underline-offset: 3px; text-decoration-thickness: 1px; }
a:hover { text-decoration-color: var(--ink); }
a:focus-visible, summary:focus-visible { outline: 2px solid #555; outline-offset: 5px; border-radius: 2px; }
.site-shell { max-width: 960px; padding: 78px 32px 64px; margin: 0 auto; display: grid; grid-template-columns: 118px minmax(0, 650px); gap: 64px; }
.navigation { display: flex; flex-direction: column; gap: 12px; align-items: flex-start; align-self: start; position: sticky; top: 48px; padding-top: 3px; font-size: 14px; }
.navigation a { color: var(--muted); text-decoration: none; padding: 3px 0; }
.navigation a:hover, .navigation a[aria-current] { color: var(--ink); text-decoration: underline; text-underline-offset: 5px; }
main { min-width: 0; }
h1, h2, h3 { color: var(--ink); font-weight: 550; line-height: 1.35; }
h1 { margin: 0 0 20px; font-size: 26px; letter-spacing: -.65px; }
h2 { font-size: 20px; letter-spacing: -.25px; margin: 0 0 14px; }
h3 { font-size: 17px; }
p { margin: 0 0 24px; }
.introduction { display: grid; grid-template-columns: minmax(0, 1fr) 124px; gap: 32px; align-items: start; margin-bottom: 28px; }
.introduction p { margin-bottom: 0; }
.portrait { display: block; width: 124px; height: auto; border-radius: 7px; }
.organisation { color: var(--ink); white-space: nowrap; }
.organisation-logo { height: 18px; width: auto; vertical-align: -.18em; margin-right: 5px; object-fit: contain; }
.organisation-logo--only { margin-right: 0; }
.organisation-logo--dark { background: #252b36; border-radius: 3px; }
.further-reading { margin-top: 32px; }
.footer { display: flex; gap: 20px; border-top: 1px solid var(--line); padding-top: 20px; margin-top: 32px; font-size: 14px; }
.footer a { color: var(--muted); }
.page-heading { margin-bottom: 32px; }
.page-heading p { margin-bottom: 0; }
.muted, .status { color: var(--muted); font-size: 14px; }
.entry { margin-top: 32px; padding-top: 28px; border-top: 1px solid var(--line); }
.entry p:last-child { margin-bottom: 0; }
.status { margin-bottom: 12px; }
.authors { font-size: 14px; line-height: 1.65; }
.paper-links { display: flex; gap: 20px; font-size: 14px; margin-top: 16px; }
details { font-size: 14px; margin: 16px 0; }
summary { cursor: pointer; width: fit-content; color: var(--muted); }
details p { margin-top: 12px; }
.back-link { display: inline-block; font-size: 14px; margin-bottom: 24px; }
.archive-list { list-style: none; padding: 0; }
.archive-list li { margin-bottom: 20px; }
.archive-list time { display: block; color: var(--muted); font-size: 14px; }
.prose img { max-width: 100%; height: auto; }
.prose .organisation-logo { height: 18px; }
.prose blockquote { margin: 24px 0; padding-left: 20px; border-left: 2px solid var(--line); }
.prose pre { overflow-x: auto; padding: 16px; background: #f3f3f1; font-size: 14px; }
.prose table { display: block; overflow-x: auto; border-collapse: collapse; }
.prose th, .prose td { padding: 8px 12px; border-bottom: 1px solid var(--line); }
.skip-link { position: absolute; top: -80px; left: 20px; background: white; padding: 10px 16px; z-index: 2; }
.skip-link:focus { top: 12px; }
@media (max-width: 800px) {
  .site-shell { padding: 48px 28px; gap: 36px; grid-template-columns: 90px minmax(0, 1fr); }
  .introduction { gap: 24px; grid-template-columns: minmax(0, 1fr) 110px; }
  .portrait { width: 110px; }
}
@media (max-width: 600px) {
  .site-shell { display: block; padding: 20px 24px 40px; }
  .navigation { position: static; flex-direction: row; gap: 28px; padding: 0 0 30px; }
  .navigation a { padding: 8px 0; }
  .introduction { display: flex; flex-direction: column-reverse; gap: 22px; margin-bottom: 24px; }
  h1 { font-size: 25px; margin-bottom: 16px; }
  .portrait { width: 112px; }
  .page-heading { margin-top: 10px; }
}
@media print {
  .site-shell { display: block; max-width: 700px; padding: 0; }
  .navigation, .skip-link { display: none; }
  body { font-size: 12pt; background: white; }
}