/* The public marketing pages. They share no rules with app.css: the
   workspace is a dense operator table, and these pages are read once. Every
   color is a token, redefined for dark mode, and text and its background
   always come from the same set of tokens. */
:root {
  color-scheme: light dark;
  --bg: #f7f7f5;
  --bg-alt: #efeff0;
  --surface: #ffffff;
  --ink: #15171c;
  --ink-soft: #3b404a;
  --muted: #5b616d;
  --rule: #dfe0e4;
  --rule-strong: #c9cbd2;
  --accent: #5b3cc4;
  --accent-ink: #4a2fa8;
  --accent-soft: #ece8fb;
  --on-accent: #ffffff;
  --side-a: #4f6188;
  --side-b: #7a4fd6;
  --queue: #b86e1b;
  --lane: #e9eaee;
  --regress: #a54a10;
  --same: #1f6b43;
  --code-bg: #15171c;
  --code-ink: #e6e6ea;
  --code-muted: #9aa0ab;
  --shadow: 0 1px 2px rgba(21, 23, 28, .05), 0 4px 16px rgba(21, 23, 28, .05);
  --radius: 10px;
  --sans: ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
  --mono: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #0d0f13;
    --bg-alt: #12151b;
    --surface: #171a21;
    --ink: #eceef2;
    --ink-soft: #c9ccd4;
    --muted: #9ea4b0;
    --rule: #272b34;
    --rule-strong: #353a45;
    --accent: #b39dff;
    --accent-ink: #c6b6ff;
    --accent-soft: #231d3b;
    --on-accent: #120d24;
    --side-a: #8ea3cf;
    --side-b: #b08cff;
    --queue: #e39a4c;
    --lane: #232731;
    --regress: #f0a467;
    --same: #6fcf97;
    --code-bg: #0a0c0f;
    --code-ink: #e6e6ea;
    --code-muted: #8a909b;
    --shadow: 0 1px 2px rgba(0, 0, 0, .3), 0 4px 16px rgba(0, 0, 0, .25);
  }
}

*, *::before, *::after { box-sizing: border-box; }
[hidden] { display: none !important; }
html, body { background: var(--bg); color: var(--ink); }
body {
  margin: 0;
  font: 16px/1.6 var(--sans);
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}
h1, h2, h3, p, li, dt, dd, th, td, summary, figcaption { color: inherit; }
img, svg { max-width: 100%; }
a { color: var(--accent-ink); text-underline-offset: 3px; }
a:hover { text-decoration-thickness: 2px; }
:focus-visible { outline: 3px solid var(--accent); outline-offset: 2px; border-radius: 4px; }
main:focus { outline: none; }
code { font-family: var(--mono); font-size: .9em; background: var(--accent-soft); color: var(--ink); padding: 1px 5px; border-radius: 4px; }
.sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; border: 0; }
.skip-link {
  position: fixed; top: 8px; left: 16px; z-index: 100;
  padding: 8px 14px; background: var(--surface); color: var(--ink);
  border: 2px solid var(--accent); border-radius: 6px; transform: translateY(-200%);
}
.skip-link:focus { transform: none; }

.wrap { width: 100%; max-width: 1160px; margin: 0 auto; padding: 0 24px; }
.wrap.narrow { max-width: 820px; }

/* Header */
.site-header {
  position: sticky; top: 0; z-index: 10;
  background: color-mix(in srgb, var(--bg) 88%, transparent);
  backdrop-filter: saturate(1.4) blur(10px);
  -webkit-backdrop-filter: saturate(1.4) blur(10px);
  border-bottom: 1px solid var(--rule);
}
.site-header-row { display: flex; align-items: center; gap: 28px; min-height: 64px; }
.site-brand {
  display: inline-flex; align-items: center; gap: 8px;
  font-weight: 700; font-size: 17px; letter-spacing: -.02em;
  color: var(--ink); text-decoration: none; margin: 0;
}
.site-brand-mark { width: 20px; height: 20px; color: var(--accent); flex: none; }
.site-nav ul { display: flex; flex-wrap: wrap; gap: 4px; list-style: none; margin: 0; padding: 0; }
.site-nav a {
  display: block; padding: 6px 10px; border-radius: 6px;
  color: var(--ink-soft); text-decoration: none; font-size: 15px; font-weight: 500;
}
.site-nav a:hover { color: var(--ink); background: var(--bg-alt); }
.site-nav a[aria-current="page"] { color: var(--ink); background: var(--accent-soft); }
.site-actions { display: flex; gap: 8px; margin-left: auto; }

/* Buttons */
.button {
  display: inline-flex; align-items: center; justify-content: center;
  min-height: 38px; padding: 8px 16px; border-radius: 8px;
  font: 600 15px/1.2 var(--sans); text-decoration: none; white-space: nowrap;
  border: 1px solid transparent; cursor: pointer;
}
.button-large { min-height: 46px; padding: 12px 22px; font-size: 16px; }
.button-primary { background: var(--accent); color: var(--on-accent); }
.button-primary:hover { background: var(--accent-ink); text-decoration: none; }
.button-secondary { background: var(--surface); color: var(--ink); border-color: var(--rule-strong); }
.button-secondary:hover { border-color: var(--ink-soft); }
.button-quiet { background: transparent; color: var(--ink); }
.button-quiet:hover { background: var(--bg-alt); }

/* Type */
.eyebrow {
  margin: 0 0 14px; font-size: 13px; font-weight: 700; letter-spacing: .08em;
  text-transform: uppercase; color: var(--accent-ink);
}
h1 { font-size: clamp(34px, 5.2vw, 60px); line-height: 1.05; letter-spacing: -.035em; margin: 0 0 20px; font-weight: 750; text-wrap: balance; }
h2 { font-size: clamp(24px, 3vw, 34px); line-height: 1.15; letter-spacing: -.02em; margin: 0 0 12px; font-weight: 700; text-wrap: balance; }
h3 { font-size: 18px; line-height: 1.3; margin: 0 0 8px; font-weight: 650; letter-spacing: -.01em; }
.lead { font-size: clamp(18px, 2vw, 21px); line-height: 1.55; color: var(--ink-soft); margin: 0 0 28px; max-width: 64ch; }
.fine { font-size: 14px; color: var(--muted); }
p { margin: 0 0 14px; }
p:last-child { margin-bottom: 0; }

/* Hero */
.hero { padding: 88px 0 72px; border-bottom: 1px solid var(--rule);
  background:
    radial-gradient(60% 80% at 85% 0%, var(--accent-soft), transparent 70%),
    var(--bg);
}
.hero-grid { display: grid; grid-template-columns: minmax(0, 1.35fr) minmax(0, 1fr); gap: 56px; align-items: center; }
.hero-copy { max-width: 720px; }
.hero-card {
  background: var(--surface); color: var(--ink); border: 1px solid var(--rule);
  border-radius: 14px; padding: 22px; box-shadow: var(--shadow);
}
.hero-card-head { display: flex; justify-content: space-between; align-items: center; gap: 12px; margin-bottom: 6px !important;
  font-size: 12px; font-weight: 700; letter-spacing: .08em; text-transform: uppercase; color: var(--muted); }
.synthetic-tag { font-size: 11.5px; letter-spacing: .02em; text-transform: none; font-weight: 600; border: 1px dashed var(--rule-strong); border-radius: 999px; padding: 1px 8px; }
.hero-card-title { font-weight: 650; font-size: 16px; margin-bottom: 12px !important; }
.dims { margin: 0; display: grid; }
.dims > div { display: flex; justify-content: space-between; gap: 12px; padding: 9px 0; border-top: 1px solid var(--rule); font-size: 14.5px; }
.dims dt { color: var(--ink-soft); }
.dims dd { margin: 0; font-weight: 600; text-align: right; }
.dim-same { color: var(--same); }
.dim-changed { color: var(--accent-ink); }
.dim-unknown { color: var(--regress); }
.hero-card-foot { margin-top: 10px !important; font-size: 13.5px; color: var(--muted); }
.cta-row { display: flex; flex-wrap: wrap; gap: 12px; align-items: center; }
.hero-facts {
  display: flex; flex-wrap: wrap; gap: 8px 24px; list-style: none; padding: 0; margin: 32px 0 0;
  color: var(--muted); font-size: 15px;
}
.hero-facts li { display: flex; align-items: center; gap: 8px; }
.hero-facts li::before { content: ""; width: 6px; height: 6px; border-radius: 50%; background: var(--accent); flex: none; }

.page-head { padding: 72px 0 48px; border-bottom: 1px solid var(--rule); }
.page-head h1 { font-size: clamp(32px, 4.4vw, 50px); max-width: 22ch; }
.page-head .lead { margin-bottom: 0; }

/* Sections */
.section { padding: 72px 0; }
.section-alt { background: var(--bg-alt); border-top: 1px solid var(--rule); border-bottom: 1px solid var(--rule); }
.section-head { max-width: 720px; margin-bottom: 32px; }
.section-head p { color: var(--ink-soft); font-size: 17px; }
.split { display: grid; grid-template-columns: minmax(0, 1.1fr) minmax(0, 1fr); gap: 48px; align-items: center; }
.split p { color: var(--ink-soft); }
.grid-2, .grid-3 { display: grid; gap: 20px; }
.grid-2 { grid-template-columns: repeat(2, minmax(0, 1fr)); }
.grid-3 { grid-template-columns: repeat(3, minmax(0, 1fr)); }
.section > .wrap > h2 { margin-bottom: 28px; }

.card {
  background: var(--surface); color: var(--ink);
  border: 1px solid var(--rule); border-radius: var(--radius);
  padding: 24px; box-shadow: var(--shadow);
}
.card p { color: var(--ink-soft); font-size: 15px; }
.card-kicker { margin: 14px 0 6px !important; font-size: 12px !important; font-weight: 700; letter-spacing: .06em; text-transform: uppercase; color: var(--muted) !important; }
.plain-list { margin: 0; padding-left: 18px; color: var(--ink-soft); font-size: 15px; }
.plain-list li { margin: 2px 0; }
.plain-list.spaced li { margin: 10px 0; }

/* Demo */
.section-demo { padding-top: 64px; }
.demo-tabs {
  display: inline-flex; flex-wrap: wrap; gap: 4px; padding: 4px; margin-bottom: 20px;
  background: var(--bg-alt); border: 1px solid var(--rule); border-radius: 10px;
}
.demo-tabs button {
  font: 600 15px/1.2 var(--sans); color: var(--ink-soft);
  background: transparent; border: 0; border-radius: 7px; padding: 10px 16px; cursor: pointer;
}
.demo-tabs button span { font-weight: 500; color: var(--muted); }
.demo-tabs button:hover { color: var(--ink); }
.demo-tabs button[aria-selected="true"] { background: var(--surface); color: var(--ink); box-shadow: var(--shadow); }
.demo-tabs button[aria-selected="true"] span { color: var(--ink-soft); }
.demo-panel {
  background: var(--surface); color: var(--ink);
  border: 1px solid var(--rule); border-radius: 14px; padding: 28px; box-shadow: var(--shadow);
}
.demo-panel + .demo-panel { margin-top: 20px; }
.demo-panel-title { font-size: 20px; margin-bottom: 4px; }
.synthetic-label {
  display: inline-block; font-size: 13px; font-weight: 600; color: var(--muted);
  border: 1px dashed var(--rule-strong); border-radius: 999px; padding: 2px 10px; margin: 4px 0 16px;
}
.checks { display: flex; flex-wrap: wrap; gap: 8px; list-style: none; padding: 0; margin: 0 0 20px; }
.checks li {
  font-size: 13.5px; padding: 4px 10px; border-radius: 999px;
  border: 1px solid var(--rule); background: var(--bg); color: var(--ink-soft);
}
.checks li.same::before { content: "\2713\00a0"; color: var(--same); font-weight: 700; }
.checks li.changed { border-color: var(--accent); color: var(--accent-ink); font-weight: 600; background: var(--accent-soft); }
.pair { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 16px; }
.run {
  margin: 0; padding: 20px; border-radius: var(--radius);
  border: 1px solid var(--rule); background: var(--bg); color: var(--ink);
  border-top: 3px solid var(--side-a);
}
.run-b { border-top-color: var(--side-b); }
.run figcaption { display: flex; align-items: center; gap: 12px; margin-bottom: 14px; }
.run figcaption strong { display: block; font-size: 16px; }
.run figcaption small { display: block; color: var(--muted); font-size: 13px; }
.run-tag {
  display: inline-grid; place-items: center; width: 28px; height: 28px; border-radius: 7px;
  font-weight: 700; font-size: 14px; color: var(--surface); background: var(--side-a); flex: none;
}
.run-b .run-tag { background: var(--side-b); }
.reading { margin: 0 0 16px; color: var(--muted); font-size: 15px; }
.reading strong { font-size: 40px; font-weight: 700; letter-spacing: -.03em; color: var(--ink); font-variant-numeric: tabular-nums; }
.reading span { display: block; font-size: 14px; }
.reading em { font-style: normal; font-weight: 700; font-size: 14px; margin-left: 6px; white-space: nowrap; }
.regress { color: var(--regress) !important; }
.phases { margin: 0; display: grid; gap: 10px; }
.phases > div { display: grid; grid-template-columns: 112px minmax(0, 1fr); align-items: center; gap: 12px; }
.phases dt { font-size: 14px; color: var(--ink-soft); }
.phases dd { margin: 0; display: grid; grid-template-columns: minmax(0, 1fr) 64px; align-items: center; gap: 10px; }
.lane { position: relative; display: block; height: 12px; border-radius: 4px; background: var(--lane); overflow: hidden; }
.seg { position: absolute; top: 0; bottom: 0; border-radius: 3px; background: var(--side-a); }
.run-b .seg { background: var(--side-b); }
.seg.seg-queue, .run-b .seg.seg-queue { background: var(--queue); }
.val { font: 600 13.5px/1 var(--mono); text-align: right; color: var(--ink); white-space: nowrap; }
.axis {
  display: flex; justify-content: space-between; margin: 8px 0 0 124px; padding-right: 74px;
  font: 12px/1 var(--mono); color: var(--muted);
}
.stats { margin: 0; display: grid; gap: 8px; }
.stats > div { display: flex; justify-content: space-between; gap: 16px; border-top: 1px solid var(--rule); padding-top: 8px; font-size: 14.5px; }
.stats dt { color: var(--ink-soft); }
.stats dd { margin: 0; font-weight: 600; text-align: right; color: var(--ink); }
.observation {
  margin-top: 16px; padding: 16px 18px; border-radius: var(--radius);
  background: var(--accent-soft); color: var(--ink); border-left: 4px solid var(--accent);
}
.observation p { font-size: 15px; color: var(--ink); }
.observation-label { font-size: 12px !important; font-weight: 700; letter-spacing: .08em; text-transform: uppercase; color: var(--accent-ink) !important; margin-bottom: 4px !important; }

/* Steps */
.steps { list-style: none; counter-reset: step; padding: 0; margin: 0; display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; }
.steps li {
  counter-increment: step; background: var(--surface); color: var(--ink);
  border: 1px solid var(--rule); border-radius: var(--radius); padding: 20px;
}
.steps li::before { content: counter(step, decimal-leading-zero); display: block; font: 700 13px/1 var(--mono); color: var(--accent-ink); margin-bottom: 10px; }
.steps strong { display: block; font-size: 17px; margin-bottom: 4px; }
.steps span { color: var(--ink-soft); font-size: 15px; }

.stage-list { list-style: none; padding: 0; margin: 0; display: grid; gap: 0; }
.stage-list li { display: grid; grid-template-columns: 72px minmax(0, 1fr); gap: 16px; padding: 28px 0; border-top: 1px solid var(--rule); }
.stage-list li:last-child { border-bottom: 1px solid var(--rule); }
.stage-num { font: 700 28px/1 var(--mono); color: var(--accent-ink); }
.stage-list h3 { font-size: 22px; }
.stage-list p { color: var(--ink-soft); max-width: 70ch; }

/* Features */
.feature-list { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 40px 48px; }
.feature h3 { font-size: 20px; }
.feature h3::before { content: ""; display: block; width: 32px; height: 2px; margin-bottom: 14px; background: var(--accent); }
.feature p { color: var(--ink-soft); }
.role-list { margin: 0; display: grid; gap: 12px; }
.role-list dt { font-weight: 650; }
.role-list dd { margin: 0; color: var(--ink-soft); font-size: 15px; }

/* Terminal */
.terminal {
  margin: 0; padding: 20px 22px; border-radius: var(--radius);
  background: var(--code-bg); color: var(--code-ink); border: 1px solid var(--rule-strong);
  font: 14px/1.7 var(--mono); white-space: pre-wrap; overflow-wrap: anywhere;
}
.terminal code { background: none; color: inherit; padding: 0; font-size: inherit; }
.terminal .prompt { color: var(--code-muted); user-select: none; }

/* Pricing */
.notice {
  display: flex; align-items: center; justify-content: space-between; gap: 24px;
  padding: 28px; border-radius: 14px; background: var(--surface); color: var(--ink);
  border: 1px solid var(--accent); box-shadow: var(--shadow);
}
.notice h2 { font-size: 26px; }
.notice p { color: var(--ink-soft); max-width: 62ch; }
.table-wrap { overflow-x: auto; border: 1px solid var(--rule); border-radius: var(--radius); background: var(--surface); }
.limits-table { width: 100%; border-collapse: collapse; font-size: 15px; color: var(--ink); }
.limits-table th, .limits-table td { text-align: left; vertical-align: top; padding: 14px 18px; border-bottom: 1px solid var(--rule); color: var(--ink); }
.limits-table tbody tr:last-child > * { border-bottom: 0; }
.limits-table thead th { font-size: 13px; font-weight: 700; letter-spacing: .04em; text-transform: uppercase; color: var(--muted); background: var(--bg-alt); }
.limits-table td { color: var(--ink-soft); }
.limits-table td.nowrap { white-space: nowrap; font-family: var(--mono); font-size: 14px; color: var(--ink); }
.section-alt .fine { margin-top: 14px; }

/* Security limits */
.limits-list { list-style: none; padding: 0; margin: 0; display: grid; gap: 12px; }
.limits-list li {
  padding: 16px 18px; border-radius: var(--radius); background: var(--surface); color: var(--ink-soft);
  border: 1px solid var(--rule); border-left: 4px solid var(--regress); font-size: 15px;
}
.limits-list strong { color: var(--ink); }

/* FAQ */
.faq { display: grid; gap: 12px; }
.faq details { background: var(--surface); color: var(--ink); border: 1px solid var(--rule); border-radius: var(--radius); }
.faq summary {
  cursor: pointer; list-style: none; padding: 18px 52px 18px 20px; position: relative;
  font-weight: 650; font-size: 17px;
}
.faq summary::-webkit-details-marker { display: none; }
.faq summary::after {
  content: "+"; position: absolute; right: 20px; top: 50%; transform: translateY(-50%);
  font: 400 24px/1 var(--mono); color: var(--accent-ink);
}
.faq details[open] summary::after { content: "\2212"; }
.faq details p { padding: 0 20px 18px; color: var(--ink-soft); margin: 0; }

/* CTA band */
.cta-band { background: var(--surface); border-top: 1px solid var(--rule); }
.cta-band-inner { display: flex; align-items: center; justify-content: space-between; gap: 32px; }
.cta-band p { color: var(--ink-soft); }

/* Footer */
.site-footer { border-top: 1px solid var(--rule); background: var(--bg-alt); color: var(--ink-soft); padding: 56px 0 28px; font-size: 15px; }
.site-footer-grid { display: grid; grid-template-columns: minmax(0, 1.6fr) repeat(4, minmax(0, 1fr)); gap: 32px; }
.site-footer h2 { font-size: 13px; letter-spacing: .08em; text-transform: uppercase; color: var(--muted); margin: 0 0 12px; font-weight: 700; }
.site-footer ul { list-style: none; padding: 0; margin: 0; display: grid; gap: 8px; }
.site-footer a { color: var(--ink-soft); text-decoration: none; }
.site-footer a:hover { color: var(--ink); text-decoration: underline; }
.site-brand-footer { margin-bottom: 10px; }
.footer-note { color: var(--muted); max-width: 36ch; }
.pending { display: block; font-size: 13px; color: var(--muted); font-style: italic; }
.footer-base { margin-top: 40px; }
.footer-base p { padding-top: 20px; border-top: 1px solid var(--rule); font-size: 13.5px; color: var(--muted); }

/* Responsive */
@media (max-width: 1000px) {
  .site-header-row { flex-wrap: wrap; gap: 4px 16px; padding-top: 10px; padding-bottom: 10px; }
  .site-nav { order: 3; width: 100%; margin: 0 -10px; }
  .grid-3, .steps { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .hero-grid { grid-template-columns: minmax(0, 1fr); gap: 36px; }
  .hero-card { max-width: 560px; }
  .site-footer-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .site-footer-grid > :first-child { grid-column: 1 / -1; }
}
@media (max-width: 760px) {
  .wrap { padding: 0 16px; }
  .hero { padding: 56px 0 48px; }
  .page-head { padding: 48px 0 32px; }
  .section { padding: 52px 0; }
  .split, .grid-2, .grid-3, .steps, .pair, .feature-list { grid-template-columns: minmax(0, 1fr); }
  .split { gap: 28px; }
  .demo-panel { padding: 18px; }
  .demo-tabs { display: flex; width: 100%; }
  .demo-tabs button { flex: 1 1 auto; padding: 10px 12px; }
  .demo-tabs button span { display: none; }
  .phases > div { grid-template-columns: 96px minmax(0, 1fr); gap: 8px; }
  .phases dd { grid-template-columns: minmax(0, 1fr) 56px; gap: 8px; }
  .axis { margin-left: 104px; padding-right: 64px; }
  .notice, .cta-band-inner { flex-direction: column; align-items: flex-start; }
  .stage-list li { grid-template-columns: minmax(0, 1fr); gap: 6px; }
  .limits-table thead { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); }
  .limits-table tbody tr { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 4px 12px; padding: 14px 16px; border-bottom: 1px solid var(--rule); }
  .limits-table tbody tr:last-child { border-bottom: 0; }
  .limits-table tbody th, .limits-table tbody td { padding: 0; border: 0; }
  .limits-table tbody td:not(.nowrap) { grid-column: 1 / -1; grid-row: 2; font-size: 14.5px; }
}
@media (max-width: 420px) {
  .site-actions .button-quiet { display: none; }
  .site-nav a { padding: 6px 8px; font-size: 14.5px; }
  .button-large { width: 100%; }
  .cta-row { width: 100%; }
}
@media (prefers-reduced-motion: reduce) {
  * { transition: none !important; animation: none !important; scroll-behavior: auto !important; }
}