/* FasterAI Labs: tokens (generated from the design system tokens.json, dark first) + components + site layout */

:root, [data-theme="dark"] {
  --signal-orange: #F97316;
  --burnt-orange: #C2410C;
  --ember: #FB923C;
  --graphite: #111418;
  --carbon: #1A1F24;
  --steel: #4A5561;
  --slate: #8A96A3;
  --aluminium: #D5DAE0;
  --paper: #F4F5F6;
  --white: #FFFFFF;
  --mist: #B8C1CA;
  --pass: #15803D;
  --pass-on-dark: #4ADE80;
  --fail: #B91C1C;
  --fail-on-dark: #F87171;
  --not-proven: #A16207;
  --not-proven-on-dark: #FACC15;
  --surface: var(--graphite);
  --surface-raised: var(--carbon);
  --ink: var(--paper);
  --text-body: var(--mist);
  --text-secondary: var(--slate);
  --accent-text: var(--ember);
  --accent-fill: var(--signal-orange);
  --accent-fill-hover: var(--ember);
  --on-accent: var(--graphite);
  --rule: var(--steel);
  --rule-strong: var(--paper);
  --verdict-pass: var(--pass-on-dark);
  --verdict-fail: var(--fail-on-dark);
  --verdict-not-proven: var(--not-proven-on-dark);
  --chart-highlight: var(--signal-orange);
  --chart-1: var(--paper);
  --chart-2: var(--mist);
}

[data-theme="light"] {
  --signal-orange: #F97316;
  --burnt-orange: #C2410C;
  --ember: #FB923C;
  --graphite: #111418;
  --carbon: #1A1F24;
  --steel: #4A5561;
  --slate: #8A96A3;
  --aluminium: #D5DAE0;
  --paper: #F4F5F6;
  --white: #FFFFFF;
  --mist: #B8C1CA;
  --pass: #15803D;
  --pass-on-dark: #4ADE80;
  --fail: #B91C1C;
  --fail-on-dark: #F87171;
  --not-proven: #A16207;
  --not-proven-on-dark: #FACC15;
  --surface: var(--paper);
  --surface-raised: var(--white);
  --ink: var(--graphite);
  --text-body: var(--steel);
  --text-secondary: var(--steel);
  --accent-text: var(--burnt-orange);
  --accent-fill: var(--signal-orange);
  --accent-fill-hover: var(--ember);
  --on-accent: var(--graphite);
  --rule: var(--aluminium);
  --rule-strong: var(--graphite);
  --verdict-pass: var(--pass);
  --verdict-fail: var(--fail);
  --verdict-not-proven: var(--not-proven);
  --chart-highlight: var(--burnt-orange);
  --chart-1: var(--graphite);
  --chart-2: var(--steel);
}

:root {
  --space-1: 6px;
  --space-2: 10px;
  --space-3: 12px;
  --space-4: 18px;
  --space-5: 24px;
  --space-6: 32px;
  --space-7: 40px;
  --space-8: 64px;
  --space-9: 72px;
  --space-slide: 120px;
  --radius-none: 0px;
  --radius-sm: 2px;
  --radius-md: 4px;
  --radius-lg: 8px;
  --radius-pill: 999px;
  --radius-icon: 28px;
  --border-hairline: 1px;
  --border-strong: 2px;
  --fragment-height: 6px;
  --fragment-gap: 4px;
  --fragment-height-canvas: 18px;
  --fragment-gap-canvas: 12px;
  --bar-height: 16px;
  --font-sans: "Schibsted Grotesk", system-ui, sans-serif;
  --font-mono: "JetBrains Mono", ui-monospace, monospace;
}


/* FasterAI Labs component styles. All values come from tokens.css.
   Nothing is sharp, as in the logo: containers have softly rounded corners (radius-sm / radius-md, like the F's corners),
   bars that come from the logo's fragments have fully rounded ends (radius-pill). */

.fa-preview { margin: 0; padding: var(--space-5); background: var(--surface); color: var(--ink); font-family: var(--font-sans); display: flex; flex-wrap: wrap; gap: var(--space-5); align-items: center; }

/* Fragment motif: three bars in the logo's proportions, the third orange */
.fa-fragments { --fa-h: var(--fragment-height); --fa-g: var(--fragment-gap); display: inline-flex; flex-direction: column; align-items: flex-end; gap: var(--fa-g); width: calc(var(--fa-h) * 4.6); }
.fa-fragments--canvas { --fa-h: var(--fragment-height-canvas); --fa-g: var(--fragment-gap-canvas); }
.fa-fragments i { display: block; height: var(--fa-h); border-radius: var(--radius-pill); background: var(--ink); }
.fa-fragments i:nth-child(1) { width: calc(var(--fa-h) * 2.2); }
.fa-fragments i:nth-child(2) { width: calc(var(--fa-h) * 4.6); }
.fa-fragments i:nth-child(3) { width: calc(var(--fa-h) * 3); background: var(--accent-fill); }

/* Page opener: the motif once, then the page title. No label above the title. */
.fa-opener { display: flex; flex-direction: column; align-items: flex-start; gap: var(--space-4); }

/* Section header: the heading alone, one dark rule. No motif, no label above. */
.fa-section-head { padding-bottom: var(--space-4); border-bottom: var(--border-hairline) solid var(--rule-strong); }
.fa-section-head h2 { margin: 0; font-family: var(--font-sans); font-size: 32px; line-height: 1.15; font-weight: 700; letter-spacing: -0.02em; color: var(--ink); }

/* Button */
.fa-button { font-family: var(--font-sans); font-size: 13px; font-weight: 600; line-height: 1.2; padding: 8px 14px; background: var(--accent-fill); color: var(--on-accent); border: var(--border-hairline) solid transparent; border-radius: var(--radius-md); cursor: pointer; }
.fa-button:hover { background: var(--accent-fill-hover); }
.fa-button--secondary { background: transparent; color: var(--ink); border-color: var(--text-secondary); }
.fa-button--secondary:hover { background: var(--surface-raised); border-color: var(--ink); }
.fa-button:focus-visible { outline: var(--border-strong) solid var(--rule-strong); outline-offset: 2px; }

/* Link: ink with a hairline underline, orange on hover */
.fa-link { color: var(--ink); text-decoration: underline; text-decoration-color: var(--text-secondary); text-decoration-thickness: 1px; text-underline-offset: 3px; }
.fa-link:hover { color: var(--accent-text); text-decoration-color: currentColor; }
.fa-link:focus-visible { outline: var(--border-strong) solid var(--rule-strong); outline-offset: 2px; border-radius: var(--radius-sm); }

/* Lockup (the wordmark keeps the logo's weight 800) */
.fa-lockup { display: inline-flex; align-items: center; gap: calc(var(--fa-mark, 70px) * 0.26); color: var(--ink); }
.fa-lockup img { height: var(--fa-mark, 70px); width: auto; display: block; }
.fa-lockup__name { font-family: var(--font-sans); font-weight: 800; letter-spacing: -0.035em; line-height: 1; font-size: calc(var(--fa-mark, 70px) * 0.63); }
.fa-lockup--stacked { flex-direction: column; gap: calc(var(--fa-mark, 70px) * 0.17); }
.fa-lockup--stacked .fa-lockup__name { font-size: calc(var(--fa-mark, 70px) * 0.3); }

/* Mono label: data context (conditions, keys, card headers), never a title's eyebrow */
.fa-label { font-family: var(--font-mono); font-size: 12px; font-weight: 500; letter-spacing: 0.06em; text-transform: uppercase; color: var(--text-secondary); }
.fa-label--muted { color: var(--text-secondary); }
.fa-meta { font-family: var(--font-mono); font-size: 12px; color: var(--text-secondary); }

/* Verdict: a quiet mono tag with a small square marker */
.fa-verdict { display: inline-flex; align-items: center; gap: 6px; font-family: var(--font-mono); font-size: 12px; font-weight: 500; letter-spacing: 0.06em; line-height: 1.4; text-transform: uppercase; padding: 2px 8px; border: var(--border-hairline) solid currentColor; border-radius: var(--radius-sm); }
.fa-verdict::before { content: ""; width: 6px; height: 6px; border-radius: 1px; background: currentColor; }
.fa-verdict--pass { color: var(--verdict-pass); }
.fa-verdict--fail { color: var(--verdict-fail); }
.fa-verdict--not-proven { color: var(--verdict-not-proven); }
.fa-verdict--large { font-size: 14px; padding: 4px 10px; }

/* Proof report card */
.fa-proof { background: var(--surface-raised); color: var(--ink); border: var(--border-hairline) solid var(--rule); border-radius: var(--radius-md); padding: var(--space-5); display: flex; flex-direction: column; gap: var(--space-3); width: 300px; box-sizing: border-box; }
.fa-proof__eyebrow { font-family: var(--font-mono); font-size: 10px; letter-spacing: 0.06em; color: var(--text-secondary); text-transform: uppercase; }
.fa-proof__head { display: flex; justify-content: space-between; align-items: center; }
.fa-figure { font-family: var(--font-mono); font-weight: 400; font-size: 30px; letter-spacing: -0.02em; font-variant-numeric: tabular-nums; }
.fa-figure__unit { font-size: 13px; color: var(--text-secondary); letter-spacing: 0; }
.fa-proof__table { border-top: var(--border-hairline) solid var(--rule); padding-top: var(--space-3); display: grid; grid-template-columns: 1fr auto; gap: 6px; font-family: var(--font-mono); font-size: 11px; font-variant-numeric: tabular-nums; margin: 0; }
.fa-proof__table dt { color: var(--text-secondary); }
.fa-proof__table dd { margin: 0; text-align: right; }

/* Before / after bar: rounded-end bars as thick as the gap between them, like the logo's fragments */
.fa-bars { display: grid; grid-template-columns: 64px 1fr 72px; gap: var(--bar-height) 12px; align-items: center; font-family: var(--font-mono); font-size: 11px; letter-spacing: 0.06em; color: var(--ink); width: 100%; }
.fa-bars__key { text-transform: uppercase; color: var(--text-secondary); }
.fa-bar { position: relative; height: var(--bar-height); background: var(--rule); border-radius: var(--radius-pill); }
.fa-bar__fill { position: absolute; left: 0; top: 0; bottom: 0; background: var(--chart-highlight); border-radius: var(--radius-pill); }
.fa-bar__fill--before { background: var(--chart-2); }
.fa-bar__limit { position: absolute; top: -6px; bottom: -6px; width: 2px; margin-left: -1px; background: var(--accent-text); }
.fa-bar__value { font-size: 13px; letter-spacing: 0; text-align: right; font-variant-numeric: tabular-nums; white-space: nowrap; }
.fa-bar__value--after { color: var(--accent-text); }
.fa-bars__limit-label { position: relative; height: 14px; letter-spacing: 0; color: var(--accent-text); }
.fa-bars__limit-label span { position: absolute; transform: translateX(-50%); white-space: nowrap; }


/* ---------- Site layout (FasterAI Labs website, dark by default) ---------- */
.fs-page { background: var(--surface); color: var(--ink); font-family: var(--font-sans); min-height: 100%; }
.fs-wrap { max-width: 1240px; margin: 0 auto; padding: 0 32px; box-sizing: border-box; }
.fs-mono { font-family: var(--font-mono); }

/* Header */
.fs-header { border-bottom: var(--border-hairline) solid var(--rule); }
.fs-nav { display: flex; align-items: center; gap: 32px; flex-wrap: wrap; min-height: 72px; padding: 12px 0; box-sizing: border-box; }
.fs-nav .fa-lockup { text-decoration: none; }
.fs-navlinks { display: flex; gap: 28px; flex-wrap: wrap; margin-left: auto; font-size: 15px; }
.fs-navlinks a { color: var(--text-body); text-decoration: none; padding: 6px 0; }
.fs-navlinks a:hover { color: var(--ink); }
.fs-navlinks a[aria-current="page"] { color: var(--ink); text-decoration: underline; text-decoration-thickness: 1px; text-underline-offset: 8px; }

/* Buttons at site size: 44px touch target */
.fa-button.fs-lg { font-size: 15px; padding: 12px 20px; min-height: 44px; box-sizing: border-box; display: inline-flex; align-items: center; text-decoration: none; }
a.fa-button { text-decoration: none; display: inline-flex; align-items: center; }

/* Sections */
.fs-section { border-top: var(--border-hairline) solid var(--rule); }
.fs-section > .fs-wrap { padding-top: 88px; padding-bottom: 88px; }
.fs-hero > .fs-wrap { padding-top: 96px; padding-bottom: 88px; }
.fs-band { background: var(--surface-raised); border-top: var(--border-hairline) solid var(--rule); }
.fs-band > .fs-wrap { padding-top: 80px; padding-bottom: 80px; display: flex; flex-direction: column; align-items: flex-start; gap: 28px; }

/* Type at page scale */
.fs-h1 { margin: 0; font-size: clamp(36px, 4.4vw, 56px); line-height: 1.05; font-weight: 700; letter-spacing: -0.025em; text-wrap: balance; }
.fs-h2 { margin: 0; font-size: clamp(26px, 2.6vw, 32px); line-height: 1.15; font-weight: 700; letter-spacing: -0.02em; text-wrap: balance; }
.fs-h3 { margin: 0; font-size: 20px; line-height: 1.3; font-weight: 700; letter-spacing: -0.01em; }
.fs-lead { margin: 0; font-size: 19px; line-height: 1.6; color: var(--text-body); max-width: 52ch; }
.fs-body { margin: 0; font-size: 16px; line-height: 1.6; color: var(--text-body); }
.fs-small { margin: 0; font-size: 14px; line-height: 1.55; color: var(--text-secondary); }
.fs-step { font-family: var(--font-mono); font-size: 14px; font-weight: 400; color: var(--text-secondary); margin-right: 10px; letter-spacing: 0; }

/* Layout helpers */
.fs-split { display: grid; grid-template-columns: repeat(auto-fit, minmax(min(100%, 420px), 1fr)); gap: 56px; align-items: center; }
.fs-split--top { align-items: start; gap: 48px; }
.fs-stack { display: flex; flex-direction: column; align-items: flex-start; gap: 20px; }
.fs-row { display: flex; gap: 16px; flex-wrap: wrap; align-items: center; }
.fs-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(min(100%, 240px), 1fr)); gap: var(--space-5); }
.fs-grid--2 { grid-template-columns: repeat(auto-fit, minmax(min(100%, 440px), 1fr)); }
.fs-head-block { margin-bottom: 40px; }

/* Cards */
.fs-card { background: var(--surface-raised); border: var(--border-hairline) solid var(--rule); border-radius: var(--radius-md); }
.fs-card--strong { border-color: var(--rule-strong); }
.fs-card__body { padding: 24px; display: flex; flex-direction: column; gap: 10px; }
.fs-card__bar { padding: 12px 24px; border-bottom: var(--border-hairline) solid var(--rule); display: flex; justify-content: space-between; gap: 12px; flex-wrap: wrap; align-items: center; }
.fs-card__foot { padding: 14px 24px; border-top: var(--border-hairline) solid var(--rule); display: flex; gap: 18px; flex-wrap: wrap; align-items: center; font-size: 14px; }

/* Tables and definition lists */
.fs-table-box { overflow-x: auto; }
.fs-table { width: 100%; border-collapse: collapse; font-size: 16px; border-top: var(--border-hairline) solid var(--rule-strong); }
.fs-table th { text-align: left; padding: 12px 16px; font-family: var(--font-mono); font-size: 11px; font-weight: 500; letter-spacing: 0.06em; text-transform: uppercase; color: var(--text-secondary); border-bottom: var(--border-hairline) solid var(--rule); }
.fs-table td { padding: 16px; border-bottom: var(--border-hairline) solid var(--rule); color: var(--text-body); vertical-align: top; }
.fs-table td:first-child, .fs-table th:first-child { padding-left: 0; }
.fs-table td:last-child, .fs-table th:last-child { padding-right: 0; }
.fs-table .fs-num { font-family: var(--font-mono); font-size: 14px; text-align: right; white-space: nowrap; color: var(--ink); font-variant-numeric: tabular-nums; }
.fs-table .fs-strong { font-weight: 700; color: var(--ink); }
.fs-dl { margin: 0; border-top: var(--border-hairline) solid var(--rule-strong); font-size: 16px; }
.fs-dl > div { display: grid; grid-template-columns: 160px 1fr; gap: 16px; padding: 14px 0; border-bottom: var(--border-hairline) solid var(--rule); }
.fs-dl dt { font-family: var(--font-mono); font-size: 12px; letter-spacing: 0.06em; text-transform: uppercase; color: var(--text-secondary); padding-top: 3px; }
.fs-dl dd { margin: 0; color: var(--ink); }

/* Tags */
.fs-tag { display: inline-flex; align-items: center; font-family: var(--font-mono); font-size: 13px; padding: 7px 12px; border: var(--border-hairline) solid var(--rule); border-radius: var(--radius-sm); color: var(--text-secondary); }
.fs-tag--on { border-color: var(--ink); color: var(--ink); }

/* Footer */
.fs-footer { border-top: var(--border-hairline) solid var(--rule); }
.fs-footer .fs-wrap { padding-top: 32px; padding-bottom: 32px; display: flex; gap: 24px; flex-wrap: wrap; justify-content: space-between; align-items: center; font-family: var(--font-mono); font-size: 12px; letter-spacing: 0.06em; text-transform: uppercase; color: var(--text-secondary); }
.fs-footer nav { display: flex; gap: 22px; flex-wrap: wrap; }
.fs-footer a { color: var(--text-body); text-decoration: none; }
.fs-footer a:hover { color: var(--ink); }

@media (max-width: 640px) {
  .fs-wrap { padding: 0 20px; }
  .fs-section > .fs-wrap, .fs-hero > .fs-wrap { padding-top: 56px; padding-bottom: 56px; }
  .fs-navlinks { margin-left: 0; width: 100%; }
  .fs-dl > div { grid-template-columns: 1fr; gap: 4px; }
}