:root { color-scheme: light; --ink:#171717; --link:#193a83; --rule:#b4b4b4; --muted:#626262; }
* { box-sizing:border-box; }
html { scroll-behavior:smooth; }
body { max-width:880px; margin:48px auto 36px; padding:0 26px; background:#fff; color:var(--ink); font:18px/1.56 Georgia,"Times New Roman",serif; }
a { color:var(--link); text-underline-offset:3px; text-decoration-thickness:1px; }
a:visited { color:#58447c; }
a:hover { color:#000; }
a:focus-visible,summary:focus-visible { outline:2px solid var(--link); outline-offset:5px; }
.skip { position:absolute; left:12px; top:-100px; background:#fff; padding:8px; }
.skip:focus { top:8px; }
.masthead { text-align:center; }
.masthead h1,.masthead .site-name { font-size:35px; font-weight:normal; letter-spacing:.025em; line-height:1.2; margin:0 0 8px; }
.masthead h1 a,.masthead .site-name a { color:var(--ink); text-decoration:none; }
.masthead p { margin:0 0 24px; font-size:16px; color:var(--muted); }
nav { padding:13px 0; border-top:1px solid var(--rule); border-bottom:1px solid var(--rule); font-size:16px; }
nav a { display:inline-block; margin:0 17px; }
main { margin-top:37px; }
h2 { font-size:25px; line-height:1.3; font-weight:normal; margin:0 0 23px; }
h3 { font-size:20px; line-height:1.4; font-weight:normal; margin:0 0 7px; }
p { margin:0 0 15px; }
.intro { max-width:705px; margin:0 0 35px; font-size:18px; }
.year { border-bottom:1px solid #ddd; padding-bottom:10px; margin:38px 0 27px; font-size:24px; }
.papers { padding:0; margin:0; list-style:none; }
.paper { display:grid; grid-template-columns:126px minmax(0,1fr); gap:17px; margin:0 0 30px; }
.paper time { font-size:14px; color:var(--muted); padding-top:4px; }
.paper p { font-size:16px; line-height:1.52; margin:0 0 7px; }
.paper .meta { font-size:13px; color:var(--muted); }
.paper .pdf { font-size:14px; white-space:nowrap; }
.paper .part { display:block; font-size:13px; color:var(--muted); margin:0 0 3px; }
.note { font-size:14px; color:var(--muted); max-width:730px; }
.about { border-top:1px solid var(--rule); margin-top:40px; padding-top:30px; }
.about p { max-width:720px; font-size:16px; }
.about h2 { margin-bottom:14px; }
footer { border-top:1px solid var(--rule); padding-top:18px; margin-top:40px; display:flex; gap:20px; justify-content:space-between; flex-wrap:wrap; color:var(--muted); font-size:13px; }
footer p { margin:0; }
footer a { margin-right:17px; }
.breadcrumb { font-size:14px; margin-bottom:27px; }
.article h1 { font-size:31px; line-height:1.25; font-weight:normal; margin:0 0 18px; overflow-wrap:break-word; }
.article .sub { font-size:20px; line-height:1.45; color:#444; }
.article .article-meta { color:var(--muted); font-size:14px; margin:20px 0 31px; }
.article .download { padding:20px 0; margin:27px 0; border-top:1px solid #ccc; border-bottom:1px solid #ccc; }
.article .download a { font-size:20px; }
.article .download span { font-size:14px; color:var(--muted); }
.article section { margin-top:30px; }
.article section h2 { font-size:22px; margin-bottom:12px; }
.article section p,.legal p,.legal li { font-size:16px; }
.longform { max-width:720px; margin:0 auto; }
.longform>p,.longform section p { font-size:18px; line-height:1.7; }
.longform .breadcrumb,.longform .article-meta { font-size:14px; }
.longform .sub { font-size:20px; line-height:1.5; }
.longform section { margin-top:39px; scroll-margin-top:20px; }
.longform section h2 { font-size:25px; line-height:1.35; margin-bottom:17px; }
.longform li { font-size:17px; margin-bottom:12px; line-height:1.65; }
.article-toc { font-size:14px; line-height:2; margin:27px 0 34px; }
.article-toc a { margin:0 8px 0 0; }
.article-figure { margin:30px 0; overflow-x:auto; }
.article-figure svg { min-width:660px; }
.article-figure figcaption { font-size:14px; color:var(--muted); line-height:1.5; margin:8px 0; }
.longform .equation { padding:12px 16px; border-left:2px solid #b4b4b4; background:#fafafa; overflow-x:auto; }
.legal { max-width:760px; }
.legal h1 { font-size:30px; font-weight:normal; }
.legal h2 { font-size:22px; margin:28px 0 12px; }
address { font-style:normal; font-size:17px; line-height:1.7; }
details { font-size:13px; color:var(--muted); margin-top:30px; overflow-wrap:anywhere; }
summary { cursor:pointer; }
@media(max-width:600px) {
  body { margin-top:30px; padding:0 20px; font-size:17px; }
  .masthead h1,.masthead .site-name { font-size:31px; }
  .masthead p { font-size:15px; }
  nav a { margin:0 11px; }
  main { margin-top:29px; }
  .intro { font-size:17px; }
  .paper { grid-template-columns:1fr; gap:5px; margin-bottom:30px; }
  .paper time { padding:0; font-size:13px; }
  h3 { font-size:19px; }
  .article h1 { font-size:27px; }
  .longform>p,.longform section p { font-size:17px; }
  .longform section h2 { font-size:23px; }
  footer { gap:10px; }
}
@media(prefers-reduced-motion:reduce) { html { scroll-behavior:auto; } }
@media print { body { max-width:none; margin:0; } nav,.skip,footer { display:none; } a { color:#000; } .paper { break-inside:avoid; } }