:root {
  --bg: #fdfdfc;
  --fg: #1d1f21;
  --muted: #5b6066;
  --rule: #dedfe0;
  --link: #1f5fa8;
  --link-visited: #5b3f8f;
  --note-bg: #f3f5f7;
  --warn-bg: #fff6e5;
  --warn-rule: #c98a12;
  color-scheme: light dark;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #17191b;
    --fg: #e4e5e6;
    --muted: #a3a8ad;
    --rule: #34383c;
    --link: #8ab8ee;
    --link-visited: #b9a3e3;
    --note-bg: #202326;
    --warn-bg: #2b2414;
    --warn-rule: #d9a441;
  }
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--fg);
  font: 17px/1.6 system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
}
header.site, main { max-width: 46rem; margin: 0 auto; padding: 0 1rem; }
header.site { border-bottom: 1px solid var(--rule); }
header.site nav { display: flex; flex-wrap: wrap; align-items: baseline; gap: .25rem 1.5rem; padding: .9rem 0; }
header.site .home { font-weight: 600; color: var(--fg); text-decoration: none; }
header.site ul { display: flex; gap: 1.25rem; list-style: none; margin: 0; padding: 0; }
header.site ul a, header.site ul a:visited { color: var(--link); }
header.site ul a[aria-current="page"] { color: var(--fg); text-decoration: none; font-weight: 600; }
main { padding-top: 1.5rem; padding-bottom: 3rem; }
a { color: var(--link); text-underline-offset: .15em; }
a:visited { color: var(--link-visited); }
h1 { font-size: 1.75rem; line-height: 1.25; margin: .5rem 0 .75rem; }
h2 { font-size: 1.25rem; line-height: 1.3; margin: 2rem 0 .5rem; }
h3 { font-size: 1.05rem; margin: 1.25rem 0 .25rem; }
p, ul, ol, dl { margin: .6rem 0; }
li { margin: .2rem 0; }
code { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; font-size: .88em; overflow-wrap: anywhere; }
.lede { font-size: 1.1rem; color: var(--muted); }
.formula { overflow-x: auto; padding: .4rem 0 .4rem 1rem; border-left: 3px solid var(--rule); }
.notice, .warning { padding: .75rem 1rem; margin: 1rem 0; border-radius: 4px; }
.notice { background: var(--note-bg); }
.warning { background: var(--warn-bg); border-left: 4px solid var(--warn-rule); }
.notice p, .warning p { margin: .25rem 0; }
.facts { display: grid; grid-template-columns: max-content 1fr; gap: .35rem 1rem; border-top: 1px solid var(--rule); border-bottom: 1px solid var(--rule); padding: .75rem 0; }
.facts dt { font-weight: 600; }
.facts dd { margin: 0; }
@media (max-width: 34rem) {
  .facts { grid-template-columns: 1fr; }
  .facts dd { margin-bottom: .5rem; }
}
.crumbs ol { list-style: none; margin: 0; padding: 0; display: flex; flex-wrap: wrap; font-size: .9rem; color: var(--muted); }
.crumbs li + li::before { content: "›"; padding: 0 .4rem; }
.entry { border-top: 1px solid var(--rule); padding-top: .25rem; margin-top: 1.5rem; }
.entry h2 { margin-top: .75rem; }
.ident { color: var(--muted); font-size: .92rem; }
.empty { color: var(--muted); }
.skip { position: absolute; left: -999px; }
.skip:focus { left: 1rem; top: .5rem; background: var(--bg); padding: .25rem .5rem; }