:root {
  color-scheme: light;
  --paper: #faf9f6;
  --ink: #282b2e;
  --muted: #62676c;
  --line: #dcdedb;
  --link: #315d85;
}
* { box-sizing: border-box; }
html { scroll-padding-top: 24px; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 18px/1.7 Georgia, 'Times New Roman', serif; }
a { color: var(--link); text-decoration-thickness: 1px; text-underline-offset: 3px; }
a:hover { text-decoration-thickness: 2px; }
a:focus-visible, summary:focus-visible { outline: 2px solid var(--link); outline-offset: 5px; }
.wrap { width: min(100% - 48px, 760px); margin: auto; }
.site-header { display: flex; align-items: baseline; justify-content: space-between; gap: 24px; padding: 27px 0 22px; border-bottom: 1px solid var(--line); font-family: Arial, Helvetica, sans-serif; }
.brand { color: var(--ink); font-size: 24px; font-weight: 800; letter-spacing: -.9px; text-decoration: none; }
nav { display: flex; gap: 24px; font-size: 14px; }
nav a { color: var(--muted); text-decoration: none; }
nav a[aria-current='page'] { color: var(--ink); text-decoration: underline; }
.article-header { margin: 52px 0 42px; }
.date, .article-links, .aside, caption, .table-note, footer, .muted { color: var(--muted); font-family: Arial, Helvetica, sans-serif; }
.date { font-size: 14px; margin-bottom: 14px; }
h1, h2, h3 { color: var(--ink); font-family: Arial, Helvetica, sans-serif; font-weight: 600; }
h1 { font-size: clamp(32px, 5.3vw, 43px); line-height: 1.17; letter-spacing: -1.2px; margin: 0 0 25px; max-width: 730px; }
h2 { font-size: 25px; line-height: 1.3; letter-spacing: -.45px; margin: 0 0 18px; }
h3 { font-size: 19px; line-height: 1.4; margin: 30px 0 12px; }
p { margin: 0 0 20px; }
.lead { font-size: 21px; line-height: 1.6; }
.article-links { font-size: 14px; margin-top: 25px; }
section { margin: 42px 0; }
.aside { font-size: 14px; line-height: 1.6; }
.table-wrap { overflow-x: auto; margin: 24px 0 18px; }
table { width: 100%; border-collapse: collapse; font: 14px/1.5 Arial, Helvetica, sans-serif; font-variant-numeric: tabular-nums; }
caption { font-size: 13px; text-align: left; padding: 0 0 10px; }
th, td { border-bottom: 1px solid var(--line); padding: 12px 10px; text-align: left; vertical-align: top; }
th { font-weight: 500; }
thead th { border-top: 1px solid var(--line); color: var(--muted); font-size: 13px; }
th:first-child, td:first-child { padding-left: 0; }
th:last-child, td:last-child { padding-right: 0; }
.num { text-align: right; white-space: nowrap; }
.table-note { display: block; font-size: 12px; }
code { font: .85em/1.6 'Courier New', monospace; }
.formula { padding: 16px 0 16px 18px; border-left: 2px solid var(--line); margin: 24px 0; white-space: pre-wrap; overflow-wrap: anywhere; font-size: 16px; line-height: 1.6; }
.formula code { font-size: inherit; }
details { border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); padding: 13px 0; margin: 25px 0; }
summary { cursor: pointer; font: 15px/1.5 Arial, Helvetica, sans-serif; }
details p { font-size: 16px; margin: 16px 0 0; }
ul { padding-left: 24px; margin: 0 0 22px; }
li { margin-bottom: 8px; }
.source-list { font-size: 16px; }
.source-list .muted { font-size: 13px; }
.log-entry { margin: 40px 0; border-top: 1px solid var(--line); padding-top: 32px; }
.log-entry h2 { font-size: 28px; }
footer { display: flex; flex-wrap: wrap; gap: 12px 24px; align-items: center; border-top: 1px solid var(--line); margin-top: 56px; padding: 22px 0 32px; font-size: 12px; }
footer span:last-child { margin-left: auto; }
.skip { position: absolute; left: 16px; top: -80px; padding: 8px 14px; background: var(--ink); color: white; font: 16px Arial, sans-serif; }
.skip:focus { top: 8px; }
@media (max-width: 520px) {
  .wrap { width: calc(100% - 36px); }
  body { font-size: 17px; }
  .site-header { padding-top: 22px; gap: 16px; }
  nav { gap: 18px; font-size: 13px; }
  .brand { font-size: 22px; }
  .article-header { margin-top: 36px; }
  h1 { letter-spacing: -.7px; }
  .lead { font-size: 19px; }
  th, td { padding: 10px 7px; }
  table { font-size: 12px; }
  thead th { font-size: 12px; }
  .table-note { font-size: 11px; }
  .formula { font-size: 12px; padding-left: 12px; }
  footer span:last-child { margin-left: 0; }
}