:root {
  --canvas: #fbf8f3;
  --surface: #ffffff;
  --ink: #211a1d;
  --muted: #6b5f64;
  --plum: #7a365a;
  --seam: #e8e1dd;
}
* { box-sizing: border-box; }
body {
  margin: 0;
  padding: 0 20px 72px;
  background: var(--canvas);
  color: var(--ink);
  font: 16px/1.65 -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
}
main { max-width: 680px; margin: 0 auto; }
header { padding: 40px 0 8px; }
.wordmark {
  font-family: Georgia, "Times New Roman", serif;
  letter-spacing: 0.16em;
  text-transform: uppercase;
  font-size: 15px;
  color: var(--plum);
  font-weight: 700;
}
h1 {
  font-family: Georgia, "Times New Roman", serif;
  font-size: 34px;
  line-height: 1.15;
  margin: 18px 0 6px;
}
h2 {
  font-family: Georgia, "Times New Roman", serif;
  font-size: 22px;
  margin: 34px 0 8px;
}
.updated { color: var(--muted); font-size: 14px; margin: 0 0 8px; }
.lede {
  background: var(--surface);
  border: 1px solid var(--seam);
  border-radius: 18px;
  padding: 18px 20px;
  margin: 22px 0 8px;
}
ul { padding-left: 22px; }
li { margin: 7px 0; }
a { color: var(--plum); }
code {
  background: #f1ece7;
  border-radius: 5px;
  padding: 1px 5px;
  font-size: 14px;
}
.langs { margin-top: 26px; font-size: 15px; }
footer {
  max-width: 680px;
  margin: 44px auto 0;
  padding-top: 18px;
  border-top: 1px solid var(--seam);
  color: var(--muted);
  font-size: 14px;
}
@media (prefers-color-scheme: dark) {
  :root {
    --canvas: #151013;
    --surface: #1e181b;
    --ink: #f2eaee;
    --muted: #a99ba2;
    --plum: #e7a8c9;
    --seam: #2e2529;
  }
  code { background: #2a2226; }
}

/* One page holding four documents. The jump list is how a reader -- or a
   store reviewer who was handed a single link -- gets to the one they came
   for without scrolling past the other three. */
h1 .alt { color: var(--muted); font-size: 24px; }
.jump {
  display: flex;
  flex-wrap: wrap;
  gap: 8px 14px;
  align-items: baseline;
  background: var(--surface);
  border: 1px solid var(--seam);
  border-radius: 18px;
  padding: 16px 20px;
  margin: 22px 0 8px;
  font-size: 15px;
}
.jump .lang {
  color: var(--muted);
  font-size: 13px;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  width: 100%;
}
.jump .lang + a { margin-left: 0; }
section { scroll-margin-top: 20px; }
section + section { margin-top: 8px; }
h2.doc {
  font-size: 30px;
  line-height: 1.15;
  margin: 54px 0 4px;
  padding-top: 30px;
  border-top: 1px solid var(--seam);
}
section:first-of-type h2.doc { border-top: 0; padding-top: 0; margin-top: 34px; }
h3 { font-size: 18px; margin: 22px 0 6px; }