/* The Manual's colors and type, in the shop's ink. It loads after manual.css. */
:root,
:root[data-theme="light"],
:root[data-theme="dark"] {
  --page: var(--board);
  --muted: var(--soft);
  --accent: #d12a0c;
  --code-bg: rgba(127, 127, 127, 0.14);
  --code-ink: var(--ink);
  --tip: var(--paper);
  --tip-line: var(--line);
  --svg-ink: var(--ink);
}
@media screen {
  body { font-family: var(--body); padding-top: 84px; }
  main h1, main h2, main h3 { font-family: var(--display); font-weight: 400; letter-spacing: -0.01em; }
}