/* Hallmark · macrostructure: Workbench (live product surface leads, proof follows) · tone: technical-calm · anchor hue: 255 cobalt
 * nav: N5 floating pill · footer: Ft5 statement · enrichment: live scripted editor (KaTeX), self-drawing SVG, FLIP morph
 */
@import url("tokens.css");

*, *::before, *::after { box-sizing: border-box; }
html, body { overflow-x: clip; }
html { scroll-behavior: smooth; -webkit-text-size-adjust: 100%; }
body {
  margin: 0;
  background: var(--color-paper);
  color: var(--color-ink);
  font: 400 var(--text-md)/1.65 var(--font-body);
  -webkit-font-smoothing: antialiased;
}
img { max-width: 100%; display: block; }
a { color: var(--color-accent); text-underline-offset: 3px; }
:focus-visible { outline: 2px solid var(--color-focus); outline-offset: 3px; border-radius: 6px; }
h1, h2, h3 { font-family: var(--font-display); font-style: normal; color: var(--color-ink); margin: 0; overflow-wrap: anywhere; min-width: 0; }
h1 { font-size: var(--text-display); line-height: 1.02; letter-spacing: -0.035em; font-weight: 800; }
h2 { font-size: var(--text-2xl); line-height: 1.08; letter-spacing: -0.025em; font-weight: 800; }
h3 { font-size: var(--text-lg); line-height: 1.3; font-weight: 700; letter-spacing: -0.01em; }
p { margin: 0; }
.lede { color: var(--color-ink-2); font-size: var(--text-lg); max-width: 34rem; }
.muted { color: var(--color-ink-3); }
.sr-only { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }

/* Background: a still gradient (the old blurred, drifting glows made scrolling stutter) */
/* A fixed layer of its own (not background-attachment: fixed, which repaints the whole page on every scroll frame). */
body { background: var(--color-paper); }
body::before { content: ""; position: fixed; inset: 0; z-index: -1; pointer-events: none; background: radial-gradient(60vmax 50vmax at 0% 0%, var(--color-glow-1), transparent 70%), radial-gradient(55vmax 45vmax at 100% 100%, var(--color-glow-2), transparent 70%); will-change: transform; }
.ambient { display: none; }

.wrap { width: min(1160px, 100% - 2 * var(--space-md)); margin-inline: auto; }

/* Glass surfaces */
.glass {
  background: var(--color-glass);
  border: 1px solid var(--color-glass-edge);
  border-radius: var(--radius-lg);
}

/* N5 floating pill nav */
.nav { position: relative; z-index: 10; margin-top: var(--space-sm); }
.nav-inner { display: flex; align-items: center; gap: var(--space-md); padding: var(--space-xs) var(--space-xs) var(--space-xs) var(--space-md); border-radius: var(--radius-pill); }
.brand { display: inline-flex; align-items: center; gap: var(--space-xs); color: var(--color-ink); text-decoration: none; font: 800 var(--text-md)/1 var(--font-display); white-space: nowrap; }
.brand .fx { font: italic 700 1.45rem/1 var(--font-math); color: var(--color-accent); }
.nav-links { display: flex; gap: var(--space-lg); margin-left: auto; }
.nav-links a { color: var(--color-ink-2); text-decoration: none; font-size: var(--text-sm); white-space: nowrap; }
.nav-links a:hover { color: var(--color-ink); }
.lang { border: 1px solid var(--color-line); background: transparent; color: var(--color-ink-2); border-radius: var(--radius-pill); padding: 0.35rem 0.7rem; font: 600 var(--text-xs)/1 var(--font-body); cursor: pointer; white-space: nowrap; }
.lang:hover { color: var(--color-ink); border-color: var(--color-key-edge); }
@media (max-width: 760px) { .nav-links { display: none; } .nav-inner { justify-content: space-between; } .nav .lang { margin-left: auto; } }

/* Buttons */
.btn { display: inline-flex; align-items: center; justify-content: center; gap: var(--space-xs); min-height: 46px; padding: 0 var(--space-lg); border-radius: var(--radius-pill); font: 700 var(--text-sm)/1 var(--font-display); text-decoration: none; white-space: nowrap; cursor: pointer; border: 1px solid transparent; transition: transform var(--dur-fast) var(--ease-out), background-color var(--dur-fast) var(--ease-out), border-color var(--dur-fast) var(--ease-out); }
.btn:active { transform: translateY(1px); }
.btn-primary { background: linear-gradient(135deg, var(--color-accent), var(--color-accent-2)); color: var(--color-accent-ink); }
.btn-primary:hover { transform: translateY(-1px); }
.btn-ghost { background: var(--color-glass); border-color: var(--color-glass-edge); color: var(--color-ink); }
.btn-ghost:hover { border-color: var(--color-key-edge); }
.btn-sm { min-height: 38px; padding: 0 var(--space-md); }
.btn[aria-disabled="true"] { opacity: 0.6; pointer-events: none; }

/* Keycaps */
.key { display: inline-flex; align-items: center; justify-content: center; min-width: 2.3em; height: 2.3em; padding: 0 0.6em; border-radius: 9px; background: var(--color-key); border: 1px solid var(--color-key-edge); border-bottom-width: 3px; color: var(--color-ink-2); font: 600 var(--text-sm)/1 var(--font-body); transition: transform 90ms var(--ease-out), background-color 90ms var(--ease-out), color 90ms var(--ease-out), border-color 90ms var(--ease-out); white-space: nowrap; }
.key.on { transform: translateY(2px); border-bottom-width: 1px; background: var(--color-accent); border-color: var(--color-accent); color: var(--color-accent-ink); }

/* Sections + reveal */
section { padding-block: var(--space-4xl); }

.reveal { opacity: 0; transform: translateY(18px); transition: opacity var(--dur-slow) var(--ease-out), transform var(--dur-slow) var(--ease-out); }
.reveal.in { opacity: 1; transform: none; }

/* Footer (Ft5 statement) */
.foot { padding-block: var(--space-3xl) var(--space-2xl); border-top: 1px solid var(--color-line); }
.foot-statement { font: 800 var(--text-xl)/1.2 var(--font-display); letter-spacing: -0.02em; max-width: 28rem; }
.foot-row { display: flex; flex-wrap: wrap; gap: var(--space-lg); align-items: center; margin-top: var(--space-xl); }
.foot-row a { color: var(--color-ink-2); text-decoration: none; font-size: var(--text-sm); white-space: nowrap; }
.foot-row a:hover { color: var(--color-ink); }
.foot-note { margin-top: var(--space-lg); font-size: var(--text-xs); color: var(--color-ink-3); max-width: 46rem; }

/* Legal pages */
.doc { padding-block: var(--space-3xl) var(--space-4xl); }
.doc-card { padding: clamp(var(--space-lg), 4vw, var(--space-3xl)); }
.doc h1 { font-size: var(--text-2xl); }
.doc h2 { font-size: var(--text-lg); margin-top: var(--space-xl); letter-spacing: -0.01em; }
.doc p, .doc li { color: var(--color-ink-2); max-width: 46rem; margin-top: var(--space-sm); }
.doc ul { padding-left: 1.2rem; margin: 0; }
.doc .updated { margin-top: var(--space-sm); color: var(--color-ink-3); font-size: var(--text-sm); }
.doc-tabs { display: flex; gap: var(--space-xs); margin-top: var(--space-lg); }
.doc-tabs a { padding: 0.4rem 0.9rem; border-radius: var(--radius-pill); border: 1px solid var(--color-line); color: var(--color-ink-2); text-decoration: none; font-size: var(--text-sm); }
.doc-tabs a:hover { color: var(--color-ink); border-color: var(--color-key-edge); }
.doc hr { border: 0; border-top: 1px solid var(--color-line); margin: var(--space-2xl) 0; }
.doc table { border-collapse: collapse; width: 100%; margin-top: var(--space-md); font-size: var(--text-sm); }
.doc th, .doc td { text-align: left; padding: var(--space-xs) var(--space-sm); border-bottom: 1px solid var(--color-line); color: var(--color-ink-2); vertical-align: top; }
.doc th { color: var(--color-ink); font-weight: 600; }
.table-scroll { overflow-x: auto; }

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  .reveal { transition: opacity 150ms linear; transform: none; }
  .btn, .key { transition: none; }
}