/* 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-2);
  --muted: var(--ink-2);
  --line: var(--line-2);
  --accent: var(--pin);
  --code-bg: var(--paper-2);
  --code-ink: var(--ink);
  --tip: var(--paper-2);
  --tip-line: var(--line-2);
  --svg-ink: var(--ink);
}
@media screen {
  body.frame-manual { background: var(--paper); font-family: var(--f-text); }
  body.frame-manual .sky { display: none; }
  body.frame-manual main { padding-top: calc(var(--head) + 16px); }
  main h1, main h2, main h3 { font-family: var(--f-text); font-weight: 800; letter-spacing: -0.01em; }
}