/* One stylesheet, system fonts, no client-side JavaScript. */
:root { color-scheme: light; --paper: #faf9f6; --ink: #252522; --muted: #6b6b63; --line: #deded5; --link: #385b49; }
* { box-sizing: border-box; }
html { scroll-padding-top: 32px; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 17px/1.65 -apple-system, BlinkMacSystemFont, "Helvetica Neue", Arial, sans-serif; -webkit-font-smoothing: antialiased; }
a { color: var(--link); text-decoration-thickness: 1px; text-underline-offset: 3px; }
a:hover { color: var(--ink); }
a:focus-visible { outline: 2px solid var(--link); outline-offset: 5px; }
.shell { max-width: 826px; margin: 0 auto; padding: 48px 40px 40px; }
.site-header { margin-bottom: 54px; font-size: 14px; }
nav { display: flex; flex-wrap: wrap; align-items: center; justify-content: flex-end; gap: 28px; }
nav a { color: var(--muted); text-decoration: none; }
nav a:hover, nav a[aria-current] { color: var(--ink); text-decoration: underline; }
main { min-width: 0; }
h1, h2, h3, p { margin-top: 0; }
h1 { font-size: clamp(32px, 4vw, 40px); line-height: 1.18; font-weight: 500; letter-spacing: -1.2px; margin-bottom: 24px; }
p { margin-bottom: 18px; }
.intro { margin-bottom: 48px; }
.intro p { max-width: 640px; }
.affiliation, .meta, .note { color: var(--muted); font-size: 14px; }
.affiliation { margin-top: -12px; margin-bottom: 24px; }
section { border-top: 1px solid var(--line); padding-top: 26px; margin-top: 40px; scroll-margin-top: 25px; }
.section-title { font-size: 12px; font-weight: 500; letter-spacing: 1.3px; text-transform: uppercase; margin-bottom: 27px; }
.paper-list, .post-list { list-style: none; padding: 0; margin: 0; }
.paper { margin-bottom: 29px; }
.paper h3 { font-size: 17px; line-height: 1.45; font-weight: 500; margin-bottom: 5px; }
.paper h3 a { color: var(--ink); text-decoration: none; }
.paper h3 a:hover { text-decoration: underline; }
.paper p { font-size: 14px; line-height: 1.6; margin-bottom: 3px; }
.paper .resources { display: flex; flex-wrap: wrap; gap: 15px; margin-top: 5px; font-size: 13px; }
.post-list li { display: grid; grid-template-columns: 105px 1fr; gap: 16px; margin: 20px 0; }
time { color: var(--muted); font-size: 13px; }
footer { border-top: 1px solid var(--line); margin-top: 60px; padding-top: 20px; display: flex; justify-content: space-between; gap: 20px; font-size: 12px; color: var(--muted); }
footer a { color: inherit; }
.article h2 { margin-top: 36px; font-size: 24px; font-weight: 500; line-height: 1.3; }
.article h3 { margin-top: 28px; font-size: 19px; }
.article-header { margin-bottom: 38px; }
.article-header h1 { margin-bottom: 16px; }
.article { overflow-wrap: anywhere; }
.article img { max-width: 100%; height: auto; }
pre { overflow-x: auto; padding: 20px; background: #eeeee7; font-size: 13px; line-height: 1.6; border: 1px solid var(--line); }
code { font-family: ui-monospace, SFMono-Regular, Consolas, monospace; font-size: .85em; }
:not(pre) > code { background: #eeeee7; padding: 2px 4px; }
pre code { font-size: inherit; }
blockquote { margin: 24px 0; padding-left: 20px; border-left: 2px solid var(--line); color: var(--muted); }
table { display: block; max-width: 100%; overflow-x: auto; border-collapse: collapse; font-size: 14px; }
th, td { padding: 10px 16px; border-bottom: 1px solid var(--line); text-align: left; }
.skip { position: absolute; top: -80px; left: 20px; background: var(--paper); padding: 10px; }
.skip:focus { top: 10px; }
@media (max-width: 700px) {
 .shell { display: block; padding: 30px 24px; }
 nav { gap: 24px; }
 h1 { font-size: 34px; }
 .intro { margin-bottom: 36px; }
 .post-list li { grid-template-columns: 1fr; gap: 2px; }
}
@media print { .site-header, footer, .skip { display: none; } .shell { display: block; padding: 0; } body { background: white; color: black; } }