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