:root {
  --paper: #f5f2ea;
  --paper-2: #ebe7dd;
  --ink: #161916;
  --muted: #62675f;
  --line: #ccc8bd;
  --cobalt: #1748d2;
  --cobalt-dark: #10359c;
  --coral: #ff6846;
  --acid: #d8ff42;
  --white: #fffefa;
  --mono: "DM Mono", monospace;
  --sans: "Manrope", sans-serif;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font-family: var(--sans);
  letter-spacing: 0;
}
a { color: inherit; }
button, input { font: inherit; }
svg { width: 18px; height: 18px; stroke-width: 1.8; }

.site-header {
  min-height: 72px;
  padding: 0 4vw;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  border-bottom: 1px solid var(--line);
  position: relative;
  z-index: 5;
}
.brand { display: inline-flex; align-items: center; gap: 10px; font-weight: 700; text-decoration: none; }
.brand-mark { width: 28px; height: 28px; display: flex; align-items: flex-end; gap: 3px; padding: 5px; background: var(--ink); }
.brand-mark span { display: block; width: 4px; background: var(--acid); }
.brand-mark span:nth-child(1) { height: 8px; }
.brand-mark span:nth-child(2) { height: 17px; }
.brand-mark span:nth-child(3) { height: 12px; background: var(--coral); }
.site-header nav { display: flex; gap: 32px; }
.site-header nav a { color: var(--muted); font-size: 14px; text-decoration: none; }
.site-header nav a:hover { color: var(--ink); }
.header-cta { justify-self: end; font-size: 14px; font-weight: 700; text-underline-offset: 4px; }

.hero {
  min-height: calc(100vh - 72px);
  max-height: 900px;
  padding: 56px 4vw 46px;
  display: grid;
  grid-template-columns: minmax(320px, 0.82fr) minmax(520px, 1.18fr);
  gap: clamp(40px, 6vw, 96px);
  align-items: center;
  overflow: hidden;
  background-image: linear-gradient(var(--line) 1px, transparent 1px), linear-gradient(90deg, var(--line) 1px, transparent 1px);
  background-size: 48px 48px;
  background-position: -1px -1px;
}
.hero-copy { max-width: 650px; background: var(--paper); padding: 18px 0; }
.eyebrow { margin: 0 0 18px; color: var(--cobalt); font: 500 12px var(--mono); text-transform: uppercase; letter-spacing: .06em; }
.status-dot { display: inline-block; width: 8px; height: 8px; margin-right: 8px; border-radius: 50%; background: #2eb76d; box-shadow: 0 0 0 4px rgba(46,183,109,.15); }
h1 { margin: 0; font-size: clamp(54px, 5.9vw, 92px); line-height: .9; letter-spacing: 0; max-width: 9ch; }
.lede { margin: 30px 0; max-width: 590px; color: #3f443e; font-size: clamp(19px, 2vw, 25px); line-height: 1.48; }
.hero-actions { display: flex; align-items: center; gap: 22px; flex-wrap: wrap; }
.button { min-height: 48px; display: inline-flex; align-items: center; justify-content: center; gap: 10px; padding: 0 20px; font-weight: 700; font-size: 14px; text-decoration: none; border: 1px solid transparent; }
.button.primary { background: var(--cobalt); color: white; }
.button.primary:hover { background: var(--cobalt-dark); }
.button.text-button { padding-left: 0; border: 0; text-decoration: underline; text-underline-offset: 5px; }
.hero-stats { display: grid; grid-template-columns: repeat(3, 1fr); gap: 20px; margin: 46px 0 0; padding-top: 24px; border-top: 1px solid var(--line); }
.hero-stats div { min-width: 0; }
.hero-stats dt { font: 500 26px var(--mono); }
.hero-stats dd { margin: 7px 0 0; color: var(--muted); font-size: 12px; line-height: 1.4; }

.playground { background: var(--ink); color: white; border: 1px solid #000; box-shadow: 16px 16px 0 var(--coral); min-width: 0; }
.playground-bar { height: 48px; padding: 0 16px; display: flex; align-items: center; justify-content: space-between; border-bottom: 1px solid #373b36; font: 12px var(--mono); }
.playground-bar div { display: flex; align-items: center; gap: 10px; }
.terminal-dot { width: 8px; height: 8px; background: var(--acid); border-radius: 50%; }
.run-state { color: #9ba097; }
#solverCanvas { display: block; width: 100%; height: clamp(260px, 34vh, 400px); background: #111411; }
.playground-controls { display: grid; grid-template-columns: 1fr 1fr auto; align-items: end; gap: 18px; padding: 18px; border-top: 1px solid #373b36; }
.playground-controls label { display: grid; grid-template-columns: 1fr auto; gap: 8px; color: #aeb3aa; font: 11px var(--mono); text-transform: uppercase; letter-spacing: .04em; }
.playground-controls output { color: white; }
.playground-controls input { grid-column: 1 / -1; width: 100%; accent-color: var(--acid); }
.run-button { height: 42px; border: 0; padding: 0 16px; display: flex; align-items: center; gap: 8px; background: var(--acid); color: var(--ink); font: 700 12px var(--sans); cursor: pointer; }
.run-button:disabled { opacity: .65; cursor: wait; }
.telemetry { min-height: 70px; display: grid; grid-template-columns: repeat(3, 1fr); border-top: 1px solid #373b36; }
.telemetry span { padding: 13px 18px; border-right: 1px solid #373b36; }
.telemetry span:last-child { border: 0; }
.telemetry small { display: block; color: #858b82; font: 10px var(--mono); text-transform: uppercase; }
.telemetry strong { display: block; margin-top: 5px; color: var(--acid); font: 500 16px var(--mono); }

.proof-band { padding: 100px 7vw 74px; background: var(--cobalt); color: white; }
.section-intro { max-width: 760px; }
.section-intro .eyebrow { color: var(--acid); }
.section-intro h2, .api-copy h2, .research-strip h2 { margin: 0; font-size: clamp(34px, 4.5vw, 66px); line-height: 1.08; letter-spacing: 0; }
.section-intro > p:last-child, .api-copy > p { max-width: 680px; color: #d9e1ff; font-size: 17px; line-height: 1.65; }
.result-table { margin-top: 58px; border-top: 1px solid rgba(255,255,255,.35); }
.result-row { display: grid; grid-template-columns: .55fr 1.45fr .7fr; align-items: center; min-height: 74px; border-bottom: 1px solid rgba(255,255,255,.25); font-family: var(--mono); }
.result-head { min-height: 48px; color: #bdcaff; font-size: 11px; text-transform: uppercase; }
.result-row strong { font-size: 20px; }
.result-row b { display: flex; align-items: center; width: var(--width); min-width: 100px; height: 34px; padding-left: 10px; background: var(--acid); color: var(--ink); font-weight: 500; }
.result-row .bar-88 { width: 88%; }
.result-row .bar-71 { width: 71%; }
.result-row .bar-60 { width: 60%; }
.result-row .bar-47 { width: 47%; }
.method-note { margin: 22px 0 0; max-width: 920px; color: #bdcaff; font-size: 12px; line-height: 1.6; }

.showcase { padding: 110px 7vw 90px; background: var(--ink); color: white; overflow: hidden; }
.showcase-heading { display: grid; grid-template-columns: 1.35fr .65fr; gap: 8vw; align-items: end; }
.showcase-heading .eyebrow { color: var(--acid); }
.showcase-heading h2 { margin: 0; max-width: 900px; font-size: clamp(38px, 5vw, 76px); line-height: 1.03; }
.showcase-heading > p { margin: 0 0 8px; color: #afb5ac; font-size: 16px; line-height: 1.65; }
.showcase-tabs { margin-top: 65px; display: grid; grid-template-columns: repeat(3, 1fr); border-top: 1px solid #52574f; border-left: 1px solid #52574f; }
.showcase-tab { min-height: 92px; padding: 18px 22px; display: grid; grid-template-columns: auto 1fr; gap: 16px; align-items: center; text-align: left; border: 0; border-right: 1px solid #52574f; border-bottom: 1px solid #52574f; background: transparent; color: #a9afa6; cursor: pointer; }
.showcase-tab > svg { width: 25px; height: 25px; }
.showcase-tab span { display: grid; gap: 5px; font-weight: 700; }
.showcase-tab small { color: #747a72; font: 10px var(--mono); text-transform: uppercase; }
.showcase-tab:hover { color: white; }
.showcase-tab.active { background: var(--acid); color: var(--ink); }
.showcase-tab.active small { color: #4a5044; }
.example-panel { min-height: 610px; display: grid; grid-template-columns: .9fr 1.1fr; border: 1px solid #52574f; border-top: 0; }
.example-panel[hidden] { display: none; }
.example-story { position: relative; min-width: 0; padding: 48px; border-right: 1px solid #52574f; overflow: hidden; }
.example-story > svg { width: 36px; height: 36px; color: var(--acid); }
.example-index { position: absolute; top: 10px; right: 25px; margin: 0; color: #292d29; font: 500 clamp(100px, 14vw, 210px)/1 var(--mono); pointer-events: none; }
.example-story h3 { position: relative; margin: 34px 0 18px; max-width: 520px; font-size: clamp(30px, 3.2vw, 50px); line-height: 1.1; }
.example-story > p:not(.example-index):not(.evidence-label) { position: relative; max-width: 580px; color: #b2b8af; font-size: 15px; line-height: 1.7; }
.term-legend { position: relative; margin: 28px 0; display: flex; gap: 20px; flex-wrap: wrap; color: #aeb4ab; font: 10px var(--mono); text-transform: uppercase; }
.term-legend span { display: flex; align-items: center; gap: 7px; }
.term-legend b { width: 9px; height: 9px; border-radius: 50%; }
.term-linear { background: var(--acid); }
.term-pair { background: var(--coral); }
.term-cubic { background: #63a3ff; }
.example-metric { position: relative; margin-top: 34px; display: grid; grid-template-columns: 1fr 1fr; border-top: 1px solid #52574f; border-bottom: 1px solid #52574f; }
.example-metric span { min-width: 0; padding: 21px 18px 21px 0; }
.example-metric span + span { padding-left: 20px; border-left: 1px solid #52574f; }
.example-metric small, .example-metric em { display: block; color: #82887f; font: 10px var(--mono); text-transform: uppercase; font-style: normal; }
.example-metric strong { display: block; margin: 7px 0; color: var(--acid); font: 500 clamp(25px, 3vw, 42px) var(--mono); white-space: nowrap; }
.evidence-label { position: relative; margin: 18px 0 0; display: flex; align-items: center; gap: 8px; color: #d4d9d1; font: 11px var(--mono); }
.evidence-label svg { width: 16px; color: var(--acid); }
.example-data { min-width: 0; display: grid; grid-template-rows: auto 1fr auto; background: #111411; }
.example-filebar { min-height: 50px; padding: 0 20px; display: flex; align-items: center; justify-content: space-between; gap: 20px; border-bottom: 1px solid #363b36; color: #d5dbd2; font: 11px var(--mono); }
.example-filebar span:last-child { color: #747b73; }
.example-data pre { align-self: center; padding: 38px; color: #e9eee6; font-size: clamp(11px, 1.05vw, 14px); }
.result-output { min-height: 104px; padding: 18px 22px; display: grid; gap: 12px; border-top: 1px solid #363b36; background: #0c0f0c; }
.result-output div { display: flex; align-items: center; gap: 9px; color: #858c83; font: 10px var(--mono); text-transform: uppercase; }
.result-output code { color: var(--acid); font: 12px/1.6 var(--mono); overflow-wrap: anywhere; }
.output-pulse { width: 7px; height: 7px; border-radius: 50%; background: var(--acid); box-shadow: 0 0 0 5px rgba(216,255,66,.1); }
.route-visual { position: relative; height: 70px; margin: 25px 0; display: flex; justify-content: space-between; align-items: center; }
.route-visual::before { content: ""; position: absolute; left: 20px; right: 20px; top: 50%; border-top: 1px dashed #5c635a; }
.route-visual span { position: relative; z-index: 1; width: 36px; height: 36px; display: grid; place-items: center; border: 1px solid var(--acid); border-radius: 50%; background: var(--ink); color: var(--acid); font: 11px var(--mono); }
.clause-visual { margin: 28px 0; padding: 15px; display: flex; align-items: center; gap: 10px; border: 1px solid #52574f; font: 13px var(--mono); }
.clause-visual span { padding: 7px 9px; background: #292d29; color: white; }
.clause-visual b { color: #777e75; font-size: 9px; }
.clause-visual strong { margin-left: auto; padding: 7px 10px; background: var(--acid); color: var(--ink); font-size: 10px; }
.showcase-note { margin: 22px 0 0; color: #7f867d; font-size: 11px; line-height: 1.6; }
.showcase-note a { color: #b9c0b6; }

.capabilities { padding: 100px 7vw; }
.section-intro.narrow { max-width: 620px; }
.capabilities .section-intro .eyebrow, .api-section .eyebrow { color: var(--cobalt); }
.capability-grid { margin-top: 55px; display: grid; grid-template-columns: repeat(4, 1fr); border-top: 1px solid var(--ink); border-left: 1px solid var(--line); }
.capability-grid article { min-height: 270px; padding: 30px; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.capability-grid article > svg { width: 28px; height: 28px; color: var(--cobalt); }
.capability-grid h3 { margin: 54px 0 12px; font-size: 19px; }
.capability-grid p { margin: 0; color: var(--muted); font-size: 14px; line-height: 1.65; }

.api-section { display: grid; grid-template-columns: .9fr 1.1fr; gap: 8vw; padding: 100px 7vw; background: var(--paper-2); align-items: center; }
.api-copy { max-width: 580px; }
.api-copy > p { color: var(--muted); }
.endpoint-list { margin: 30px 0; display: grid; gap: 9px; font: 13px var(--mono); }
.endpoint-list span { display: flex; gap: 15px; }
.endpoint-list b { color: var(--cobalt); }
.code-window { min-width: 0; background: #171a17; color: #ecf1e8; box-shadow: 12px 12px 0 var(--coral); }
.code-title { height: 46px; padding: 0 16px; display: flex; align-items: center; justify-content: space-between; border-bottom: 1px solid #353935; color: #aeb4aa; font: 12px var(--mono); }
.code-title button { width: 34px; height: 34px; display: grid; place-items: center; border: 0; background: transparent; color: #aeb4aa; cursor: pointer; }
.code-title button:hover { color: var(--acid); }
pre { margin: 0; padding: 26px; overflow: auto; font: 13px/1.75 var(--mono); }

.research-strip { padding: 90px 7vw; display: grid; grid-template-columns: 1fr 1fr; gap: 8vw; background: var(--acid); align-items: center; }
.research-strip .eyebrow { color: var(--ink); }
.research-links { border-top: 1px solid var(--ink); }
.research-links a { min-height: 86px; display: grid; grid-template-columns: auto 1fr auto; gap: 18px; align-items: center; border-bottom: 1px solid var(--ink); text-decoration: none; }
.research-links a:hover { padding-left: 8px; }
.research-links span { display: grid; gap: 3px; }
.research-links small { color: #4d5348; }

footer { min-height: 120px; padding: 28px 4vw; display: grid; grid-template-columns: 1fr auto 1fr; align-items: center; background: var(--ink); color: white; }
footer p { margin: 0; color: #9fa49c; font-size: 12px; }
footer p:last-child { justify-self: end; }

@media (max-width: 980px) {
  .site-header { grid-template-columns: 1fr auto; }
  .site-header nav { display: none; }
  .hero { min-height: auto; max-height: none; grid-template-columns: 1fr; padding-top: 70px; }
  .hero-copy { max-width: 760px; }
  .playground { max-width: 850px; }
  .showcase-heading { grid-template-columns: 1fr; }
  .example-panel { grid-template-columns: 1fr; }
  .example-story { border-right: 0; border-bottom: 1px solid #52574f; }
  .capability-grid { grid-template-columns: repeat(2, 1fr); }
  .api-section, .research-strip { grid-template-columns: 1fr; }
  .code-window { max-width: 780px; }
}

@media (max-width: 620px) {
  .site-header { min-height: 64px; padding: 0 20px; }
  .brand { font-size: 14px; }
  .header-cta { font-size: 12px; }
  .hero { padding: 52px 20px 45px; gap: 38px; background-size: 32px 32px; }
  h1 { font-size: 53px; }
  .lede { font-size: 18px; }
  .hero-stats { gap: 10px; }
  .hero-stats dt { font-size: 20px; }
  .playground { box-shadow: 8px 8px 0 var(--coral); }
  #solverCanvas { height: 250px; }
  .playground-controls { grid-template-columns: 1fr 1fr; }
  .run-button { grid-column: 1 / -1; justify-content: center; }
  .telemetry span { padding: 12px 10px; }
  .telemetry strong { font-size: 13px; }
  .proof-band, .showcase, .capabilities, .api-section, .research-strip { padding: 72px 20px; }
  .result-row { grid-template-columns: .45fr 1.2fr .65fr; gap: 10px; font-size: 11px; }
  .result-row b { min-width: 60px; }
  .showcase-tabs { grid-template-columns: 1fr; margin-top: 45px; }
  .showcase-tab { min-height: 74px; }
  .example-panel { min-height: 0; }
  .example-story { padding: 32px 22px; }
  .example-index { font-size: 110px; }
  .example-story h3 { margin-top: 28px; font-size: 32px; }
  .example-metric strong { font-size: 22px; }
  .example-data pre { padding: 24px 20px; font-size: 10px; }
  .example-filebar { align-items: flex-start; flex-direction: column; justify-content: center; gap: 4px; }
  .result-output code { font-size: 10px; }
  .capability-grid { grid-template-columns: 1fr; }
  .capability-grid article { min-height: 220px; }
  .capability-grid h3 { margin-top: 38px; }
  .code-window { box-shadow: 8px 8px 0 var(--coral); }
  pre { padding: 20px; font-size: 11px; }
  footer { grid-template-columns: 1fr; gap: 18px; text-align: left; }
  footer p:last-child { justify-self: start; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { transition-duration: .01ms !important; animation-duration: .01ms !important; }
}