/* ============================================================================
   Apogee VM — documentation theme.
   One stylesheet for every language build. Dark is the brand's native state
   (Apogee_VM_Brand_Color_System.md: "a precision aerospace system illuminated
   at the edge of deep space"); light is a daylight variant on the same hues.
   Token homes: :root (dark), :root[data-theme="light"] (light), and .space,
   which pins a subtree to the dark tokens (the landing hero stays a window
   into space in both themes).
   ========================================================================== */

@font-face {
  font-family: "Inter";
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url("fonts/inter-var.woff2") format("woff2");
}

/* ── Tokens ─────────────────────────────────────────────────────────────── */

:root,
.space {
  color-scheme: dark;
  /* brand */
  --void: #010308;
  --orbit: #030914;
  --navy: #081325;
  --aero: #11213F;
  --steel: #1F355E;
  --ion: #406CB0;
  --horizon: #5F8DD7;
  --atmos: #719DE2;
  --violet: #9093F9;
  --ice: #94B0DF;
  --titanium: #C0D6F1;
  --star: #EAF3FB;

  /* surfaces */
  --bg: #010308;
  --bg-raise: #030914;
  --bg-soft: rgba(3, 9, 20, 0.72);
  --panel: #050D1C;
  --panel-hi: #081325;
  --code-bg: #050C1A;
  --code-head: #081325;
  --inline-bg: rgba(64, 108, 176, 0.13);
  --inline-fg: #C9D9EF;
  --line: rgba(64, 108, 176, 0.30);
  --line-soft: rgba(64, 108, 176, 0.17);
  --line-strong: rgba(113, 157, 226, 0.55);
  --scrim: rgba(1, 3, 8, 0.66);
  --edge-shade: rgba(113, 157, 226, 0.35);

  /* reading ramp (navy hue, low chroma) */
  --text: #9CACC5;
  --text-strong: #EAF3FB;
  --text-soft: #B4C3D9;
  --text-muted: #899AB1;
  --text-dim: #6E7F98;

  /* accent */
  --accent: #5F8DD7;
  --accent-hi: #7FA6E8;
  --accent-ink: #010308;
  --accent-wash: rgba(95, 141, 215, 0.12);
  --accent-glow: rgba(95, 141, 215, 0.38);
  --event: #9093F9;

  /* semantic hues (tested on the void ground) */
  --c-note: #5F8DD7;
  --c-tip: #66CBC7;
  --c-important: #9093F9;
  --c-warning: #EBA46D;
  --c-caution: #E8748D;
  --c-ok: #95D7A2;
  --c-gold: #DFC679;

  /* syntax */
  --tok-k: #8FB1F0;
  --tok-s: #7DD0C4;
  --tok-c: #6E809B;
  --tok-n: #EFAF82;
  --tok-m: #A9ADFF;
  --tok-t: #C6D8EF;
  --tok-a: #79C2EA;
  --tok-f: #E3EDF9;
  --tok-p: #8495B0;
  --tok-v: #E8C987;

  /* gradients */
  --g-horizon: linear-gradient(90deg, #406CB0 0%, #5F8DD7 50%, #719DE2 100%);
  --g-energy: linear-gradient(90deg, #5F8DD7 0%, #719DE2 65%, #9093F9 100%);
  --g-titanium: linear-gradient(135deg, #94B0DF 0%, #EAF3FB 48%, #C0D6F1 100%);
  --g-title: linear-gradient(100deg, #EAF3FB 0%, #C0D6F1 40%, #719DE2 78%, #9093F9 100%);

  --shadow-card: 0 1px 0 rgba(192, 214, 241, 0.05) inset, 0 24px 48px -28px rgba(0, 0, 0, 0.9);
}

:root[data-theme="light"] {
  color-scheme: light;
  --bg: #F4F7FB;
  --bg-raise: #FFFFFF;
  --bg-soft: rgba(244, 247, 251, 0.78);
  --panel: #FFFFFF;
  --panel-hi: #F7FAFE;
  --code-bg: #F3F6FB;
  --code-head: #EAF0F8;
  --inline-bg: rgba(64, 108, 176, 0.09);
  --inline-fg: #1C3260;
  --line: rgba(31, 53, 94, 0.17);
  --line-soft: rgba(31, 53, 94, 0.10);
  --line-strong: rgba(44, 91, 168, 0.50);
  --scrim: rgba(8, 19, 37, 0.38);
  --edge-shade: rgba(17, 33, 63, 0.22);

  --text: #2E3C53;
  --text-strong: #07122A;
  --text-soft: #24324A;
  --text-muted: #4D5D76;
  --text-dim: #5A6A82;

  --accent: #2B5AA7;
  --accent-hi: #1E4A90;
  --accent-ink: #FFFFFF;
  --accent-wash: rgba(43, 90, 167, 0.08);
  --accent-glow: rgba(43, 90, 167, 0.22);
  --event: #5559D6;

  --c-note: #2B5AA7;
  --c-tip: #187069;
  --c-important: #5559D6;
  --c-warning: #A45A1C;
  --c-caution: #B0304D;
  --c-ok: #2E7D45;
  --c-gold: #8A6D12;

  --tok-k: #2449A0;
  --tok-s: #17766C;
  --tok-c: #5F6B81;
  --tok-n: #A4521C;
  --tok-m: #5253C9;
  --tok-t: #18325F;
  --tok-a: #1F6F9A;
  --tok-f: #0D1B33;
  --tok-p: #5C6B82;
  --tok-v: #7D5B0C;

  --g-title: linear-gradient(100deg, #07122A 0%, #1F355E 45%, #2B5AA7 80%, #5559D6 100%);
  --shadow-card: 0 1px 0 rgba(255, 255, 255, 0.8) inset, 0 18px 40px -28px rgba(17, 33, 63, 0.35);
}

@media (prefers-color-scheme: light) {
  :root:not([data-theme]) {
    color-scheme: light;
    --bg: #F4F7FB; --bg-raise: #FFFFFF; --bg-soft: rgba(244, 247, 251, 0.78);
    --panel: #FFFFFF; --panel-hi: #F7FAFE; --code-bg: #F3F6FB; --code-head: #EAF0F8;
    --inline-bg: rgba(64, 108, 176, 0.09); --inline-fg: #1C3260;
    --line: rgba(31, 53, 94, 0.17); --line-soft: rgba(31, 53, 94, 0.10); --line-strong: rgba(44, 91, 168, 0.50);
    --text: #2E3C53; --text-strong: #07122A; --text-soft: #24324A; --text-muted: #4D5D76; --text-dim: #5A6A82;
    --accent: #2B5AA7; --accent-hi: #1E4A90; --accent-ink: #FFFFFF; --accent-wash: rgba(43, 90, 167, 0.08);
    --tok-k: #2449A0; --tok-s: #17766C; --tok-c: #5F6B81; --tok-n: #A4521C; --tok-m: #5253C9;
    --tok-t: #18325F; --tok-a: #1F6F9A; --tok-f: #0D1B33; --tok-p: #5C6B82; --tok-v: #7D5B0C;
  }
}

/* .space keeps the dark tokens even under the light theme (declared with
   :root above); this restates the few the light block would otherwise win on
   through inheritance order. */
:root[data-theme="light"] .space {
  color-scheme: dark;
  --bg: #010308; --bg-raise: #030914; --panel: #050D1C; --panel-hi: #081325;
  --code-bg: #050C1A; --code-head: #081325;
  --inline-bg: rgba(64, 108, 176, 0.13); --inline-fg: #C9D9EF;
  --line: rgba(64, 108, 176, 0.30); --line-soft: rgba(64, 108, 176, 0.17); --line-strong: rgba(113, 157, 226, 0.55);
  --text: #9CACC5; --text-strong: #EAF3FB; --text-soft: #B4C3D9; --text-muted: #899AB1; --text-dim: #6E7F98;
  --accent: #5F8DD7; --accent-hi: #7FA6E8; --accent-ink: #010308; --accent-wash: rgba(95, 141, 215, 0.12);
  --accent-glow: rgba(95, 141, 215, 0.38); --event: #9093F9;
  --g-title: linear-gradient(100deg, #EAF3FB 0%, #C0D6F1 40%, #719DE2 78%, #9093F9 100%);
}

/* ── Base ───────────────────────────────────────────────────────────────── */

*, *::before, *::after { box-sizing: border-box; }

:root {
  --font-sans: "Inter", ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue",
    "PingFang SC", "Hiragino Sans GB", "Microsoft YaHei", "Noto Sans SC", "Noto Sans CJK SC", sans-serif;
  --font-mono: ui-monospace, "SF Mono", "JetBrains Mono", "Cascadia Mono", Menlo, Consolas, "Liberation Mono",
    "PingFang SC", "Microsoft YaHei", monospace;
  --topbar-h: 60px;
  --sidebar-w: 284px;
  --toc-w: 236px;
  --measure: 768px;
  --radius: 12px;
}

html {
  -webkit-text-size-adjust: 100%;
  text-size-adjust: 100%;
  scroll-padding-top: calc(var(--topbar-h) + 20px);
  background: var(--bg);
}

body {
  margin: 0;
  min-height: 100vh;
  background: var(--bg);
  color: var(--text);
  font-family: var(--font-sans);
  font-size: 16px;
  line-height: 1.72;
  font-feature-settings: "cv11", "ss01", "ss03";
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
  text-rendering: optimizeLegibility;
  overflow-x: hidden;
}

/* A faint atmosphere at the top of the void; nothing in the light theme. */
body::before {
  content: "";
  position: fixed;
  inset: 0;
  pointer-events: none;
  z-index: 0;
  background:
    radial-gradient(1100px 520px at 78% -12%, rgba(64, 108, 176, 0.16), transparent 62%),
    radial-gradient(800px 420px at 8% -18%, rgba(144, 147, 249, 0.06), transparent 60%);
}
:root[data-theme="light"] body::before {
  background: radial-gradient(1100px 520px at 78% -12%, rgba(95, 141, 215, 0.10), transparent 62%);
}

::selection { background: rgba(95, 141, 215, 0.35); color: var(--text-strong); }

a { color: var(--accent); }
img, svg { max-width: 100%; }
button { font: inherit; color: inherit; }
:focus-visible { outline: 2px solid var(--accent-hi); outline-offset: 2px; border-radius: 4px; }

.skip {
  position: absolute; left: 12px; top: 0; z-index: 100; transform: translateY(-140%);
  padding: 10px 14px; border-radius: 8px;
  background: var(--accent); color: var(--accent-ink); text-decoration: none; font-weight: 600;
}
.skip:focus { transform: translateY(10px); }

.visually-hidden {
  position: absolute !important; width: 1px; height: 1px; padding: 0; margin: -1px;
  overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; border: 0;
}

/* ── Top bar ────────────────────────────────────────────────────────────── */

.topbar {
  position: sticky;
  top: 0;
  z-index: 40;
  height: var(--topbar-h);
  display: flex;
  align-items: center;
  gap: 14px;
  padding: 0 20px;
  background: var(--bg-soft);
  -webkit-backdrop-filter: blur(16px) saturate(150%);
  backdrop-filter: blur(16px) saturate(150%);
  border-bottom: 1px solid var(--line-soft);
}
.topbar::after {
  /* the illuminated horizon: a hairline that brightens toward the centre */
  content: "";
  position: absolute; left: 0; right: 0; bottom: -1px; height: 1px;
  background: linear-gradient(90deg, transparent, rgba(95, 141, 215, 0.55) 30%, rgba(144, 147, 249, 0.45) 62%, transparent);
  opacity: 0.55;
  pointer-events: none;
}

.brand {
  display: flex; align-items: center; gap: 11px;
  color: var(--text-strong); text-decoration: none; flex-shrink: 0;
}
.brand-mark { width: 30px; height: 30px; display: block; }
.brand-word {
  font-weight: 650; font-size: 0.98rem; letter-spacing: 0.22em; text-transform: uppercase;
  white-space: nowrap;
}
.brand-word b { font-weight: 650; background: var(--g-energy); -webkit-background-clip: text; background-clip: text; color: transparent; }
.brand-docs {
  font-family: var(--font-mono); font-size: 0.72rem; letter-spacing: 0.18em; text-transform: uppercase;
  color: var(--text-muted); padding-left: 11px; border-left: 1px solid var(--line);
}
.version {
  font-family: var(--font-mono); font-size: 0.7rem; letter-spacing: 0.06em;
  color: var(--accent); padding: 3px 8px; border-radius: 999px;
  border: 1px solid var(--line-strong); background: var(--accent-wash); white-space: nowrap;
}

.topbar-spacer { flex: 1; }

.search-trigger {
  display: flex; align-items: center; gap: 10px; flex-shrink: 0;
  width: min(340px, 34vw); height: 38px; padding: 0 10px 0 12px;
  border-radius: 10px; border: 1px solid var(--line); background: var(--panel);
  color: var(--text-dim); cursor: pointer; text-align: left;
  transition: border-color 0.2s, box-shadow 0.2s;
}
.search-trigger:hover { border-color: var(--line-strong); box-shadow: 0 0 0 3px var(--accent-wash); }
.search-trigger svg { width: 16px; height: 16px; flex-shrink: 0; }
.search-trigger span { flex: 1; font-size: 0.9rem; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
kbd, .kbd {
  font-family: var(--font-mono); font-size: 0.7rem; color: var(--text-muted);
  padding: 2px 6px; border-radius: 5px; border: 1px solid var(--line); background: var(--bg-raise);
  white-space: nowrap;
}

.icon-btn {
  display: inline-flex; align-items: center; justify-content: center; gap: 6px; flex-shrink: 0;
  height: 38px; min-width: 38px; padding: 0 9px; border-radius: 10px;
  border: 1px solid var(--line); background: var(--panel); color: var(--text-soft);
  cursor: pointer; transition: border-color 0.2s, color 0.2s, background 0.2s;
}
.icon-btn:hover { border-color: var(--line-strong); color: var(--text-strong); }
.icon-btn svg { width: 18px; height: 18px; }
.icon-btn .lang-short { font-family: var(--font-mono); font-size: 0.74rem; letter-spacing: 0.08em; }

.theme-toggle .i-sun { display: none; }
:root[data-theme="light"] .theme-toggle .i-sun { display: block; }
:root[data-theme="light"] .theme-toggle .i-moon { display: none; }

.menu-btn { display: none; }

.lang { position: relative; }
.lang-menu {
  position: absolute; right: 0; top: calc(100% + 8px); min-width: 210px; z-index: 60;
  margin: 0; padding: 6px; list-style: none;
  border-radius: 12px; border: 1px solid var(--line); background: var(--bg-raise);
  box-shadow: var(--shadow-card), 0 20px 50px -20px rgba(0, 0, 0, 0.6);
}
.lang-menu[hidden] { display: none; }
.lang-menu a {
  display: flex; justify-content: space-between; gap: 16px; align-items: center;
  padding: 9px 12px; border-radius: 8px; text-decoration: none; color: var(--text-soft); font-size: 0.92rem;
}
.lang-menu a:hover, .lang-menu a:focus-visible { background: var(--accent-wash); color: var(--text-strong); }
.lang-menu a[aria-current="true"] { color: var(--accent); }
.lang-menu a small { font-family: var(--font-mono); font-size: 0.68rem; color: var(--text-dim); letter-spacing: 0.08em; }

.site-link {
  font-family: var(--font-mono); font-size: 0.72rem; letter-spacing: 0.14em; text-transform: uppercase;
  color: var(--text-muted); text-decoration: none; white-space: nowrap; padding: 0 4px;
}
.site-link:hover { color: var(--text-strong); }

/* ── Layout ─────────────────────────────────────────────────────────────── */

.layout {
  position: relative;
  z-index: 1;
  display: grid;
  grid-template-columns: var(--sidebar-w) minmax(0, 1fr) var(--toc-w);
  max-width: 1680px;
  margin: 0 auto;
}
html.js[data-layout="wide"] .layout { grid-template-columns: var(--sidebar-w) minmax(0, 1fr); }
html.js[data-layout="wide"] .toc { display: none; }

.sidebar {
  position: sticky;
  top: var(--topbar-h);
  height: calc(100vh - var(--topbar-h));
  overflow-y: auto;
  overscroll-behavior: contain;
  padding: 26px 14px 64px 18px;
  border-right: 1px solid var(--line-soft);
  scrollbar-width: thin;
  scrollbar-color: var(--line) transparent;
}

main {
  min-width: 0;
  padding: 44px 56px 120px;
}

.toc {
  position: sticky;
  top: var(--topbar-h);
  height: calc(100vh - var(--topbar-h));
  overflow-y: auto;
  padding: 46px 22px 40px 6px;
  scrollbar-width: thin;
}

/* ── Sidebar navigation ─────────────────────────────────────────────────── */

.nav-group { margin: 0 0 22px; }
.nav-group > summary,
.nav-sub > summary { list-style: none; cursor: pointer; }
.nav-group > summary::-webkit-details-marker,
.nav-sub > summary::-webkit-details-marker { display: none; }

.nav-group > summary {
  display: flex; align-items: center; gap: 10px;
  padding: 6px 8px; margin: 0 0 4px;
  font-family: var(--font-mono); font-size: 0.7rem; font-weight: 600;
  letter-spacing: 0.2em; text-transform: uppercase; color: var(--text-strong);
  border-radius: 8px;
}
.nav-group > summary:hover { background: var(--accent-wash); }
.nav-group > summary .g-icon {
  width: 22px; height: 22px; flex-shrink: 0; display: grid; place-items: center;
  border-radius: 7px; border: 1px solid var(--line); color: var(--accent);
  background: linear-gradient(180deg, var(--panel-hi), var(--panel));
}
.nav-group > summary .g-icon svg { width: 13px; height: 13px; }
.nav-group > summary .chev { margin-left: auto; width: 12px; height: 12px; color: var(--text-dim); transition: transform 0.2s; }
.nav-group:not([open]) > summary .chev { transform: rotate(-90deg); }

.nav-list { list-style: none; margin: 0; padding: 0 0 0 19px; border-left: 1px solid var(--line-soft); margin-left: 18px; }
.nav-list li { margin: 0; }
.nav-list a {
  position: relative;
  display: block; padding: 5px 10px; margin: 1px 0;
  border-radius: 7px;
  color: var(--text-muted); text-decoration: none; font-size: 0.9rem; line-height: 1.45;
  transition: color 0.15s, background 0.15s;
}
.nav-list a:hover { color: var(--text-strong); background: var(--accent-wash); }
.nav-list a[aria-current="page"] {
  color: var(--text-strong); background: var(--accent-wash); font-weight: 550;
}
.nav-list a[aria-current="page"]::before {
  content: ""; position: absolute; left: -20px; top: 6px; bottom: 6px; width: 2px; border-radius: 2px;
  background: var(--g-energy); box-shadow: 0 0 10px var(--accent-glow);
}
.nav-list code, .nav-sub summary code { font-family: var(--font-mono); font-size: 0.82em; }

.nav-sub { margin: 4px 0 6px; }
.nav-sub > summary {
  display: flex; align-items: center; gap: 6px;
  padding: 5px 10px; font-size: 0.78rem; font-weight: 600; letter-spacing: 0.04em;
  color: var(--text-dim); border-radius: 7px;
}
.nav-sub > summary:hover { color: var(--text-soft); }
.nav-sub > summary .chev { width: 10px; height: 10px; transition: transform 0.2s; }
.nav-sub:not([open]) > summary .chev { transform: rotate(-90deg); }
.nav-sub > .nav-list { margin-left: 10px; padding-left: 10px; }
.nav-sub > .nav-list a[aria-current="page"]::before { left: -11px; }

.sidebar-foot {
  margin: 30px 8px 0; padding-top: 18px; border-top: 1px solid var(--line-soft);
  font-size: 0.8rem; color: var(--text-dim); line-height: 1.6;
}
.sidebar-foot a { color: var(--text-muted); text-decoration: none; }
.sidebar-foot a:hover { color: var(--accent); }

/* ── Pages ──────────────────────────────────────────────────────────────── */

html.js .page { display: none; }
.page { max-width: var(--measure); margin: 0 auto; }
.page--spec { --measure: 860px; }
.page--landing { max-width: 1180px; }
html.no-js .page { display: block; margin-bottom: 120px; }

.page-head { margin: 0 0 34px; }
.eyebrow {
  display: flex; align-items: center; gap: 10px; flex-wrap: wrap;
  margin: 0 0 16px;
  font-family: var(--font-mono); font-size: 0.7rem; font-weight: 600;
  letter-spacing: 0.22em; text-transform: uppercase; color: var(--text-muted);
}
.eyebrow::before {
  content: ""; width: 6px; height: 6px; border-radius: 50%;
  background: var(--accent); box-shadow: 0 0 10px var(--accent-glow);
}
.eyebrow .sep { color: var(--text-dim); }
.eyebrow .line { width: 56px; height: 1px; background: linear-gradient(90deg, var(--line-strong), transparent); }

.page-head h1 {
  margin: 0 0 14px;
  font-size: clamp(2rem, 3.2vw, 2.7rem);
  line-height: 1.12;
  letter-spacing: -0.025em;
  font-weight: 700;
  color: var(--text-strong);
}
.page-head h1 code { font-size: 0.82em; letter-spacing: 0; }
.lede {
  margin: 0;
  font-size: 1.12rem;
  line-height: 1.65;
  color: var(--text-soft);
}

.page-tools {
  display: flex; flex-wrap: wrap; gap: 8px; align-items: center;
  margin: 20px 0 0;
}
.chip {
  display: inline-flex; align-items: center; gap: 7px;
  height: 30px; padding: 0 11px; border-radius: 999px;
  border: 1px solid var(--line); background: var(--panel);
  font-family: var(--font-mono); font-size: 0.7rem; letter-spacing: 0.06em;
  color: var(--text-muted); text-decoration: none; cursor: pointer;
  transition: border-color 0.2s, color 0.2s;
}
.chip svg { width: 13px; height: 13px; }
a.chip:hover, button.chip:hover { border-color: var(--line-strong); color: var(--text-strong); }
.chip--spec { color: var(--c-important); border-color: color-mix(in srgb, var(--c-important) 45%, transparent); }
.chip--src { cursor: default; }

/* ── Prose ──────────────────────────────────────────────────────────────── */

.prose { font-size: 1rem; }
.prose > :first-child { margin-top: 0; }
.prose p { margin: 0 0 1.15em; }
.prose strong { color: var(--text-strong); font-weight: 620; }
.prose em { color: var(--text-soft); }

.prose h2, .prose h3, .prose h4 {
  position: relative;
  color: var(--text-strong);
  scroll-margin-top: calc(var(--topbar-h) + 20px);
}
.prose h2 {
  margin: 2.5em 0 0.75em;
  padding-top: 0.2em;
  font-size: 1.62rem; line-height: 1.25; letter-spacing: -0.018em; font-weight: 660;
}
.prose h3 { margin: 2.1em 0 0.6em; font-size: 1.24rem; line-height: 1.32; letter-spacing: -0.01em; font-weight: 640; }
.prose h4 { margin: 1.8em 0 0.5em; font-size: 1.04rem; font-weight: 640; }
.prose h2 code, .prose h3 code { font-size: 0.84em; }
.prose .h-num {
  font-family: var(--font-mono); font-weight: 600; font-size: 0.8em; color: var(--accent);
  margin-right: 0.2em; letter-spacing: 0;
}
.h-anchor {
  margin-left: 0.4em; padding: 0 0.2em;
  color: var(--text-dim); text-decoration: none !important; font-weight: 400;
  opacity: 0; transition: opacity 0.15s;
}
.prose h2:hover .h-anchor, .prose h3:hover .h-anchor, .prose h4:hover .h-anchor, .h-anchor:focus { opacity: 1; }

.prose a {
  color: var(--accent);
  text-decoration: underline;
  text-decoration-color: color-mix(in srgb, var(--accent) 38%, transparent);
  text-decoration-thickness: 1px;
  text-underline-offset: 3px;
  transition: color 0.15s, text-decoration-color 0.15s;
}
.prose a:hover { color: var(--accent-hi); text-decoration-color: currentColor; }
.prose a.sref { text-decoration-style: dotted; }

.prose ul, .prose ol { margin: 0 0 1.2em; padding-left: 1.35em; }
.prose li { margin: 0.35em 0; }
.prose li > p { margin: 0.4em 0; }
.prose li::marker { color: var(--text-dim); }
.prose ol > li::marker { font-family: var(--font-mono); font-size: 0.85em; color: var(--accent); }

.prose hr { border: 0; height: 1px; margin: 2.6em 0; background: linear-gradient(90deg, transparent, var(--line), transparent); }

.prose code, .prose kbd {
  font-family: var(--font-mono);
  font-size: 0.855em;
  text-transform: none;
}
.prose :not(pre) > code {
  padding: 0.12em 0.36em;
  border-radius: 5px;
  background: var(--inline-bg);
  color: var(--inline-fg);
  border: 1px solid var(--line-soft);
  overflow-wrap: anywhere;
  -webkit-box-decoration-break: clone;
  box-decoration-break: clone;
}
.prose a > code { color: inherit; }

/* code blocks */
.code {
  position: relative;
  margin: 1.4em 0 1.6em;
  border-radius: 11px;
  border: 1px solid var(--line);
  background: var(--code-bg);
  overflow: hidden;
  box-shadow: var(--shadow-card);
}
.code-head {
  display: flex; align-items: center; gap: 10px;
  height: 36px; padding: 0 8px 0 14px;
  background: var(--code-head);
  border-bottom: 1px solid var(--line-soft);
}
.code-head .dots { display: flex; gap: 5px; }
.code-head .dots i { width: 7px; height: 7px; border-radius: 50%; background: var(--line); display: block; }
.code-title {
  flex: 1; min-width: 0;
  font-family: var(--font-mono); font-size: 0.74rem; color: var(--text-muted);
  white-space: nowrap; overflow: hidden; text-overflow: ellipsis;
}
.code-lang { font-family: var(--font-mono); font-size: 0.66rem; letter-spacing: 0.12em; text-transform: uppercase; color: var(--text-dim); }
.code-copy {
  display: inline-flex; align-items: center; gap: 6px;
  height: 26px; padding: 0 9px; border-radius: 7px;
  border: 1px solid var(--line); background: transparent;
  font-family: var(--font-mono); font-size: 0.68rem; color: var(--text-muted);
  cursor: pointer; transition: color 0.15s, border-color 0.15s;
}
.code-copy:hover { color: var(--text-strong); border-color: var(--line-strong); }
.code-copy.is-done { color: var(--c-ok); border-color: color-mix(in srgb, var(--c-ok) 50%, transparent); }
.code-copy svg { width: 12px; height: 12px; }
.code pre {
  margin: 0;
  padding: 16px 18px 18px;
  overflow-x: auto;
  font-family: var(--font-mono);
  font-size: 0.83rem;
  line-height: 1.66;
  color: var(--tok-f);
  tab-size: 4;
  scrollbar-width: thin;
  scrollbar-color: var(--line) transparent;
}
.code pre code { font: inherit; background: none; border: 0; padding: 0; color: inherit; white-space: pre; }
.code--text pre { color: var(--text-soft); }

.tok-k { color: var(--tok-k); }
.tok-s { color: var(--tok-s); }
.tok-c { color: var(--tok-c); font-style: italic; }
.tok-n { color: var(--tok-n); }
.tok-m { color: var(--tok-m); }
.tok-t { color: var(--tok-t); }
.tok-a { color: var(--tok-a); }
.tok-p { color: var(--tok-p); }
.tok-v { color: var(--tok-v); }
.tok-h { color: var(--tok-k); font-weight: 600; }

/* tables */
.table-wrap {
  margin: 1.4em 0 1.7em;
  overflow-x: auto;
  border: 1px solid var(--line);
  border-radius: 11px;
  /* scroll shadows: the covers move with the content, the shades stay at the edges */
  background:
    linear-gradient(to right, var(--panel) 40%, transparent) left / 36px 100% no-repeat local,
    linear-gradient(to left, var(--panel) 40%, transparent) right / 36px 100% no-repeat local,
    radial-gradient(farthest-side at 0 50%, var(--edge-shade), transparent) left / 12px 100% no-repeat scroll,
    radial-gradient(farthest-side at 100% 50%, var(--edge-shade), transparent) right / 12px 100% no-repeat scroll,
    var(--panel);
  scrollbar-width: thin;
  scrollbar-color: var(--line) transparent;
}
.prose table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.9rem;
  line-height: 1.55;
}
.table-wrap.is-wide table { font-size: 0.82rem; }
.prose th, .prose td {
  padding: 10px 14px;
  text-align: left;
  vertical-align: top;
  border-bottom: 1px solid var(--line-soft);
}
.prose th {
  /* No text-transform here: spec headers carry symbols (`n`, `M`, `Δ = 1`)
     that an uppercase rule would silently rename. */
  font-weight: 620;
  font-size: 0.86em;
  color: var(--text-strong);
  background: var(--panel-hi);
  border-bottom: 1px solid var(--line);
  white-space: nowrap;
}
.prose tbody tr:last-child td { border-bottom: 0; }
.prose tbody tr:hover td { background: var(--accent-wash); }
.prose td code { white-space: nowrap; overflow-wrap: normal; }
.prose td:first-child { color: var(--text-soft); }

/* callouts (GitHub-style alerts) */
.callout {
  --c: var(--c-note);
  position: relative;
  margin: 1.5em 0;
  padding: 14px 18px 4px 18px;
  border: 1px solid color-mix(in srgb, var(--c) 32%, transparent);
  border-left: 3px solid var(--c);
  border-radius: 10px;
  background: linear-gradient(95deg, color-mix(in srgb, var(--c) 11%, transparent), transparent 75%);
}
.callout-title {
  display: flex; align-items: center; gap: 8px;
  margin: 0 0 6px !important;
  font-family: var(--font-mono); font-size: 0.7rem; font-weight: 650;
  letter-spacing: 0.16em; text-transform: uppercase; color: var(--c);
}
.callout-title svg { width: 14px; height: 14px; }
.callout p { margin: 0 0 0.75em; }
.callout--tip { --c: var(--c-tip); }
.callout--important { --c: var(--c-important); }
.callout--warning { --c: var(--c-warning); }
.callout--caution { --c: var(--c-caution); }

.prose blockquote {
  margin: 1.4em 0; padding: 4px 0 4px 18px;
  border-left: 2px solid var(--line-strong); color: var(--text-soft);
}

/* term of art: the site's signature phrase */
.term { font-weight: 640; white-space: nowrap; color: var(--accent); }

/* summary box on a localized spec page */
.i18n-summary {
  margin: 0 0 30px;
  padding: 18px 20px 6px;
  border-radius: 12px;
  border: 1px solid color-mix(in srgb, var(--c-important) 35%, transparent);
  background: linear-gradient(135deg, color-mix(in srgb, var(--c-important) 10%, transparent), transparent 70%);
}
.i18n-summary .callout-title { color: var(--c-important); }
.i18n-summary p { margin: 0 0 0.8em; }
.i18n-summary .note { font-size: 0.86rem; color: var(--text-muted); }

/* cards */
.cards {
  display: grid;
  gap: 14px;
  margin: 1.6em 0 2em;
  grid-template-columns: repeat(2, minmax(0, 1fr));
}
.cards.c3 { grid-template-columns: repeat(3, minmax(0, 1fr)); }
.cards.c4 { grid-template-columns: repeat(4, minmax(0, 1fr)); }
.cards.c1 { grid-template-columns: minmax(0, 1fr); }
.card {
  position: relative;
  display: flex; flex-direction: column;
  padding: 18px 18px 16px;
  border-radius: var(--radius);
  border: 1px solid var(--line);
  background: linear-gradient(180deg, var(--panel-hi), var(--panel));
  box-shadow: var(--shadow-card);
  color: var(--text);
  text-decoration: none !important;
  transition: border-color 0.2s, transform 0.2s, box-shadow 0.2s;
}
.card::before {
  /* titanium specular along the top edge */
  content: ""; position: absolute; left: 14px; right: 14px; top: 0; height: 1px;
  background: linear-gradient(90deg, transparent, rgba(192, 214, 241, 0.35), transparent);
  opacity: 0.6;
}
a.card:hover { border-color: var(--line-strong); transform: translateY(-2px); box-shadow: var(--shadow-card), 0 0 0 3px var(--accent-wash); }
.card .k {
  font-family: var(--font-mono); font-size: 0.66rem; font-weight: 600; letter-spacing: 0.18em;
  text-transform: uppercase; color: var(--accent); margin: 0 0 10px;
}
.card .t { color: var(--text-strong); font-weight: 640; font-size: 1.02rem; line-height: 1.35; margin: 0 0 6px; }
.card .d { color: var(--text-muted); font-size: 0.9rem; line-height: 1.55; margin: 0; }
.card .go { margin-top: auto; padding-top: 12px; font-family: var(--font-mono); font-size: 0.7rem; letter-spacing: 0.12em; text-transform: uppercase; color: var(--accent); }

/* step lists */
.steps { counter-reset: step; margin: 1.6em 0 2em; padding-left: 0; }
.steps > h3 {
  counter-increment: step;
  display: flex; align-items: center; gap: 14px;
  margin: 2.2em 0 0.7em;
}
.steps > h3::before {
  content: counter(step);
  display: grid; place-items: center; flex-shrink: 0;
  width: 30px; height: 30px; border-radius: 9px;
  font-family: var(--font-mono); font-size: 0.82rem; font-weight: 650;
  color: var(--accent); border: 1px solid var(--line-strong); background: var(--accent-wash);
}
.steps > :not(h3) { margin-left: 44px; }
.steps > .code, .steps > .table-wrap, .steps > .callout { margin-left: 44px; }

/* key-value fact table */
.facts {
  display: grid; grid-template-columns: max-content minmax(0, 1fr);
  gap: 0; margin: 1.4em 0 1.8em;
  border: 1px solid var(--line); border-radius: 12px; overflow: hidden; background: var(--panel);
}
.facts > dt, .facts > dd { margin: 0; padding: 11px 16px; border-bottom: 1px solid var(--line-soft); }
.facts > dt {
  font-family: var(--font-mono); font-size: 0.72rem; letter-spacing: 0.1em; text-transform: uppercase;
  color: var(--text-muted); background: var(--panel-hi); padding-top: 14px;
}
.facts > dd { color: var(--text-soft); font-size: 0.94rem; }
.facts > dt:last-of-type, .facts > dd:last-of-type { border-bottom: 0; }

/* figures */
.figure { margin: 1.8em 0 2.2em; }
.figure .frame {
  border-radius: 14px; border: 1px solid var(--line);
  background:
    radial-gradient(600px 220px at 50% 0%, var(--accent-wash), transparent 70%),
    var(--panel);
  padding: 18px;
  overflow-x: auto;
}
.figure svg { display: block; width: 100%; height: auto; min-width: 560px; }
.figure figcaption, figcaption.cap {
  margin-top: 10px; font-size: 0.84rem; line-height: 1.55; color: var(--text-dim);
}
.figure figcaption b { color: var(--text-muted); font-weight: 600; }

/* diagram vocabulary — shared by every inline SVG */
.dg-box { fill: var(--panel-hi); stroke: var(--line-strong); stroke-width: 1.2; }
.dg-box-soft { fill: var(--panel); stroke: var(--line); stroke-width: 1; }
.dg-box-accent { fill: var(--accent-wash); stroke: var(--accent); stroke-width: 1.4; }
.dg-box-event { fill: color-mix(in srgb, var(--event) 12%, transparent); stroke: var(--event); stroke-width: 1.4; }
.dg-line { stroke: var(--line-strong); stroke-width: 1.4; fill: none; }
.dg-line-soft { stroke: var(--line); stroke-width: 1; fill: none; }
.dg-flow { stroke: var(--accent); stroke-width: 1.6; fill: none; }
.dg-flow-event { stroke: var(--event); stroke-width: 1.6; fill: none; }
.dg-dash { stroke-dasharray: 4 4; }
.dg-arrow { fill: var(--accent); }
.dg-arrow-event { fill: var(--event); }
.dg-t { fill: var(--text-strong); font-family: var(--font-sans); font-size: 13px; font-weight: 600; }
.dg-t2 { fill: var(--text-muted); font-family: var(--font-sans); font-size: 11.5px; }
.dg-m { fill: var(--text-muted); font-family: var(--font-mono); font-size: 10.5px; letter-spacing: 0.02em; }
.dg-ml { fill: var(--accent); font-family: var(--font-mono); font-size: 10px; font-weight: 600; letter-spacing: 0.14em; }
.dg-ev { fill: var(--event); font-family: var(--font-mono); font-size: 10px; font-weight: 600; letter-spacing: 0.14em; }
.dg-dot { fill: var(--accent); }
.dg-dot-event { fill: var(--event); }
.dg-glow { filter: drop-shadow(0 0 6px var(--accent-glow)); }

/* page footer: previous / next */
.page-nav {
  display: grid; grid-template-columns: 1fr 1fr; gap: 14px;
  margin: 72px 0 0; padding-top: 28px; border-top: 1px solid var(--line-soft);
}
.page-nav a {
  display: flex; flex-direction: column; gap: 4px;
  padding: 14px 16px; border-radius: 11px; border: 1px solid var(--line);
  background: var(--panel); text-decoration: none; color: var(--text-strong);
  transition: border-color 0.2s, box-shadow 0.2s;
}
.page-nav a:hover { border-color: var(--line-strong); box-shadow: 0 0 0 3px var(--accent-wash); }
.page-nav a small {
  font-family: var(--font-mono); font-size: 0.66rem; letter-spacing: 0.16em; text-transform: uppercase; color: var(--text-dim);
}
.page-nav a span { font-weight: 600; font-size: 0.96rem; }
.page-nav .next { text-align: right; grid-column: 2; }

.site-foot {
  max-width: var(--measure); margin: 56px auto 0;
  display: flex; flex-wrap: wrap; gap: 8px 18px; justify-content: space-between;
  font-size: 0.8rem; color: var(--text-dim);
}
.site-foot a { color: var(--text-muted); text-decoration: none; }
.site-foot a:hover { color: var(--accent); }
html[data-layout="wide"] .site-foot { max-width: 1180px; }

/* ── On this page ───────────────────────────────────────────────────────── */

.toc-title {
  display: flex; align-items: center; gap: 8px; margin: 0 0 12px;
  font-family: var(--font-mono); font-size: 0.68rem; font-weight: 600;
  letter-spacing: 0.2em; text-transform: uppercase; color: var(--text-muted);
}
.toc-title::before { content: ""; width: 14px; height: 1px; background: var(--line-strong); }
.toc ol { list-style: none; margin: 0; padding: 0; border-left: 1px solid var(--line-soft); }
.toc li a {
  display: block; padding: 4px 0 4px 14px; margin-left: -1px;
  border-left: 1px solid transparent;
  font-size: 0.82rem; line-height: 1.45; color: var(--text-dim); text-decoration: none;
  transition: color 0.15s, border-color 0.15s;
}
.toc li.l3 a { padding-left: 26px; font-size: 0.78rem; }
.toc li a:hover { color: var(--text-strong); }
.toc li a.is-active { color: var(--accent); border-left-color: var(--accent); }
.toc code { font-family: var(--font-mono); font-size: 0.9em; }
.toc-tools { margin-top: 22px; display: flex; flex-direction: column; gap: 8px; align-items: flex-start; }
.toc-tools a, .toc-tools button {
  display: inline-flex; align-items: center; gap: 7px; padding: 0; border: 0; background: none; cursor: pointer;
  font-size: 0.78rem; color: var(--text-dim); text-decoration: none;
}
.toc-tools a:hover, .toc-tools button:hover { color: var(--accent); }
.toc-tools svg { width: 13px; height: 13px; }

/* ── Search ─────────────────────────────────────────────────────────────── */

.search {
  position: fixed; inset: 0; z-index: 80;
  display: flex; align-items: flex-start; justify-content: center;
  padding: 10vh 16px 16px;
  background: var(--scrim);
  -webkit-backdrop-filter: blur(6px);
  backdrop-filter: blur(6px);
}
.search[hidden] { display: none; }
.search-box {
  width: min(720px, 100%);
  max-height: 76vh;
  display: flex; flex-direction: column;
  border-radius: 16px; border: 1px solid var(--line-strong);
  background: var(--bg-raise);
  box-shadow: 0 30px 80px -20px rgba(0, 0, 0, 0.7), 0 0 0 4px var(--accent-wash);
  overflow: hidden;
}
.search-field {
  display: flex; align-items: center; gap: 12px; padding: 0 16px;
  border-bottom: 1px solid var(--line-soft);
}
.search-field svg { width: 18px; height: 18px; color: var(--accent); flex-shrink: 0; }
.search-field input {
  flex: 1; height: 58px; border: 0; outline: 0; background: transparent;
  font: 500 1.05rem var(--font-sans); color: var(--text-strong);
}
.search-field input::placeholder { color: var(--text-dim); }
.search-results { overflow-y: auto; padding: 8px; margin: 0; list-style: none; }
.search-results li a {
  display: block; padding: 10px 12px; border-radius: 10px; text-decoration: none; color: var(--text);
}
.search-results li a .r-page {
  display: block; font-family: var(--font-mono); font-size: 0.66rem; letter-spacing: 0.14em; text-transform: uppercase; color: var(--text-dim);
}
.search-results li a .r-title { display: block; color: var(--text-strong); font-weight: 600; font-size: 0.95rem; margin: 2px 0; }
.search-results li a .r-snip { display: block; font-size: 0.85rem; color: var(--text-muted); line-height: 1.5; }
.search-results li a mark { background: rgba(95, 141, 215, 0.28); color: var(--text-strong); border-radius: 3px; padding: 0 1px; }
.search-results li a.is-active, .search-results li a:hover { background: var(--accent-wash); }
.search-results li a.is-active .r-title { color: var(--accent); }
.search-empty { padding: 26px 18px; color: var(--text-dim); font-size: 0.92rem; }
.search-foot {
  display: flex; gap: 14px; align-items: center; justify-content: flex-end;
  padding: 10px 14px; border-top: 1px solid var(--line-soft);
  font-size: 0.74rem; color: var(--text-dim);
}

/* ── Mobile ─────────────────────────────────────────────────────────────── */

.nav-scrim { display: none; }

@media (max-width: 1279px) {
  .layout { grid-template-columns: var(--sidebar-w) minmax(0, 1fr); }
  .toc { display: none; }
  main { padding: 40px 44px 110px; }
}

@media (max-width: 1080px) {
  .site-link { display: none; }
  .brand-docs { display: none; }
}

@media (max-width: 960px) {
  :root { --topbar-h: 56px; }
  .menu-btn { display: inline-flex; }
  .layout, html.js[data-layout="wide"] .layout { grid-template-columns: minmax(0, 1fr); }
  .sidebar {
    position: fixed; z-index: 70; left: 0; top: var(--topbar-h); bottom: 0; height: auto;
    width: min(330px, 88vw);
    background: var(--bg-raise);
    border-right: 1px solid var(--line);
    transform: translateX(-102%);
    transition: transform 0.25s ease, box-shadow 0.25s ease;
    visibility: hidden;
  }
  body.nav-open .sidebar { transform: none; visibility: visible; box-shadow: 30px 0 60px -30px rgba(0, 0, 0, 0.6); }
  body.nav-open .nav-scrim {
    display: block; position: fixed; inset: var(--topbar-h) 0 0 0; z-index: 60; background: var(--scrim);
  }
  main { padding: 30px 20px 90px; }
  .search-trigger { width: 38px; padding: 0; justify-content: center; }
  .search-trigger span, .search-trigger kbd { display: none; }
  .cards.c3, .cards.c4 { grid-template-columns: repeat(2, minmax(0, 1fr)); }
}

@media (max-width: 640px) {
  .topbar { padding: 0 12px; gap: 8px; }
  .brand-word { font-size: 0.86rem; letter-spacing: 0.16em; }
  .brand-mark { width: 26px; height: 26px; }
  .version { display: none; }
  .cards, .cards.c3, .cards.c4 { grid-template-columns: minmax(0, 1fr); }
  .page-nav { grid-template-columns: 1fr; }
  .page-nav .next { grid-column: 1; }
  .steps > :not(h3), .steps > .code, .steps > .table-wrap, .steps > .callout { margin-left: 0; }
  .facts { grid-template-columns: minmax(0, 1fr); }
  .facts > dt { border-bottom: 0; padding-bottom: 2px; }
  .prose h2 { font-size: 1.4rem; }
  .code pre { font-size: 0.78rem; padding: 14px; }
  .figure svg { min-width: 520px; }
}

@media (max-width: 380px) {
  .topbar { gap: 6px; padding: 0 10px; }
  .brand { gap: 8px; }
  .brand-word { letter-spacing: 0.1em; }
}

@media (max-width: 345px) {
  .topbar .icon-btn, .search-trigger { height: 34px; min-width: 34px; padding: 0 7px; }
  .search-trigger { width: 34px; padding: 0; }
  #lang-btn svg { display: none; }
  .brand-mark { width: 24px; height: 24px; }
  .brand-word { font-size: 0.8rem; }
}

/* ── Chinese typesetting ────────────────────────────────────────────────── */

:lang(zh) body, html:lang(zh) { line-height: 1.85; }
html:lang(zh) .page-head h1, html:lang(zh) .prose h2, html:lang(zh) .prose h3 { letter-spacing: 0; }
html:lang(zh) .eyebrow, html:lang(zh) .nav-group > summary { letter-spacing: 0.12em; }
html:lang(zh) .lede { line-height: 1.8; }

/* ── Motion ─────────────────────────────────────────────────────────────── */

@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after { animation-duration: 0.001ms !important; animation-iteration-count: 1 !important; transition-duration: 0.001ms !important; scroll-behavior: auto !important; }
}

/* ── Print ──────────────────────────────────────────────────────────────── */

@media print {
  .topbar, .sidebar, .toc, .page-nav, .page-tools, .code-copy, .search { display: none !important; }
  .layout { display: block; }
  main { padding: 0; }
  body { background: #fff; color: #111; }
}

/* German compounds: let the browser hyphenate prose, table text and headings (never code).
   A word that still cannot fit (any language) breaks rather than widening the page. */
html:lang(de) .prose p, html:lang(de) .prose li, html:lang(de) .prose td, html:lang(de) .prose th,
html:lang(de) .card .d, html:lang(de) .lede,
html:lang(de) .page-head h1, html:lang(de) .prose h2, html:lang(de) .prose h3, html:lang(de) .prose h4 {
  -webkit-hyphens: auto;
  hyphens: auto;
}
html:lang(de) .prose code, html:lang(de) .page-head h1 code { -webkit-hyphens: manual; hyphens: manual; }
.page-head h1, .prose h2, .prose h3, .prose h4 { overflow-wrap: break-word; }

/* ============================================================================
   The First Step — the landing page, and components the other pages borrow
   (buttons, stat tiles, the lineage rail). Appended to docs.css by the build.
   ========================================================================== */

/* small fixes to the shell that belong with the brand */
:root[data-theme="light"] .brand-mark { --bm-a: #11213F; --bm-b: #2B5AA7; --bm-c: #5559D6; --bm-beam: #2B5AA7; --bm-star: #2B5AA7; }
.toc .h-num { font-family: var(--font-mono); font-size: 0.86em; color: var(--text-dim); margin-right: 0.2em; }
.code--text .code-head {
  position: absolute; top: 7px; right: 7px; height: auto; padding: 0;
  background: none; border: 0; z-index: 1;
}
.code--text .code-head .code-title { display: none; }
.code--text .code-copy { background: var(--code-bg); opacity: 0.7; }
.code--text:hover .code-copy, .code--text .code-copy:focus-visible { opacity: 1; }
.code--text pre { padding-right: 84px; }

/* ── Buttons: the chamfered cut of the main site ────────────────────────── */

.btn {
  --cut: 11px;
  position: relative;
  display: inline-flex; align-items: center; gap: 10px;
  min-height: 46px; padding: 0 18px;
  font-family: var(--font-mono); font-size: 0.72rem; font-weight: 650;
  letter-spacing: 0.13em; text-transform: uppercase;
  text-decoration: none !important;
  clip-path: polygon(var(--cut) 0, 100% 0, 100% calc(100% - var(--cut)), calc(100% - var(--cut)) 100%, 0 100%, 0 var(--cut));
  transition: background 0.2s, color 0.2s, filter 0.2s;
  white-space: nowrap;
}
.btn svg { width: 15px; height: 15px; }
.btn-primary { background: var(--accent); color: var(--accent-ink) !important; }
.btn-primary:hover { background: var(--accent-hi); filter: drop-shadow(0 0 14px var(--accent-glow)); }
.btn-ghost {
  color: var(--text-strong) !important;
  background:
    linear-gradient(var(--bg-raise), var(--bg-raise)) padding-box,
    linear-gradient(135deg, var(--line-strong), var(--line)) border-box;
  border: 1px solid transparent;
}
.btn-ghost:hover { color: var(--accent) !important; }
.btn-row { display: flex; flex-wrap: wrap; gap: 12px; margin: 30px 0 0; }

/* ── The landing page ───────────────────────────────────────────────────── */

.page--landing .prose { font-size: 1.02rem; }
.page--landing .prose > section { margin: 0 0 104px; }
.page--landing .prose > section:last-child { margin-bottom: 40px; }

.l-head { max-width: 760px; margin: 0 0 30px; }
.l-head .eyebrow { margin-bottom: 14px; }
.l-head h2 {
  margin: 0 0 14px !important; padding: 0 !important;
  font-size: clamp(1.7rem, 2.9vw, 2.35rem) !important; line-height: 1.14 !important;
  letter-spacing: -0.025em !important; font-weight: 700 !important;
}
.l-head p { font-size: 1.08rem; color: var(--text-soft); margin: 0; }

/* hero: a window into space in either theme */
.hero {
  position: relative;
  margin: -8px 0 96px;
  border-radius: 22px;
  border: 1px solid var(--line);
  background:
    radial-gradient(900px 420px at 80% 100%, rgba(64, 108, 176, 0.18), transparent 65%),
    radial-gradient(700px 360px at 0% 100%, rgba(144, 147, 249, 0.08), transparent 60%),
    #010308;
  color: var(--text);
  overflow: hidden;
  isolation: isolate;
}
.hero-art {
  position: relative;
  margin: 0;
  aspect-ratio: 2172 / 724;
  max-height: 420px;
  width: 100%;
  overflow: hidden;
  background: #010308;
}
.hero-art img {
  display: block; width: 100%; height: 100%; object-fit: cover; object-position: 50% 60%;
  animation: hero-drift 26s ease-in-out infinite alternate;
  transform-origin: 50% 70%;
}
.hero-art::after {
  content: ""; position: absolute; inset: 0; pointer-events: none;
  background:
    linear-gradient(180deg, rgba(1, 3, 8, 0) 55%, #010308 100%),
    linear-gradient(90deg, rgba(1, 3, 8, 0.35), transparent 22%, transparent 78%, rgba(1, 3, 8, 0.35));
}
@keyframes hero-drift { from { transform: scale(1.0); } to { transform: scale(1.045); } }

.hero-body {
  position: relative; z-index: 1;
  padding: 6px 48px 48px;
}
.hero-split {
  display: grid;
  grid-template-columns: minmax(0, 1.2fr) minmax(0, 0.85fr);
  gap: 48px;
  align-items: start;
}
.hero .eyebrow { color: #94B0DF; }
.hero h1 {
  margin: 0 0 22px;
  font-size: clamp(2.4rem, 5vw, 4.4rem);
  line-height: 1.03;
  max-width: 15em;
  letter-spacing: -0.04em;
  font-weight: 760;
  color: #EAF3FB;
}
.grad {
  white-space: nowrap;
  background: var(--g-title);
  -webkit-background-clip: text; background-clip: text; color: transparent;
}
.hero .grad { background: linear-gradient(100deg, #EAF3FB 0%, #C0D6F1 30%, #719DE2 70%, #9093F9 100%); -webkit-background-clip: text; background-clip: text; }
.hero .sub { margin: 0; max-width: 34em; font-size: 1.16rem; line-height: 1.62; color: #B4C3D9; }
.hero .sub strong { color: #EAF3FB; font-weight: 600; }

/* the statement card */
.receipt {
  position: relative;
  border-radius: 16px;
  border: 1px solid rgba(113, 157, 226, 0.4);
  background: linear-gradient(180deg, rgba(8, 19, 37, 0.92), rgba(3, 9, 20, 0.92));
  box-shadow: 0 0 0 1px rgba(95, 141, 215, 0.08), 0 30px 60px -30px rgba(0, 0, 0, 0.9), 0 0 60px -20px rgba(95, 141, 215, 0.35);
  padding: 18px 20px 16px;
  font-size: 0.86rem;
}
.receipt::before {
  content: ""; position: absolute; left: 18px; right: 18px; top: 0; height: 1px;
  background: linear-gradient(90deg, transparent, rgba(234, 243, 251, 0.6), transparent);
}
.receipt-head {
  display: flex; justify-content: space-between; align-items: center; gap: 12px;
  margin: 0 0 12px; padding-bottom: 12px; border-bottom: 1px dashed rgba(64, 108, 176, 0.35);
  font-family: var(--font-mono); font-size: 0.66rem; letter-spacing: 0.18em; text-transform: uppercase; color: #94B0DF;
}
.receipt-head .ok { color: #95D7A2; display: inline-flex; gap: 6px; align-items: center; }
.receipt-head .ok::before { content: ""; width: 7px; height: 7px; border-radius: 50%; background: #95D7A2; box-shadow: 0 0 10px rgba(149, 215, 162, 0.8); }
.receipt dl { margin: 0; display: grid; grid-template-columns: max-content minmax(0, 1fr); gap: 9px 14px; }
.receipt dt { font-family: var(--font-mono); font-size: 0.7rem; letter-spacing: 0.1em; text-transform: uppercase; color: #6E7F98; padding-top: 2px; }
.receipt dd { margin: 0; color: #C9D6E8; line-height: 1.45; }
.receipt dd code { font-family: var(--font-mono); font-size: 0.82em; color: #EAF3FB; background: rgba(64, 108, 176, 0.16); border-radius: 4px; padding: 1px 5px; border: 0; }
.receipt-foot {
  margin: 14px 0 0; padding-top: 12px; border-top: 1px dashed rgba(64, 108, 176, 0.35);
  font-family: var(--font-mono); font-size: 0.68rem; letter-spacing: 0.08em; color: #94B0DF;
  display: flex; justify-content: space-between; gap: 10px;
}

/* twinkling stars over the hero body */
.hero .stars { position: absolute; inset: 0; z-index: 0; pointer-events: none; }
.hero .stars i {
  position: absolute; width: 2px; height: 2px; border-radius: 50%; background: #EAF3FB;
  opacity: 0.2; animation: twinkle 7s ease-in-out infinite;
}
@keyframes twinkle { 0%, 100% { opacity: 0.12; } 45% { opacity: 0.85; } 55% { opacity: 0.5; } }

/* manifesto */
.manifesto {
  position: relative;
  max-width: 900px;
  margin: 0 auto;
  text-align: center;
}
.manifesto p.big {
  font-size: clamp(1.35rem, 2.3vw, 1.85rem);
  line-height: 1.5;
  letter-spacing: -0.012em;
  color: var(--text-strong);
  font-weight: 500;
  margin: 0 0 22px;
}
.manifesto p.big em { font-style: normal; color: var(--accent); }
.manifesto p { color: var(--text-soft); font-size: 1.06rem; max-width: 720px; margin: 0 auto 14px; }
.bloom {
  position: absolute; left: 50%; top: 50%; width: 80%; height: 140%;
  transform: translate(-50%, -50%); z-index: -1; pointer-events: none;
  background: radial-gradient(closest-side, var(--accent-wash), transparent);
  filter: blur(10px);
}

/* the lineage rail: work → stake → correctness */
.lineage {
  position: relative;
  display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 18px;
  margin: 36px 0 18px;
}
.lineage::before {
  content: ""; position: absolute; left: 4%; right: 4%; top: 31px; height: 2px; z-index: 0;
  background: linear-gradient(90deg, var(--line), var(--accent) 70%, var(--event));
  background-size: 200% 100%;
  animation: rail 6s linear infinite;
  opacity: 0.7;
}
@keyframes rail { from { background-position: 100% 0; } to { background-position: -100% 0; } }
.era {
  position: relative; z-index: 1;
  padding: 18px 20px 20px;
  border-radius: 14px; border: 1px solid var(--line);
  background: linear-gradient(180deg, var(--panel-hi), var(--panel));
}
.era .node {
  display: grid; place-items: center; width: 26px; height: 26px; margin: 0 0 16px; border-radius: 50%;
  border: 1px solid var(--line-strong); background: var(--bg);
  font-family: var(--font-mono); font-size: 0.66rem; color: var(--text-muted);
}
.era .when { font-family: var(--font-mono); font-size: 0.66rem; letter-spacing: 0.18em; text-transform: uppercase; color: var(--text-dim); margin: 0 0 6px; }
.era h3 { margin: 0 0 8px !important; font-size: 1.22rem !important; }
.era p { margin: 0; font-size: 0.93rem; color: var(--text-muted); }
.era.is-now {
  border-color: transparent;
  background:
    linear-gradient(180deg, var(--panel-hi), var(--panel)) padding-box,
    linear-gradient(135deg, var(--accent), var(--event)) border-box;
  box-shadow: 0 0 0 4px var(--accent-wash), 0 24px 60px -30px var(--accent-glow);
}
.era.is-now .node { border-color: var(--accent); color: var(--accent); box-shadow: 0 0 14px var(--accent-glow); }
.era.is-now h3 { color: var(--text-strong); }
.lineage-coda { color: var(--text-soft); font-size: 1.04rem; max-width: 820px; margin: 22px 0 0; }
.lineage-coda strong { color: var(--text-strong); }

/* stat tiles */
.stats {
  display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 14px; margin: 30px 0 0;
}
.stat {
  position: relative;
  padding: 20px 18px 18px;
  border-radius: 14px; border: 1px solid var(--line);
  background: linear-gradient(180deg, var(--panel-hi), var(--panel));
  overflow: hidden;
}
.stat::after {
  content: ""; position: absolute; right: -40px; top: -40px; width: 120px; height: 120px; border-radius: 50%;
  background: radial-gradient(closest-side, var(--accent-wash), transparent);
}
.stat .v {
  display: block;
  font-family: var(--font-mono);
  font-size: clamp(1.5rem, 2.3vw, 2.05rem);
  font-weight: 600;
  letter-spacing: -0.03em;
  line-height: 1.1;
  margin: 0 0 8px;
  background: var(--g-title); -webkit-background-clip: text; background-clip: text; color: transparent;
}
.stat .v small { font-size: 0.55em; letter-spacing: 0; }
.stat .l { display: block; color: var(--text-strong); font-weight: 600; font-size: 0.92rem; margin: 0 0 4px; }
.stat .s { display: block; color: var(--text-muted); font-size: 0.82rem; line-height: 1.5; }
.stats-note { margin: 20px 0 0; font-size: 0.82rem; color: var(--text-dim); }

/* the two-lane pipeline figure */
.lanes { margin-top: 26px; }

/* swaps teaser table */
.swaps td:nth-child(2) { color: var(--text-muted); }
.swaps td:nth-child(3) { color: var(--text-strong); }

/* closing */
.closing {
  position: relative;
  text-align: center;
  padding: 64px 28px 60px;
  border-radius: 22px;
  border: 1px solid var(--line);
  background:
    radial-gradient(700px 300px at 50% 120%, var(--accent-wash), transparent 70%),
    linear-gradient(180deg, var(--panel-hi), var(--panel));
  overflow: hidden;
}
.closing h2 {
  margin: 0 auto 16px !important; padding: 0 !important; max-width: 780px;
  font-size: clamp(1.8rem, 3.2vw, 2.6rem) !important; line-height: 1.12 !important; letter-spacing: -0.03em !important;
}
.closing p { max-width: 640px; margin: 0 auto; color: var(--text-soft); font-size: 1.06rem; }
.closing .btn-row { justify-content: center; }
.closing .tagline {
  margin: 34px auto 0; padding-left: 0.42em; font-family: var(--font-mono); font-size: 0.7rem; letter-spacing: 0.42em;
  text-transform: uppercase; color: var(--text-dim);
}

@media (max-width: 1100px) {
  .hero-body { padding: 6px 30px 34px; }
  .hero-split { grid-template-columns: minmax(0, 1fr); gap: 30px; }
  .stats { grid-template-columns: repeat(2, minmax(0, 1fr)); }
}
@media (max-width: 760px) {
  .hero { border-radius: 16px; margin-top: -4px; }
  .hero-body { padding: 4px 20px 26px; }
  .lineage { grid-template-columns: minmax(0, 1fr); gap: 14px; padding-left: 26px; }
  .lineage::before { left: 12px; right: auto; top: 10px; bottom: 10px; width: 2px; height: auto; background: linear-gradient(180deg, var(--line), var(--accent) 70%, var(--event)); animation: none; }
  .era .node { position: absolute; left: -27px; top: 18px; margin: 0; width: 24px; height: 24px; }
  .page--landing .prose > section { margin-bottom: 76px; }
  .closing { padding: 44px 18px 40px; }
}
@media (max-width: 520px) {
  .stats { grid-template-columns: minmax(0, 1fr); }
  .btn { min-height: 44px; padding: 0 16px; }
}

/* the travelling dot on the path-of-a-proof rail */
.pp-dot { transform-box: view-box; animation: pp-move 7s cubic-bezier(0.55, 0, 0.45, 1) infinite; }
@keyframes pp-move {
  0% { transform: translateX(0); opacity: 0; }
  8% { opacity: 1; }
  90% { opacity: 1; }
  100% { transform: translateX(1022px); opacity: 0; }
}

/* ── Quantum Leap: briefing components ─────────────────────────────────── */

.brief-banner {
  position: relative;
  margin: 0 0 30px;
  padding: 16px 18px;
  border-radius: 12px;
  border: 1px dashed color-mix(in srgb, var(--event) 55%, transparent);
  background: repeating-linear-gradient(135deg, color-mix(in srgb, var(--event) 6%, transparent) 0 10px, transparent 10px 20px);
  font-family: var(--font-mono); font-size: 0.74rem; letter-spacing: 0.08em; color: var(--text-muted);
  display: flex; flex-wrap: wrap; gap: 8px 22px; align-items: center;
}
.brief-banner b { color: var(--event); font-weight: 650; letter-spacing: 0.18em; text-transform: uppercase; }
.brief-banner span { white-space: nowrap; }

.dossier { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 14px; margin: 1.6em 0 2em; }
.file {
  position: relative; display: flex; flex-direction: column;
  border-radius: 13px; border: 1px solid var(--line);
  background: linear-gradient(180deg, var(--panel-hi), var(--panel));
  text-decoration: none !important; color: var(--text);
  overflow: hidden; transition: border-color 0.2s, box-shadow 0.2s, transform 0.2s;
}
a.file:hover { border-color: color-mix(in srgb, var(--event) 60%, transparent); box-shadow: 0 0 0 3px color-mix(in srgb, var(--event) 12%, transparent); transform: translateY(-2px); }
.file-head {
  display: flex; justify-content: space-between; gap: 10px; align-items: center;
  padding: 10px 16px; border-bottom: 1px dashed var(--line);
  font-family: var(--font-mono); font-size: 0.66rem; letter-spacing: 0.16em; text-transform: uppercase; color: var(--text-dim);
}
.file-head .code { color: var(--event); font-weight: 650; }
.file-head .status { display: inline-flex; align-items: center; gap: 6px; }
.file-head .status::before { content: ""; width: 6px; height: 6px; border-radius: 50%; background: var(--c-ok); box-shadow: 0 0 8px var(--c-ok); }
.file-body { padding: 14px 16px 16px; }
.file-body .t { margin: 0 0 6px; color: var(--text-strong); font-weight: 650; font-size: 1.06rem; }
.file-body .d { margin: 0; font-size: 0.9rem; color: var(--text-muted); line-height: 1.55; }

.redact {
  display: inline-block; width: 7.5em; height: 0.95em; vertical-align: -0.1em;
  border-radius: 2px; background: var(--text-strong); opacity: 0.85;
}

.trajectory td:nth-child(2) { color: var(--text-muted); }
.trajectory td:nth-child(3) { color: var(--text-strong); }

@media (max-width: 760px) { .dossier { grid-template-columns: minmax(0, 1fr); } .brief-banner span { white-space: normal; } }
/* `.code` is also the code-block wrapper: keep the dossier's file code inline */
.file-head span.code {
  position: static; margin: 0; padding: 0; border: 0; border-radius: 0;
  background: none; box-shadow: none; overflow: visible;
}

/* the closing section: a second window into space, with the emblem blended into it */
.closing.space {
  border-color: rgba(64, 108, 176, 0.3);
  background:
    radial-gradient(700px 320px at 50% 0%, rgba(95, 141, 215, 0.18), transparent 70%),
    radial-gradient(600px 300px at 50% 120%, rgba(144, 147, 249, 0.10), transparent 70%),
    #010308;
  color: #9CACC5;
}
.closing.space h2 { color: #EAF3FB; }
.closing.space p { color: #B4C3D9; }
.closing-emblem {
  display: block; width: 210px; height: auto; margin: -28px auto 4px;
  mix-blend-mode: screen; /* the image's black ground disappears into the void */
  -webkit-mask-image: radial-gradient(closest-side, #000 72%, transparent);
  mask-image: radial-gradient(closest-side, #000 72%, transparent);
}

/* small phones: the headline scales with the viewport so the unbroken term always fits */
@media (max-width: 440px) { .hero h1 { font-size: 9vw; } }