/* The Manual's colors and type, from this look's tokens. It loads after manual.css. */
:root,
:root[data-theme="light"],
:root[data-theme="dark"] {
  --page: var(--paper);
  --panel: var(--paper);
  --ink: var(--ink);
  --muted: var(--mute);
  --line: var(--thin);
  --accent: var(--hot);
  --code-bg: var(--wash);
  --code-ink: var(--ink);
  --tip: var(--wash);
  --tip-line: var(--thin);
  --svg-ink: var(--ink);
}
@media screen {
  body { font-family: var(--serif); }
  main h1, main h2, main h3 { font-family: var(--serif); font-weight: 700; letter-spacing: -0.01em; }
}