/* D3: /docs/ restyled to the redesigned site's look (restyle ONLY: the page's content and what it publishes are unchanged; the owner has not
   decided yet whether the operator steps stay public). Loaded after the page's own <style>, so it only overrides tokens and a few surfaces. */
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) { --bg: #000; --surface: #0b0b0c; --surface-2: #141416; --border: rgba(245,243,239,.08); --border-strong: rgba(245,243,239,.16); }
}
:root[data-theme="dark"] { --bg: #000; --surface: #0b0b0c; --surface-2: #141416; --border: rgba(245,243,239,.08); --border-strong: rgba(245,243,239,.16); }
h1, h2, h3 { font-family: var(--font-sans); letter-spacing: -0.025em; }
h1 { font-weight: 600; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; border-radius: 4px; }
@media (prefers-reduced-motion: reduce) { *, *::before, *::after { transition: none !important; animation: none !important; scroll-behavior: auto !important; } }
/* light theme: the muted text (#8a8579) measured 3.7:1 on the page; this tone is 5.3:1 (AA). Dark-theme rules are more specific and keep their own value. */
:root { --muted: #6b665c; }