
/* ==================================================================================================
   Hypernova Desktop Components - documentation
   ==================================================================================================
   The same design language as binarymission.co.uk, which this site is published inside: the main
   site's ten theme palettes under the same html[data-theme] selectors, its type stack, and the
   same stored choice (localStorage "bm-theme"), so a reader's theme follows them from the main
   site into the docs and back. No framework, no build step. HANDOVER 3aw.

   The palettes are the main site's assets/style.css as of 10 September 2026, after its WCAG pass:
   --accent-ink for accent-coloured text and --text-faint lifted to 4.5:1. Copy them again from
   there if they change; this file is generated into docs/site/assets/site.css.
   ================================================================================================== */

/* ---- theme palettes (from binarymission.co.uk assets/style.css) ----------------------------- */
:root,
html[data-theme="dark"] {
  --bg: #0a0d14; --bg-alt: #0d1119; --surface: #12161f; --surface-2: #171c27;
  --border: rgba(255, 255, 255, 0.08); --border-strong: rgba(255, 255, 255, 0.14); --text: #eef1f7;
  --text-dim: #aab2c5; --text-faint: #7f8697; --accent: #7c6cf6; --accent-2: #4f9dff;
  --accent-ink: #4f9dff; --accent-3: #22d3c9; --btn-ink: #060810;
  --shadow: 0 20px 60px -20px rgba(0, 0, 0, 0.6); --bg-radial-1: rgba(124, 108, 246, 0.22);
  --bg-radial-2: rgba(79, 157, 255, 0.14);
}
html[data-theme="light"] {
  --bg: #f6f7fb; --bg-alt: #eef0f6; --surface: #ffffff; --surface-2: #f4f5fa;
  --border: rgba(15, 23, 42, 0.09); --border-strong: rgba(15, 23, 42, 0.16); --text: #12141c;
  --text-dim: #4b5468; --text-faint: #626a7c; --accent: #6d5ef0; --accent-2: #2f7fe0;
  --accent-ink: #2864af; --accent-3: #0fb8ac; --btn-ink: #ffffff;
  --shadow: 0 20px 50px -22px rgba(30, 41, 59, 0.25); --bg-radial-1: rgba(109, 94, 240, 0.12);
  --bg-radial-2: rgba(47, 127, 224, 0.10);
}
html[data-theme="ocean"] {
  --bg: #061820; --bg-alt: #08212b; --surface: #0d2733; --surface-2: #123240;
  --border: rgba(255, 255, 255, 0.07); --border-strong: rgba(255, 255, 255, 0.13); --text: #e6f6f7;
  --text-dim: #9fc4c9; --text-faint: #789ea3; --accent: #17b8c4; --accent-2: #2f9bff;
  --accent-ink: #45a6fe; --accent-3: #5fe0c0; --btn-ink: #04141a;
  --shadow: 0 20px 60px -20px rgba(0, 0, 0, 0.65); --bg-radial-1: rgba(23, 184, 196, 0.20);
  --bg-radial-2: rgba(47, 155, 255, 0.14);
}
html[data-theme="sunset"] {
  --bg: #1a0f14; --bg-alt: #20131a; --surface: #26161f; --surface-2: #2e1a26;
  --border: rgba(255, 255, 255, 0.08); --border-strong: rgba(255, 255, 255, 0.14); --text: #fbeef0;
  --text-dim: #d3aab0; --text-faint: #a38188; --accent: #f6607c; --accent-2: #ff9a4f;
  --accent-ink: #ff9a4f; --accent-3: #c86cf6; --btn-ink: #1a0508;
  --shadow: 0 20px 60px -20px rgba(0, 0, 0, 0.6); --bg-radial-1: rgba(246, 96, 124, 0.22);
  --bg-radial-2: rgba(255, 154, 79, 0.16);
}
html[data-theme="aurora"] {
  --bg: #08131c; --bg-alt: #0a1826; --surface: #0f1f30; --surface-2: #142839;
  --border: rgba(255, 255, 255, 0.08); --border-strong: rgba(255, 255, 255, 0.14); --text: #eaf6f2;
  --text-dim: #a9c9c0; --text-faint: #729790; --accent: #33e0a1; --accent-2: #4f9dff;
  --accent-ink: #4f9dff; --accent-3: #9b6cf6; --btn-ink: #04140f;
  --shadow: 0 20px 60px -20px rgba(0, 0, 0, 0.62); --bg-radial-1: rgba(51, 224, 161, 0.18);
  --bg-radial-2: rgba(155, 108, 246, 0.16);
}
html[data-theme="royal"] {
  --bg: #0f0a1c; --bg-alt: #140f24; --surface: #1a1330; --surface-2: #20193a;
  --border: rgba(255, 255, 255, 0.08); --border-strong: rgba(255, 255, 255, 0.15); --text: #f1edfb;
  --text-dim: #c1b3e0; --text-faint: #9283b1; --accent: #a06cf6; --accent-2: #6c7bf6;
  --accent-ink: #7b88f7; --accent-3: #e0b256; --btn-ink: #0c0616;
  --shadow: 0 20px 60px -20px rgba(0, 0, 0, 0.65); --bg-radial-1: rgba(160, 108, 246, 0.22);
  --bg-radial-2: rgba(224, 178, 86, 0.10);
}
html[data-theme="mint"] {
  --bg: #f2faf6; --bg-alt: #e9f6ef; --surface: #ffffff; --surface-2: #eefaf3;
  --border: rgba(6, 78, 59, 0.10); --border-strong: rgba(6, 78, 59, 0.18); --text: #0b1f18;
  --text-dim: #3f6357; --text-faint: #57736a; --accent: #12b886; --accent-2: #0ea5c4;
  --accent-ink: #0d6f7f; --accent-3: #7cc957; --btn-ink: #ffffff;
  --shadow: 0 20px 50px -22px rgba(6, 78, 59, 0.20); --bg-radial-1: rgba(18, 184, 134, 0.14);
  --bg-radial-2: rgba(14, 165, 196, 0.10);
}
html[data-theme="forest"] {
  --bg: #0a140e; --bg-alt: #0d1a12; --surface: #122016; --surface-2: #17281c;
  --border: rgba(255, 255, 255, 0.08); --border-strong: rgba(255, 255, 255, 0.14); --text: #eaf6ee;
  --text-dim: #a9c9b2; --text-faint: #72977d; --accent: #4fce6b; --accent-2: #2fb39c;
  --accent-ink: #2fb39c; --accent-3: #a9e05a; --btn-ink: #06120a;
  --shadow: 0 20px 60px -20px rgba(0, 0, 0, 0.6); --bg-radial-1: rgba(79, 206, 107, 0.18);
  --bg-radial-2: rgba(47, 179, 156, 0.14);
}
html[data-theme="slate"] {
  --bg: #121317; --bg-alt: #16171c; --surface: #1c1e24; --surface-2: #23252c;
  --border: rgba(255, 255, 255, 0.07); --border-strong: rgba(255, 255, 255, 0.13); --text: #eceef2;
  --text-dim: #a7acb8; --text-faint: #8b8f96; --accent: #7c8cf6; --accent-2: #5fb0d9;
  --accent-ink: #5fb0d9; --accent-3: #c8ccd6; --btn-ink: #0a0b0e;
  --shadow: 0 20px 60px -20px rgba(0, 0, 0, 0.55); --bg-radial-1: rgba(124, 140, 246, 0.16);
  --bg-radial-2: rgba(95, 176, 217, 0.12);
}
html[data-theme="amber"] {
  --bg: #160f06; --bg-alt: #1c1308; --surface: #241a0c; --surface-2: #2c2010;
  --border: rgba(255, 255, 255, 0.08); --border-strong: rgba(255, 255, 255, 0.14); --text: #fbf1e3;
  --text-dim: #d9bd94; --text-faint: #9f8b6a; --accent: #f6a93c; --accent-2: #f66c4f;
  --accent-ink: #f66d50; --accent-3: #e0c250; --btn-ink: #160a02;
  --shadow: 0 20px 60px -20px rgba(0, 0, 0, 0.6); --bg-radial-1: rgba(246, 169, 60, 0.20);
  --bg-radial-2: rgba(246, 108, 79, 0.14);
}

/* ---- derived tokens: what this site needs, in terms of the palette ------------------------- */
:root {
  --line: var(--border-strong);
  --line-soft: var(--border);
  --accent-bg: color-mix(in srgb, var(--accent-2) 14%, transparent);
  --code-bg: var(--surface-2);
  --gradient: linear-gradient(120deg, var(--accent-2) 0%, var(--accent) 55%, var(--accent-3) 100%);
  /* Type badges carry their own ground, so one set reads on all ten themes. */
  --kind-class:#7b3fb8; --kind-interface:#0f7b6c; --kind-enum:#9a5b16;
  --kind-struct:#1257a8; --kind-delegate:#a02b56;
  --radius: 12px;
  --header-h: 60px;
  --mono: "JetBrains Mono", ui-monospace, "Cascadia Mono", "SFMono-Regular", Consolas, "Liberation Mono", monospace;
  --sans: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
  --display: "Sora", "Inter", -apple-system, "Segoe UI", Roboto, sans-serif;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: calc(var(--header-h) + 16px); }

/* ---- scroll bars that belong to the theme ---------------------------------------------------- */
/* The browser drew its own light-grey scroll bars on every theme, a bright strip down a dark page
   (the owner, 2026-09-10). color-scheme tells it which of its two sets to use - it also themes the
   picker's drop-down - and the thumb is then a thin, rounded tint of the theme's own text colour on
   no track at all, brighter under the pointer. scrollbar-color and scrollbar-width are the standard
   (Chrome 121+, Firefox, Edge); the ::-webkit-scrollbar rules are for the browsers before them,
   which ignore the standard properties - and newer ones ignore those rules once these are set. */
html { color-scheme: dark; }
html[data-theme="light"], html[data-theme="mint"] { color-scheme: light; }
* { scrollbar-width: thin; scrollbar-color: color-mix(in srgb, var(--text-faint) 55%, transparent) transparent; }
*:hover { scrollbar-color: color-mix(in srgb, var(--text-faint) 85%, transparent) transparent; }
::-webkit-scrollbar { width: 10px; height: 10px; }
::-webkit-scrollbar-track, ::-webkit-scrollbar-corner { background: transparent; }
::-webkit-scrollbar-thumb { background-color: color-mix(in srgb, var(--text-faint) 55%, transparent);
                            border: 2px solid transparent; border-radius: 10px; background-clip: padding-box; }
::-webkit-scrollbar-thumb:hover { background-color: color-mix(in srgb, var(--text-faint) 85%, transparent); }
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } }
body {
  margin: 0; background: var(--bg); color: var(--text);
  font: 15px/1.65 var(--sans); -webkit-font-smoothing: antialiased;
  transition: background .25s ease, color .25s ease;
}
a { color: var(--accent-ink); text-decoration: none; }
a:hover { text-decoration: underline; }
/* A link inside running text must not rely on colour alone (WCAG 1.4.1), as on the main site. */
main p a, main li a, main dd a, .note a { text-decoration: underline; text-underline-offset: 2px;
  text-decoration-color: color-mix(in srgb, currentColor 45%, transparent); }
:focus-visible { outline: 2px solid var(--accent-2); outline-offset: 2px; border-radius: 4px; }
code, pre, .sig { font-family: var(--mono); font-size: 13px; }
code { background: var(--code-bg); padding: .1em .35em; border-radius: 4px; color: var(--text); }
pre { background: var(--code-bg); border: 1px solid var(--line-soft); border-radius: var(--radius);
      padding: 14px 16px; overflow-x: auto; line-height: 1.55; }
pre code { background: none; padding: 0; }
hr { border: 0; border-top: 1px solid var(--line-soft); margin: 32px 0; }

.skip { position: fixed; top: 8px; left: 8px; z-index: 200; padding: 8px 14px; border-radius: 99px;
        background: var(--accent); color: var(--btn-ink); font-weight: 700;
        transform: translateY(-160%); transition: transform .18s ease; }
.skip:focus { transform: none; text-decoration: none; }

/* ---- chrome ---------------------------------------------------------------------------------- */
header.top {
  position: sticky; top: 0; z-index: 20; height: var(--header-h);
  background: color-mix(in srgb, var(--bg) 92%, transparent);
  border-bottom: 1px solid var(--line-soft); display: flex; align-items: center; gap: 16px;
  padding: 0 22px;
}
header.top .brand { display: flex; align-items: center; gap: 10px; color: var(--text); white-space: nowrap; }
header.top .brand:hover { text-decoration: none; }
.brand-mark { display: grid; place-items: center; width: 32px; height: 32px; border-radius: 9px;
              background: var(--gradient); color: var(--btn-ink); font: 700 13px/1 var(--display);
              letter-spacing: -.02em; flex: none; }
.brand-name { font: 700 15px/1.15 var(--display); letter-spacing: -.01em; }
.brand-name small { display: block; font: 500 11px/1.3 var(--sans); color: var(--text-faint); letter-spacing: .02em; }
header.top nav { display: flex; gap: 4px; margin-left: 8px; }
header.top nav a { color: var(--text-dim); font-size: 14px; font-weight: 500; padding: 6px 10px; border-radius: 8px; }
header.top nav a:hover { background: var(--surface); color: var(--text); text-decoration: none; }
header.top nav a.active { color: var(--text); background: var(--surface); }
header.top .spacer { flex: 1; }
#q {
  width: min(320px, 34vw); padding: 7px 11px; border: 1px solid var(--line);
  border-radius: 8px; background: var(--surface); color: var(--text); font: inherit; font-size: 13.5px;
}
#q::placeholder { color: var(--text-faint); }
#q:focus { outline: 2px solid var(--accent-bg); border-color: var(--accent-2); }
.theme-pick { display: flex; align-items: center; gap: 7px; }
.theme-swatch { width: 15px; height: 15px; border-radius: 50%; flex: none;
                border: 1px solid var(--border-strong); background: var(--gradient); }
.theme-picker {
  appearance: none; -webkit-appearance: none; cursor: pointer;
  padding: 6px 26px 6px 10px; border-radius: 8px; border: 1px solid var(--line);
  background-color: var(--surface); color: var(--text); font: inherit; font-size: 13px;
  background-image: linear-gradient(45deg, transparent 50%, currentColor 50%), linear-gradient(135deg, currentColor 50%, transparent 50%);
  background-position: right 12px center, right 7px center; background-size: 5px 5px, 5px 5px; background-repeat: no-repeat;
}
.theme-picker option { background: var(--surface); color: var(--text); }
header.top .home { color: var(--text-dim); font-size: 13.5px; font-weight: 500; white-space: nowrap; }
header.top .home:hover { color: var(--text); }

.layout { display: grid; grid-template-columns: 272px minmax(0,1fr); gap: 0; align-items: start; }
aside {
  position: sticky; top: var(--header-h); max-height: calc(100vh - var(--header-h)); overflow-y: auto;
  border-right: 1px solid var(--line-soft); padding: 22px 14px 60px; background: var(--bg-alt);
}
aside h3 { font: 600 11px/1.4 var(--sans); text-transform: uppercase; letter-spacing: .09em;
           color: var(--text-faint); margin: 20px 9px 7px; }
aside h3:first-child { margin-top: 0; }
aside a { display: block; padding: 5px 10px; border-radius: 7px; color: var(--text-dim); font-size: 13.5px;
          white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
aside a:hover { background: var(--surface); text-decoration: none; color: var(--text); }
/* The current page: full-strength text on the accent wash, marked by an accent bar. Accent text on
   the wash measured 4.45:1 on the light theme, over the sidebar's darker ground. */
aside a.active { background: var(--accent-bg); color: var(--text); font-weight: 600;
                 box-shadow: inset 3px 0 0 var(--accent-2); }
/* A dotted namespace or a long generic signature is one unbreakable word; let it break rather
   than push a phone-width page sideways. It only applies where a line would otherwise overflow. */
main { padding: 34px 44px 90px; max-width: 1000px; overflow-wrap: anywhere; }
body > main { max-width: 1100px; margin: 0 auto; }
.page { max-width: 1100px; margin: 0 auto; }

/* ---- typography ------------------------------------------------------------------------------ */
h1, h2, h3 { font-family: var(--display); color: var(--text); }
h1 { font-size: 32px; line-height: 1.18; letter-spacing: -.025em; margin: 0 0 8px; }
/* Solid text, not the gradient: the gradient's teal end falls below 3:1 on the light grounds. */
h1.hero { font-size: clamp(32px, 4.4vw, 46px); letter-spacing: -.03em; }
h2 { font-size: 21px; letter-spacing: -.015em; margin: 42px 0 12px;
     padding-bottom: 8px; border-bottom: 1px solid var(--line-soft); }
h3 { font-size: 16px; margin: 26px 0 8px; }
.eyebrow { display: inline-block; margin: 0 0 12px; padding: 3px 11px; border-radius: 999px;
           background: var(--accent-bg); color: var(--accent-ink); font-size: 12px; font-weight: 600;
           letter-spacing: .06em; text-transform: uppercase; }
.lede { color: var(--text-dim); font-size: 16.5px; margin: 0 0 22px; max-width: 70ch; }
.crumb { font-size: 12.5px; color: var(--text-faint); margin-bottom: 10px; }
.crumb a { color: var(--text-faint); text-decoration: none; }

/* ---- badges ---------------------------------------------------------------------------------- */
.badges { display: flex; flex-wrap: wrap; gap: 6px; margin: 0 0 20px; }
.badge { font-size: 11.5px; padding: 2.5px 9px; border-radius: 999px;
         border: 1px solid var(--line-soft); color: var(--text-dim); background: var(--surface);
         max-width: 100%; }
.badge.k { border-color: transparent; color: #fff; font-weight: 600; }
.badge.k.class { background: var(--kind-class); }
.badge.k.interface { background: var(--kind-interface); }
.badge.k.enum { background: var(--kind-enum); }
.badge.k.struct { background: var(--kind-struct); }
.badge.k.delegate { background: var(--kind-delegate); }
.badge.k.record { background: var(--kind-struct); }
.badge.obsolete { background: #b3261e; border-color: transparent; color: #fff; }

/* ---- cards ----------------------------------------------------------------------------------- */
.grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(268px,1fr)); gap: 14px; }
.card { border: 1px solid var(--line-soft); border-radius: var(--radius); padding: 16px 17px;
        background: var(--surface); transition: border-color .15s, transform .15s, box-shadow .15s; }
.card:hover { border-color: var(--accent-2); transform: translateY(-2px); box-shadow: var(--shadow); }
.card a { font-weight: 650; font-size: 15px; color: var(--text); }
.card p { margin: 6px 0 10px; color: var(--text-dim); font-size: 13.5px; line-height: 1.55; }
.card .meta { font-size: 11.5px; color: var(--text-faint); font-family: var(--mono); }

/* ---- member tables --------------------------------------------------------------------------- */
.members { width: 100%; border-collapse: collapse; margin: 4px 0 8px; }
.members td { border-top: 1px solid var(--line-soft); padding: 9px 10px 9px 0; vertical-align: top;
               overflow-wrap: anywhere; }
.members tr:first-child td { border-top: 0; }
.members td.n { width: 34%; }
.members td.n code { background: none; padding: 0; color: var(--text); font-weight: 600; }
.members td.d { color: var(--text-dim); font-size: 13.5px; }
.member { border-top: 1px solid var(--line-soft); padding: 18px 0 4px; }
.member:first-of-type { border-top: 0; }
.member h4 { margin: 0 0 8px; font-size: 15px; font-family: var(--mono); color: var(--text); overflow-wrap: anywhere; }
h1 { overflow-wrap: anywhere; }
.member h4 .mods { color: var(--text-faint); font-weight: 400; }
.sig { background: var(--code-bg); border-left: 3px solid var(--accent-2);
       padding: 9px 13px; border-radius: 0 8px 8px 0; overflow-x: auto; margin: 0 0 10px;
       white-space: pre-wrap; color: var(--text-dim); }
pre.sig { border: 0; border-left: 3px solid var(--accent-2); }
dl.params { margin: 8px 0 0; }
dl.params dt { font-family: var(--mono); font-size: 13px; font-weight: 600; margin-top: 7px; color: var(--text);
               overflow-wrap: anywhere; }
dl.params dd { margin: 1px 0 0 18px; color: var(--text-dim); font-size: 13.5px; }
.note { background: var(--surface); border: 1px solid var(--line-soft); border-left: 3px solid var(--accent-2);
        border-radius: 0 8px 8px 0; padding: 11px 14px; color: var(--text-dim); font-size: 13.5px;
        margin: 14px 0; }
.undocumented { color: var(--text-faint); font-style: italic; }
.stat { display: flex; gap: 14px; flex-wrap: wrap; margin: 22px 0 8px; }
.stat div { background: var(--surface); border: 1px solid var(--line-soft); border-radius: var(--radius);
            padding: 12px 18px; min-width: 128px; }
.stat div b { display: block; font: 700 26px/1.1 var(--display); letter-spacing: -.02em; color: var(--text); }
.stat div span { font-size: 11.5px; color: var(--text-faint); text-transform: uppercase; letter-spacing: .07em; }

/* ---- search ---------------------------------------------------------------------------------- */
#results { position: fixed; top: calc(var(--header-h) - 4px); right: 22px; width: min(560px, 90vw); z-index: 40;
           background: var(--surface); border: 1px solid var(--line); border-radius: var(--radius);
           box-shadow: var(--shadow); max-height: 62vh; overflow-y: auto; display: none; }
#results.on { display: block; }
#results a { display: block; padding: 9px 14px; border-bottom: 1px solid var(--line-soft); color: var(--text); }
#results a:last-child { border-bottom: 0; }
#results a:hover, #results a.sel { background: var(--accent-bg); text-decoration: none; }
#results .rn { font-family: var(--mono); font-size: 13px; font-weight: 600; }
#results .rk { font-size: 11px; color: var(--text-faint); margin-left: 7px; text-transform: uppercase; }
#results .rc { font-size: 12px; color: var(--text-dim); display: block; }
#results .empty { padding: 16px; color: var(--text-faint); font-size: 13.5px; }

footer { border-top: 1px solid var(--line-soft); color: var(--text-faint); font-size: 12.5px;
         padding: 22px 44px 40px; display: flex; flex-wrap: wrap; gap: 10px 28px;
         justify-content: space-between; background: var(--bg-alt); }
footer strong { color: var(--text-dim); font-weight: 600; }
footer .copyright { color: var(--text-dim); margin-bottom: 3px; }
footer nav { display: flex; flex-wrap: wrap; gap: 6px 18px; }
footer nav a { color: var(--text-dim); }

@media (max-width: 1100px) {
  header.top .home { display: none; }
}
@media (max-width: 900px) {
  /* minmax(0, 1fr), not 1fr: a 1fr track grows to its content's min-content width, and the
     sidebar's unwrapped type names would push the page wider than the phone. */
  .layout { grid-template-columns: minmax(0, 1fr); }
  aside { position: static; max-height: 40vh; border-right: 0; border-bottom: 1px solid var(--line-soft); }
  main { padding: 24px 16px 70px; }
  .members { table-layout: fixed; }
  .members td.n { width: 42%; }
  header.top { gap: 10px; padding: 0 14px; }
  header.top nav, .brand-name small { display: none; }
  #q { width: auto; flex: 1; min-width: 0; }
  footer { padding: 20px; }
}
@media (max-width: 520px) {
  .brand-name { display: none; }
  .theme-swatch { display: none; }
}
