@font-face {
  font-family: "Newsreader";
  src: url("assets/newsreader.woff2") format("woff2");
  font-style: normal;
  font-weight: 200 800;
  font-display: swap;
}

@font-face {
  font-family: "IBM Plex Sans";
  src: url("assets/ibm-plex-sans.woff2") format("woff2");
  font-style: normal;
  font-weight: 100 700;
  font-display: swap;
}

@font-face {
  font-family: "IBM Plex Mono";
  src: url("assets/ibm-plex-mono.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}

:root {
  --ink: #171814;
  --ink-soft: #626258;
  --ink-faint: #7f7e72;
  --paper: #f2eee4;
  --paper-deep: #e8e2d7;
  --surface: #faf7f0;
  --surface-raised: #fffdf8;
  --line: rgba(31, 32, 27, 0.14);
  --line-strong: rgba(31, 32, 27, 0.28);
  --forge: #c43d12;
  --forge-deep: #942b09;
  --ember: #ff7b38;
  --positive: #187a57;
  --on-forge: #fffaf4;
  --shadow: 0 28px 80px rgba(31, 26, 17, 0.12);
  --serif: "Newsreader", Georgia, serif;
  --sans: "IBM Plex Sans", "Helvetica Neue", sans-serif;
  --mono: "IBM Plex Mono", monospace;
  color-scheme: light;
}

:root[data-theme="dark"] {
  --ink: #f0eee7;
  --ink-soft: #b7b4a9;
  --ink-faint: #8f8d84;
  --paper: #10110f;
  --paper-deep: #181914;
  --surface: #1a1b17;
  --surface-raised: #20211c;
  --line: rgba(240, 238, 226, 0.11);
  --line-strong: rgba(240, 238, 226, 0.23);
  --forge: #ff6c35;
  --forge-deep: #ff8a55;
  --ember: #ff9a59;
  --positive: #5ec39a;
  --on-forge: #171814;
  --shadow: 0 30px 90px rgba(0, 0, 0, 0.35);
  color-scheme: dark;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
  background: var(--paper);
}

body {
  margin: 0;
  min-width: 320px;
  color: var(--ink);
  background: var(--paper);
  font-family: var(--sans);
  font-size: 16px;
  line-height: 1.6;
  -webkit-font-smoothing: antialiased;
}

body::before {
  position: fixed;
  inset: 0;
  z-index: 999;
  opacity: 0.17;
  pointer-events: none;
  content: "";
  background-image: url("data:image/svg+xml,%3Csvg viewBox='0 0 160 160' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='.92' numOctaves='2' stitchTiles='stitchTiles'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)' opacity='.08'/%3E%3C/svg%3E");
}

a {
  color: inherit;
  text-decoration: none;
}

button,
input {
  color: inherit;
  font: inherit;
}

button,
a {
  -webkit-tap-highlight-color: transparent;
}

img {
  display: block;
  max-width: 100%;
}

svg {
  fill: none;
  stroke: currentColor;
  stroke-linecap: round;
  stroke-linejoin: round;
  stroke-width: 1.6;
}

:focus-visible {
  outline: 2px solid var(--forge);
  outline-offset: 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: 10px;
  left: 10px;
  z-index: 1000;
  padding: 10px 14px;
  color: var(--on-forge);
  background: var(--forge);
  transform: translateY(-160%);
}

.skip-link:focus {
  transform: translateY(0);
}

.shell {
  width: min(1240px, calc(100% - 56px));
  margin-inline: auto;
}

.grid-surface {
  background-image:
    linear-gradient(var(--line) 1px, transparent 1px),
    linear-gradient(90deg, var(--line) 1px, transparent 1px),
    radial-gradient(
      circle at 80% 0%,
      color-mix(in srgb, var(--forge) 10%, transparent),
      transparent 34%
    );
  background-size:
    64px 64px,
    64px 64px,
    100% 100%;
}

.site-header {
  position: sticky;
  top: 0;
  z-index: 100;
  border-bottom: 1px solid var(--line);
  background: color-mix(in srgb, var(--paper) 89%, transparent);
  backdrop-filter: blur(18px) saturate(130%);
}

.header-inner {
  display: grid;
  grid-template-columns: auto minmax(0, 1fr) auto;
  align-items: center;
  min-height: 70px;
  gap: 36px;
}

.brand {
  display: inline-flex;
  align-items: center;
  width: fit-content;
  gap: 10px;
}

.brand img {
  width: 31px;
  height: 31px;
}

.brand > span {
  font-family: var(--serif);
  font-size: 24px;
  font-weight: 670;
  letter-spacing: -0.05em;
}

.brand > span span {
  color: var(--forge);
}

.site-nav {
  display: flex;
  align-items: center;
  gap: 4px;
}

.site-nav a {
  padding: 8px 11px;
  color: var(--ink-soft);
  border-radius: 3px;
  font-size: 13px;
  font-weight: 560;
}

.site-nav a:hover {
  color: var(--ink);
  background: var(--paper-deep);
}

.header-actions {
  display: flex;
  align-items: center;
  gap: 8px;
}

.github-link,
.theme-toggle,
.menu-toggle {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 38px;
  border: 1px solid var(--line-strong);
  border-radius: 3px;
  background: var(--surface);
}

.github-link {
  gap: 9px;
  padding: 0 13px;
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.03em;
  text-transform: uppercase;
}

.github-link svg {
  width: 15px;
}

.theme-toggle {
  width: 38px;
  padding: 0;
  cursor: pointer;
}

.theme-toggle svg {
  width: 18px;
  height: 18px;
}

.theme-toggle .moon,
:root[data-theme="dark"] .theme-toggle .sun {
  display: none;
}

:root[data-theme="dark"] .theme-toggle .moon {
  display: block;
}

.menu-toggle {
  display: none;
}

.hero {
  position: relative;
  overflow: hidden;
  border-bottom: 1px solid var(--line);
}

.hero-grid {
  display: grid;
  grid-template-columns: minmax(0, 1.15fr) minmax(390px, 0.85fr);
  align-items: center;
  min-height: 690px;
  gap: clamp(48px, 7vw, 110px);
  padding-block: 88px 78px;
}

.eyebrow {
  margin: 0 0 20px;
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 10px;
  letter-spacing: 0.1em;
  line-height: 1.4;
  text-transform: uppercase;
}

.eyebrow i {
  display: inline-block;
  width: 7px;
  height: 7px;
  margin-right: 8px;
  background: var(--forge);
  transform: rotate(45deg);
}

h1,
h2,
h3,
p {
  text-wrap: pretty;
}

h1,
h2,
h3 {
  margin: 0;
  font-family: var(--serif);
  font-weight: 570;
  line-height: 0.95;
  letter-spacing: -0.055em;
}

h1 {
  max-width: 770px;
  font-size: clamp(64px, 7.2vw, 104px);
}

h1 em,
h2 em {
  color: var(--forge);
  font-weight: 440;
}

.hero-lede {
  max-width: 680px;
  margin: 32px 0 0;
  color: var(--ink-soft);
  font-size: clamp(17px, 1.55vw, 21px);
  line-height: 1.55;
}

.hero-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin-top: 34px;
}

.button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 48px;
  gap: 12px;
  padding: 0 18px;
  border: 1px solid var(--line-strong);
  border-radius: 2px;
  font-size: 13px;
  font-weight: 620;
  transition:
    transform 180ms ease,
    background 180ms ease,
    border-color 180ms ease;
}

.button:hover {
  transform: translateY(-2px);
}

.button svg {
  width: 16px;
}

.button-primary {
  color: var(--on-forge);
  border-color: var(--forge);
  background: var(--forge);
}

.button-primary:hover {
  background: var(--forge-deep);
}

.button-secondary {
  background: var(--surface);
}

.button-secondary:hover {
  border-color: var(--forge);
}

.hero-notes {
  display: flex;
  flex-wrap: wrap;
  gap: 18px 24px;
  padding: 0;
  margin: 38px 0 0;
  list-style: none;
}

.hero-notes li {
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.hero-notes span {
  margin-right: 6px;
  color: var(--forge);
}

.observatory {
  position: relative;
  min-height: 470px;
  overflow: hidden;
  border: 1px solid var(--line-strong);
  background: color-mix(in srgb, var(--surface-raised) 93%, transparent);
  box-shadow: var(--shadow);
}

.observatory::after {
  position: absolute;
  right: -12%;
  bottom: 17%;
  width: 130%;
  height: 1px;
  content: "";
  background: var(--line-strong);
  transform: rotate(-44deg);
}

.observatory-topline,
.observatory-legend {
  position: absolute;
  z-index: 5;
  display: flex;
  align-items: center;
  justify-content: space-between;
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.observatory-topline {
  top: 20px;
  right: 22px;
  left: 22px;
}

.observatory-topline .live {
  color: var(--positive);
}

.live i {
  display: inline-block;
  width: 6px;
  height: 6px;
  margin-right: 5px;
  border-radius: 50%;
  background: currentColor;
}

.orbit {
  position: absolute;
  top: 50%;
  left: 50%;
  border: 1px solid var(--line);
  border-radius: 50%;
  transform: translate(-50%, -50%);
}

.orbit-one {
  width: 128px;
  height: 128px;
}

.orbit-two {
  width: 236px;
  height: 236px;
}

.orbit-three {
  width: 344px;
  height: 344px;
}

.orbit-axis {
  position: absolute;
  top: 50%;
  left: 10%;
  width: 80%;
  height: 1px;
  background: var(--line);
}

.signal-dot {
  position: absolute;
  z-index: 4;
  width: 8px;
  height: 8px;
  border-radius: 50%;
  background: var(--forge);
  box-shadow: 0 0 0 5px color-mix(in srgb, var(--forge) 12%, transparent);
}

.dot-one {
  top: 48.8%;
  left: 17%;
}

.dot-two {
  top: 48.8%;
  left: 29%;
}

.dot-three {
  top: 48.8%;
  left: 39%;
}

.observatory-core {
  position: absolute;
  top: 50%;
  left: 50%;
  z-index: 4;
  display: grid;
  justify-items: center;
  transform: translate(-50%, -50%);
}

.observatory-core strong {
  font-family: var(--serif);
  font-size: 76px;
  font-weight: 480;
  line-height: 1;
}

.observatory-core span {
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 8px;
  line-height: 1.5;
  text-align: center;
  text-transform: uppercase;
}

.observatory-legend {
  right: 20px;
  bottom: 19px;
  left: 20px;
}

.observatory-legend span {
  display: flex;
  align-items: center;
  gap: 6px;
}

.observatory-legend i {
  width: 5px;
  height: 5px;
  border-radius: 50%;
  background: var(--forge);
}

.evidence-strip {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  border: 1px solid var(--line-strong);
  border-bottom: 0;
  background: color-mix(in srgb, var(--surface) 90%, transparent);
}

.evidence-strip > div {
  display: grid;
  grid-template-columns: 1fr auto;
  min-height: 100px;
  align-content: center;
  padding: 18px 24px;
  border-right: 1px solid var(--line);
}

.evidence-strip > div:last-child {
  border-right: 0;
}

.evidence-strip span,
.evidence-strip small {
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.evidence-strip strong {
  grid-row: 1 / 3;
  grid-column: 2;
  align-self: center;
  color: var(--forge);
  font-family: var(--serif);
  font-size: 38px;
  font-weight: 480;
}

.evidence-strip small {
  align-self: end;
  color: var(--ink);
}

.product-window-section,
.method-section {
  padding-block: 132px;
}

.section-heading {
  max-width: 900px;
  margin-bottom: 58px;
}

.section-heading h2,
.proof-heading h2,
.quickstart h2,
.final-cta h2 {
  font-size: clamp(48px, 6vw, 78px);
}

.split-heading {
  display: grid;
  grid-template-columns: minmax(0, 1.05fr) minmax(300px, 0.55fr);
  align-items: end;
  max-width: none;
  gap: 60px;
}

.split-heading > p {
  max-width: 520px;
  margin: 0 0 5px;
  color: var(--ink-soft);
  font-size: 17px;
}

.showcase {
  border: 1px solid var(--line-strong);
  background: var(--surface-raised);
  box-shadow: var(--shadow);
}

.window-bar {
  display: grid;
  grid-template-columns: auto 1fr auto;
  align-items: center;
  min-height: 46px;
  padding: 0 18px;
  border-bottom: 1px solid var(--line);
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.window-mark {
  width: 9px;
  height: 9px;
  margin-right: 12px;
  background: var(--forge);
  transform: rotate(45deg);
}

.window-title {
  color: var(--ink-soft);
}

.window-status {
  color: var(--positive);
}

.showcase-stage {
  position: relative;
  height: min(64vw, 680px);
  min-height: 430px;
  overflow: hidden;
  background: var(--paper-deep);
}

.showcase-stage::after {
  position: absolute;
  inset: auto 0 0;
  height: 18%;
  pointer-events: none;
  content: "";
  background: linear-gradient(
    transparent,
    color-mix(in srgb, var(--surface-raised) 84%, transparent)
  );
}

.showcase-stage img {
  width: 100%;
  height: auto;
  opacity: 1;
  transition:
    opacity 180ms ease,
    transform 350ms ease;
}

.showcase-stage img.is-switching {
  opacity: 0;
  transform: translateY(8px);
}

.showcase-controls {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  border-top: 1px solid var(--line);
}

.showcase-controls button {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 0 12px;
  min-height: 88px;
  padding: 16px 18px;
  border: 0;
  border-right: 1px solid var(--line);
  background: transparent;
  text-align: left;
  cursor: pointer;
}

.showcase-controls button:last-child {
  border-right: 0;
}

.showcase-controls button[aria-selected="true"] {
  background: color-mix(in srgb, var(--forge) 8%, transparent);
  box-shadow: inset 0 3px 0 var(--forge);
}

.showcase-controls button > span {
  grid-row: 1 / 3;
  color: var(--forge);
  font-family: var(--mono);
  font-size: 9px;
}

.showcase-controls strong {
  font-size: 13px;
}

.showcase-controls small {
  color: var(--ink-soft);
  font-size: 11px;
}

.intelligence-section {
  padding-block: 132px;
  border-block: 1px solid var(--line);
}

.intelligence-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 20px;
}

.feature {
  overflow: hidden;
  border: 1px solid var(--line-strong);
  background: color-mix(in srgb, var(--surface) 94%, transparent);
}

.feature-wide {
  grid-column: 1 / -1;
  display: grid;
  grid-template-columns: 0.78fr 1.22fr;
  min-height: 610px;
}

.feature-tall {
  display: grid;
  grid-template-rows: auto 540px;
}

.feature-copy {
  padding: clamp(30px, 5vw, 64px);
}

.feature-index {
  display: block;
  margin-bottom: 30px;
  color: var(--forge);
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.08em;
}

.feature h3 {
  max-width: 530px;
  font-size: clamp(38px, 4vw, 58px);
  line-height: 1;
}

.feature p {
  max-width: 600px;
  margin: 24px 0 0;
  color: var(--ink-soft);
}

.signal-list {
  display: grid;
  gap: 10px;
  padding: 0;
  margin: 34px 0 0;
  list-style: none;
}

.signal-list li {
  position: relative;
  padding-left: 19px;
  font-size: 13px;
}

.signal-list li::before {
  position: absolute;
  top: 0.7em;
  left: 0;
  width: 6px;
  height: 6px;
  content: "";
  background: var(--forge);
  transform: rotate(45deg);
}

.feature-visual {
  position: relative;
  overflow: hidden;
  border-left: 1px solid var(--line);
  background: var(--paper-deep);
}

.frame-light img {
  width: 100%;
  min-height: 100%;
  object-fit: cover;
  object-position: top left;
}

.repository-crop {
  border-top: 1px solid var(--line);
  border-left: 0;
}

.repository-crop img {
  width: 100%;
  object-position: top;
}

.text-link {
  display: inline-block;
  margin-top: 28px;
  color: var(--forge);
  font-family: var(--mono);
  font-size: 10px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.feature-compact {
  min-height: 390px;
  padding: clamp(30px, 5vw, 58px);
}

.feature-compact h3 {
  font-size: clamp(37px, 4vw, 52px);
}

.signal-card {
  background:
    linear-gradient(var(--line) 1px, transparent 1px),
    linear-gradient(90deg, var(--line) 1px, transparent 1px), var(--surface);
  background-size: 48px 48px;
}

.mode-cloud {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  margin-top: 34px;
}

.mode-cloud span {
  padding: 7px 10px;
  border: 1px solid var(--line-strong);
  background: color-mix(in srgb, var(--surface-raised) 90%, transparent);
  font-family: var(--mono);
  font-size: 9px;
  text-transform: uppercase;
}

.developer-card {
  color: #f1eee5;
  background: #1a1b17;
}

.developer-card .feature-index {
  color: #ff8a55;
}

.developer-card p {
  color: #b8b5ab;
}

.mini-ledger {
  display: grid;
  gap: 13px;
  margin-top: 36px;
}

.mini-ledger span {
  display: grid;
  grid-template-columns: 110px 1fr;
  align-items: center;
  gap: 14px;
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.mini-ledger i {
  position: relative;
  height: 3px;
  background: rgba(255, 255, 255, 0.15);
}

.mini-ledger i::after {
  position: absolute;
  inset: 0 auto 0 0;
  width: var(--fill);
  content: "";
  background: var(--forge);
}

.pipeline {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  padding: 0;
  margin: 0 0 22px;
  border: 1px solid var(--line-strong);
  list-style: none;
}

.pipeline li {
  position: relative;
  min-height: 240px;
  padding: 30px 26px;
  border-right: 1px solid var(--line);
}

.pipeline li:last-child {
  border-right: 0;
}

.pipeline li:not(:last-child)::after {
  position: absolute;
  top: 48px;
  right: -10px;
  z-index: 2;
  display: grid;
  width: 19px;
  height: 19px;
  place-items: center;
  color: var(--forge);
  content: "→";
  background: var(--paper);
  font-size: 13px;
}

.pipeline span,
.pipeline strong {
  display: block;
}

.pipeline span {
  margin-bottom: 40px;
  color: var(--forge);
  font-family: var(--mono);
  font-size: 10px;
}

.pipeline strong {
  font-family: var(--serif);
  font-size: 30px;
  font-weight: 560;
}

.pipeline p {
  margin: 14px 0 0;
  color: var(--ink-soft);
  font-size: 13px;
}

.method-grid {
  display: grid;
  grid-template-columns: 1.05fr 0.95fr;
  gap: 22px;
}

.constraint-card,
.score-card {
  min-height: 500px;
  border: 1px solid var(--line-strong);
  background: var(--surface);
}

.constraint-card {
  display: grid;
  grid-template-columns: 0.42fr 1fr;
}

.constraint-number {
  display: grid;
  place-items: center;
  color: var(--forge);
  border-right: 1px solid var(--line);
  font-family: var(--serif);
  font-size: clamp(120px, 15vw, 210px);
  line-height: 1;
}

.constraint-card > div:last-child {
  align-self: center;
  padding: 46px;
}

.constraint-card h3,
.score-card h3 {
  font-size: clamp(36px, 4vw, 52px);
}

.constraint-card p:not(.eyebrow) {
  margin: 26px 0 0;
  color: var(--ink-soft);
}

.score-card {
  padding: 42px;
}

.score-card-heading {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 20px;
  margin-bottom: 42px;
}

.score-card-heading > strong {
  color: var(--forge);
  font-family: var(--serif);
  font-size: 66px;
  font-weight: 460;
  line-height: 0.8;
}

.score-row {
  display: grid;
  grid-template-columns: 105px 1fr 28px;
  align-items: center;
  gap: 14px;
  margin-top: 16px;
  font-size: 12px;
}

.score-row > i {
  position: relative;
  height: 4px;
  background: var(--paper-deep);
}

.score-row b {
  position: absolute;
  inset: 0 auto 0 0;
  min-width: 10%;
  background: var(--forge);
}

.score-row em {
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 10px;
  font-style: normal;
  text-align: right;
}

.score-note {
  padding-top: 24px;
  margin: 34px 0 0;
  color: var(--ink-soft);
  border-top: 1px solid var(--line);
  font-size: 12px;
}

.proof-section {
  padding-block: 132px;
  border-block: 1px solid var(--line);
}

.proof-heading {
  display: flex;
  align-items: end;
  justify-content: space-between;
  gap: 40px;
  margin-bottom: 58px;
}

.ci-seal {
  display: grid;
  grid-template-columns: auto auto;
  align-items: center;
  min-width: 210px;
  padding: 18px 20px;
  border: 1px solid var(--line-strong);
  background: var(--surface);
  font-family: var(--mono);
  line-height: 1.2;
}

.ci-seal > span {
  grid-row: 1 / 3;
  width: 13px;
  height: 13px;
  margin-right: 13px;
  border-radius: 50%;
  background: var(--positive);
  box-shadow: 0 0 0 5px color-mix(in srgb, var(--positive) 12%, transparent);
}

.ci-seal strong {
  font-size: 10px;
}

.ci-seal small {
  color: var(--positive);
  font-size: 9px;
}

.proof-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  border-top: 1px solid var(--line-strong);
  border-left: 1px solid var(--line-strong);
}

.proof-grid > div {
  display: grid;
  min-height: 154px;
  align-content: end;
  padding: 22px;
  border-right: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line-strong);
  background: color-mix(in srgb, var(--surface) 92%, transparent);
}

.proof-status {
  width: fit-content;
  padding: 3px 6px;
  margin-bottom: 24px;
  color: var(--positive);
  border: 1px solid color-mix(in srgb, var(--positive) 45%, transparent);
  font-family: var(--mono);
  font-size: 8px;
}

.proof-grid strong {
  font-family: var(--serif);
  font-size: 27px;
  font-weight: 560;
}

.proof-grid small {
  margin-top: 4px;
  color: var(--ink-soft);
  font-size: 11px;
}

.quickstart {
  display: grid;
  grid-template-columns: 0.85fr 1.15fr;
  align-items: center;
  gap: clamp(40px, 7vw, 100px);
  padding-block: 110px;
}

.quickstart-copy > p:not(.eyebrow) {
  max-width: 510px;
  margin: 26px 0 0;
  color: var(--ink-soft);
}

.terminal {
  overflow: hidden;
  color: #f0eee7;
  border: 1px solid #33342e;
  background: #171814;
  box-shadow: 20px 24px 0 color-mix(in srgb, var(--forge) 18%, transparent);
}

.terminal-bar {
  display: flex;
  align-items: center;
  justify-content: space-between;
  min-height: 48px;
  padding: 0 17px;
  color: #9f9e94;
  border-bottom: 1px solid #33342e;
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.08em;
}

.copy-button {
  min-width: 64px;
  min-height: 30px;
  color: #f0eee7;
  border: 1px solid #44453f;
  border-radius: 2px;
  background: #23241f;
  font-family: var(--mono);
  font-size: 9px;
  cursor: pointer;
}

.copy-button:hover {
  border-color: var(--forge);
}

.terminal pre {
  min-height: 200px;
  padding: 34px;
  margin: 0;
  overflow-x: auto;
  font-family: var(--mono);
  font-size: 13px;
  line-height: 2;
}

.terminal pre code {
  font-family: inherit;
}

.terminal-note {
  display: flex;
  align-items: center;
  gap: 8px;
  padding: 13px 17px;
  color: #9f9e94;
  border-top: 1px solid #33342e;
  font-family: var(--mono);
  font-size: 8px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.terminal-note i {
  width: 7px;
  height: 7px;
  border-radius: 50%;
  background: var(--positive);
}

.honesty {
  display: grid;
  grid-template-columns: 220px 1fr;
  gap: 50px;
  padding-top: 45px;
  border-top: 1px solid var(--line-strong);
}

.honesty > p:last-child {
  max-width: 780px;
  margin: 0;
  color: var(--ink-soft);
  font-family: var(--serif);
  font-size: clamp(25px, 3vw, 38px);
  line-height: 1.25;
  letter-spacing: -0.025em;
}

.final-cta {
  padding-block: 140px;
  color: #f2eee5;
  background: #171814;
}

.final-cta-inner {
  display: grid;
  justify-items: center;
  text-align: center;
}

.final-cta .eyebrow {
  color: #aaa89f;
}

.final-cta h2 {
  max-width: 920px;
  font-size: clamp(58px, 7.5vw, 96px);
}

.final-cta .button-secondary {
  color: #f2eee5;
  border-color: #44453f;
  background: #23241f;
}

.site-footer {
  padding-block: 60px;
  border-top: 1px solid var(--line);
  background: var(--paper-deep);
}

.footer-grid {
  display: grid;
  grid-template-columns: 1.8fr 0.65fr 0.8fr 0.9fr;
  gap: 50px;
}

.footer-grid > div {
  display: flex;
  flex-direction: column;
  align-items: flex-start;
  gap: 8px;
}

.footer-grid p {
  max-width: 320px;
  margin: 20px 0 8px;
  color: var(--ink-soft);
  font-family: var(--serif);
  font-size: 21px;
}

.footer-grid small,
.footer-grid > div > strong,
.footer-meta span {
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 8px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.footer-grid > div > strong {
  margin-bottom: 10px;
  color: var(--ink);
}

.footer-grid > div > a:not(.brand) {
  color: var(--ink-soft);
  font-size: 12px;
}

.footer-grid > div > a:hover {
  color: var(--forge);
}

.footer-meta {
  justify-content: flex-end;
}

.reveal {
  opacity: 1;
  transform: none;
}

.reveal.is-visible {
  animation: reveal-in 600ms ease both;
}

@keyframes reveal-in {
  from {
    transform: translateY(18px);
  }
  to {
    transform: none;
  }
}

/* Documentation */
.docs-hero {
  padding-block: 96px 72px;
  border-bottom: 1px solid var(--line);
}

.docs-hero h1 {
  max-width: 950px;
}

.docs-hero .hero-lede {
  max-width: 740px;
}

.docs-shell {
  display: grid;
  grid-template-columns: 245px minmax(0, 780px);
  justify-content: space-between;
  gap: 80px;
  padding-block: 70px 130px;
}

.docs-nav {
  position: sticky;
  top: 100px;
  align-self: start;
  display: grid;
  border-top: 1px solid var(--line-strong);
}

.docs-content,
.docs-nav {
  min-width: 0;
}

.docs-nav a {
  padding: 11px 4px;
  color: var(--ink-soft);
  border-bottom: 1px solid var(--line);
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.docs-nav a:hover {
  color: var(--forge);
}

.docs-content section {
  padding: 0 0 72px;
  margin: 0 0 72px;
  border-bottom: 1px solid var(--line-strong);
  scroll-margin-top: 100px;
}

.docs-content section:last-child {
  margin-bottom: 0;
  border-bottom: 0;
}

.docs-content h2 {
  margin-bottom: 28px;
  font-size: clamp(42px, 5vw, 62px);
}

.docs-content h3 {
  margin: 42px 0 16px;
  font-family: var(--sans);
  font-size: 18px;
  font-weight: 650;
  line-height: 1.3;
  letter-spacing: -0.02em;
}

.docs-content p,
.docs-content li {
  color: var(--ink-soft);
}

.docs-content ul,
.docs-content ol {
  display: grid;
  gap: 8px;
  padding-left: 22px;
}

.docs-callout {
  padding: 24px;
  margin-block: 28px;
  border: 1px solid var(--line-strong);
  border-left: 4px solid var(--forge);
  background: var(--surface);
}

.docs-callout strong {
  display: block;
  margin-bottom: 6px;
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.docs-callout p {
  margin: 0;
}

.docs-table-wrap {
  margin-block: 28px;
  overflow-x: auto;
  border: 1px solid var(--line-strong);
}

.docs-table {
  width: 100%;
  border-collapse: collapse;
  background: var(--surface);
}

.docs-table th,
.docs-table td {
  padding: 13px 15px;
  border-bottom: 1px solid var(--line);
  text-align: left;
  vertical-align: top;
}

.docs-table th {
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 8px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.docs-table td {
  font-size: 13px;
}

.docs-table tr:last-child td {
  border-bottom: 0;
}

.code-block {
  overflow: hidden;
  margin-block: 26px;
  color: #f0eee7;
  border: 1px solid #33342e;
  background: #171814;
}

.code-block pre {
  padding: 24px;
  margin: 0;
  overflow-x: auto;
  font-family: var(--mono);
  font-size: 12px;
  line-height: 1.8;
}

.source-links {
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  gap: 10px;
}

.source-links a {
  padding: 15px;
  border: 1px solid var(--line-strong);
  background: var(--surface);
  font-size: 12px;
}

.source-links a:hover {
  color: var(--forge);
  border-color: var(--forge);
}

@media (max-width: 980px) {
  .hero-grid {
    grid-template-columns: 1fr;
    padding-top: 70px;
  }

  .observatory {
    min-height: 420px;
  }

  .split-heading,
  .feature-wide,
  .method-grid,
  .quickstart {
    grid-template-columns: 1fr;
  }

  .feature-wide {
    min-height: auto;
  }

  .feature-visual {
    min-height: 500px;
    border-top: 1px solid var(--line);
    border-left: 0;
  }

  .pipeline {
    grid-template-columns: repeat(2, 1fr);
  }

  .pipeline li:nth-child(2) {
    border-right: 0;
  }

  .pipeline li:nth-child(-n + 2) {
    border-bottom: 1px solid var(--line);
  }

  .pipeline li:nth-child(2)::after {
    display: none;
  }

  .proof-grid {
    grid-template-columns: repeat(2, 1fr);
  }

  .footer-grid {
    grid-template-columns: 1.5fr repeat(3, 0.7fr);
    gap: 25px;
  }

  .docs-shell {
    grid-template-columns: 190px minmax(0, 1fr);
    gap: 45px;
  }
}

@media (max-width: 760px) {
  .shell {
    width: min(100% - 30px, 1240px);
  }

  .header-inner {
    grid-template-columns: auto 1fr auto;
    min-height: 64px;
    gap: 10px;
  }

  .header-actions .github-link {
    display: none;
  }

  .menu-toggle {
    display: grid;
    grid-column: 2;
    justify-self: end;
    width: 38px;
    padding: 10px;
    gap: 5px;
    cursor: pointer;
  }

  .menu-toggle > span:not(.sr-only) {
    display: block;
    width: 16px;
    height: 1px;
    background: var(--ink);
  }

  .site-nav {
    position: absolute;
    top: 64px;
    right: 0;
    left: 0;
    display: none;
    padding: 12px 15px 16px;
    border-bottom: 1px solid var(--line-strong);
    background: var(--paper);
  }

  .site-nav.is-open {
    display: grid;
  }

  .site-nav a {
    min-height: 44px;
    padding: 11px 8px;
    border-bottom: 1px solid var(--line);
  }

  .hero-grid {
    min-height: auto;
    gap: 54px;
    padding-block: 64px 58px;
  }

  h1 {
    font-size: clamp(54px, 16vw, 74px);
  }

  .hero-lede {
    margin-top: 24px;
    font-size: 16px;
  }

  .hero-actions,
  .hero-actions .button {
    width: 100%;
  }

  .hero-notes {
    display: grid;
  }

  .observatory {
    min-height: 350px;
  }

  .orbit-three {
    width: 290px;
    height: 290px;
  }

  .observatory-legend {
    align-items: flex-start;
    gap: 8px;
  }

  .observatory-legend span {
    max-width: 72px;
  }

  .evidence-strip {
    grid-template-columns: repeat(2, 1fr);
  }

  .evidence-strip > div {
    min-height: 88px;
    padding: 14px;
    border-bottom: 1px solid var(--line);
  }

  .evidence-strip > div:nth-child(2) {
    border-right: 0;
  }

  .evidence-strip > div:nth-last-child(-n + 2) {
    border-bottom: 0;
  }

  .evidence-strip strong {
    font-size: 31px;
  }

  .product-window-section,
  .method-section,
  .intelligence-section,
  .proof-section {
    padding-block: 86px;
  }

  .section-heading {
    margin-bottom: 38px;
  }

  .section-heading h2,
  .proof-heading h2,
  .quickstart h2 {
    font-size: clamp(44px, 13vw, 62px);
  }

  .split-heading {
    gap: 24px;
  }

  .showcase-stage {
    height: 430px;
    min-height: 0;
  }

  .showcase-stage img {
    width: 940px;
    max-width: none;
    transform-origin: top left;
  }

  .showcase-controls {
    grid-template-columns: repeat(2, 1fr);
  }

  .showcase-controls button:nth-child(2) {
    border-right: 0;
  }

  .showcase-controls button:nth-child(-n + 2) {
    border-bottom: 1px solid var(--line);
  }

  .intelligence-grid {
    grid-template-columns: 1fr;
  }

  .feature-wide {
    grid-column: auto;
  }

  .feature h3,
  .feature-compact h3 {
    font-size: 42px;
  }

  .feature-copy,
  .feature-compact {
    padding: 32px 26px;
  }

  .feature-visual {
    min-height: 420px;
  }

  .pipeline {
    grid-template-columns: 1fr;
  }

  .pipeline li,
  .pipeline li:nth-child(2) {
    min-height: 190px;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .pipeline li:last-child {
    border-bottom: 0;
  }

  .pipeline li::after {
    display: none;
  }

  .pipeline span {
    margin-bottom: 18px;
  }

  .constraint-card {
    grid-template-columns: 1fr;
  }

  .constraint-number {
    min-height: 200px;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .constraint-card > div:last-child,
  .score-card {
    padding: 30px 24px;
  }

  .proof-heading {
    display: grid;
    align-items: start;
  }

  .proof-grid {
    grid-template-columns: 1fr;
  }

  .proof-grid > div {
    min-height: 130px;
  }

  .quickstart {
    padding-block: 80px;
  }

  .terminal {
    box-shadow: 8px 10px 0 color-mix(in srgb, var(--forge) 18%, transparent);
  }

  .terminal pre {
    padding: 24px 18px;
    font-size: 11px;
  }

  .honesty {
    grid-template-columns: 1fr;
    gap: 16px;
  }

  .final-cta {
    padding-block: 90px;
  }

  .final-cta h2 {
    font-size: clamp(50px, 15vw, 70px);
  }

  .footer-grid {
    grid-template-columns: repeat(2, 1fr);
  }

  .footer-grid > div:first-child,
  .footer-meta {
    grid-column: 1 / -1;
  }

  .docs-hero {
    padding-block: 70px 56px;
  }

  .docs-shell {
    grid-template-columns: 1fr;
    gap: 45px;
    padding-top: 40px;
  }

  .docs-nav {
    position: static;
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .docs-nav a {
    min-width: 0;
    overflow-wrap: anywhere;
  }

  .docs-nav a:nth-child(odd) {
    border-right: 1px solid var(--line);
  }

  .source-links {
    grid-template-columns: 1fr;
  }
}

@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }

  *,
  *::before,
  *::after {
    scroll-behavior: auto !important;
    transition-duration: 0.01ms !important;
    animation-duration: 0.01ms !important;
  }

  .reveal {
    opacity: 1;
    transform: none;
  }
}