:root {
  --bg: #07131a;
  --bg-soft: #10232b;
  --panel: rgba(13, 29, 37, 0.86);
  --panel-strong: #0b1b22;
  --line: rgba(177, 219, 230, 0.16);
  --text: #f3f2e9;
  --muted: #b8cdd2;
  --amber: #f2ba55;
  --cyan: #6fe7d2;
  --rose: #ff8e78;
  --shadow: 0 28px 80px rgba(0, 0, 0, 0.35);
  --radius: 28px;
  --radius-sm: 18px;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  min-height: 100vh;
  font-family: 'Space Grotesk', 'Trebuchet MS', sans-serif;
  color: var(--text);
  background:
    radial-gradient(circle at top left, rgba(242, 186, 85, 0.18), transparent 28%),
    radial-gradient(circle at 85% 15%, rgba(111, 231, 210, 0.16), transparent 24%),
    linear-gradient(180deg, #051018 0%, #07131a 45%, #0a171d 100%);
}

body::before {
  content: '';
  position: fixed;
  inset: 0;
  pointer-events: none;
  background-image: linear-gradient(rgba(255, 255, 255, 0.025) 1px, transparent 1px),
    linear-gradient(90deg, rgba(255, 255, 255, 0.025) 1px, transparent 1px);
  background-size: 40px 40px;
  mask-image: radial-gradient(circle at center, black 45%, transparent 100%);
}

.site-shell {
  width: min(1200px, calc(100% - 32px));
  margin: 0 auto;
  padding: 24px 0 48px;
}

.topbar,
.hero,
  .workflow-section,
  .propagation-section,
  .proof-section,
  .examples-section,
  .links-section,
  .footer {
  position: relative;
  z-index: 1;
}

.topbar {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 24px;
  padding: 8px 0 28px;
}

.brand {
  color: var(--text);
  text-decoration: none;
  font-weight: 700;
  letter-spacing: 0.02em;
}

.topnav {
  display: flex;
  flex-wrap: wrap;
  gap: 14px;
}

.topnav a,
.footer a {
  color: var(--muted);
  text-decoration: none;
}

.topnav a:hover,
.brand:hover,
.link-card:hover {
  color: #fff;
}

.hero {
  display: grid;
  grid-template-columns: minmax(0, 1.2fr) minmax(300px, 0.9fr);
  gap: 28px;
  align-items: start;
  padding: 24px 0 72px;
}

.eyebrow {
  margin: 0 0 12px;
  color: var(--amber);
  font-size: 0.9rem;
  letter-spacing: 0.14em;
  text-transform: uppercase;
}

h1,
h2,
h3 {
  margin: 0;
  line-height: 0.95;
}

h1 {
  max-width: 10ch;
  font-size: clamp(3.8rem, 10vw, 7rem);
  letter-spacing: -0.07em;
}

h2 {
  max-width: 14ch;
  font-size: clamp(2rem, 5vw, 3.5rem);
  letter-spacing: -0.05em;
}

h3 {
  font-size: 1.45rem;
  letter-spacing: -0.04em;
}

.hero-text,
  .workflow-card p,
  .propagation-copy p,
  .propagation-copy li,
  .proof-card p,
  .example-card p,
  .link-card span,
  .panel-note,
.footer p {
  line-height: 1.6;
  color: var(--muted);
}

.hero-text {
  max-width: 60ch;
  margin: 18px 0 0;
  font-size: 1.06rem;
}

.hero-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 14px;
  margin-top: 28px;
}

.button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 48px;
  padding: 0 18px;
  border-radius: 999px;
  border: 1px solid var(--line);
  text-decoration: none;
  font-weight: 500;
}

.button-primary {
  color: #091117;
  background: linear-gradient(135deg, var(--amber), #f4d48f);
  border-color: transparent;
}

.button-secondary {
  color: var(--text);
  background: rgba(255, 255, 255, 0.04);
}

.button code {
  font-family: 'IBM Plex Mono', monospace;
  font-size: 0.92em;
}

.signal-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 14px;
  margin-top: 28px;
}

.signal-card,
  .workflow-card,
  .proof-card,
  .example-card,
  .link-card,
  .hero-panel,
.propagation-grid,
.footer {
  border: 1px solid var(--line);
  background: var(--panel);
  backdrop-filter: blur(18px);
  box-shadow: var(--shadow);
}

.signal-card {
  display: grid;
  gap: 4px;
  padding: 18px;
  border-radius: 20px;
}

.signal-value {
  font-size: 1.5rem;
  font-weight: 700;
}

.signal-label {
  color: var(--muted);
  font-size: 0.95rem;
}

.hero-panel {
  padding: 18px;
  border-radius: var(--radius);
}

.terminal-card {
  overflow: hidden;
  border-radius: 22px;
  background: #061015;
  border: 1px solid rgba(255, 255, 255, 0.08);
}

.terminal-bar {
  display: flex;
  gap: 8px;
  padding: 14px;
  background: rgba(255, 255, 255, 0.04);
}

.terminal-bar span {
  width: 11px;
  height: 11px;
  border-radius: 50%;
  background: rgba(255, 255, 255, 0.2);
}

pre,
code {
  font-family: 'IBM Plex Mono', 'SFMono-Regular', monospace;
}

pre {
  margin: 0;
  overflow-x: auto;
  font-size: 0.88rem;
}

.terminal-card pre {
  padding: 18px;
}

.panel-note {
  margin: 18px 4px 0;
}

.workflow-section,
.propagation-section,
.proof-section,
.examples-section,
.links-section {
  padding: 0 0 72px;
}

.section-heading {
  display: grid;
  gap: 10px;
  margin-bottom: 24px;
}

.workflow-grid,
.proof-grid,
.examples-grid,
.link-grid {
  display: grid;
  gap: 18px;
}

.workflow-grid {
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.workflow-card,
.proof-card,
.example-card,
.link-card {
  padding: 24px;
  border-radius: var(--radius);
}

.workflow-step {
  margin: 0 0 18px;
  color: var(--muted);
  font-family: 'IBM Plex Mono', monospace;
}

.accent-amber {
  box-shadow: inset 0 0 0 1px rgba(242, 186, 85, 0.22), var(--shadow);
}

.accent-cyan {
  box-shadow: inset 0 0 0 1px rgba(111, 231, 210, 0.22), var(--shadow);
}

.accent-rose {
  box-shadow: inset 0 0 0 1px rgba(255, 142, 120, 0.22), var(--shadow);
}

.propagation-grid {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(280px, 0.8fr);
  gap: 24px;
  padding: 28px;
  border-radius: var(--radius);
}

.propagation-copy ul {
  padding-left: 18px;
  margin: 16px 0 0;
}

.state-list {
  display: grid;
  gap: 14px;
}

.state-list div {
  display: grid;
  gap: 8px;
  padding: 18px;
  border-radius: 20px;
  background: rgba(255, 255, 255, 0.03);
  border: 1px solid rgba(255, 255, 255, 0.06);
}

.state-list strong {
  color: var(--text);
}

.state-list span {
  color: var(--muted);
  line-height: 1.5;
}

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

.proof-card {
  display: grid;
  gap: 14px;
}

.proof-label {
  width: fit-content;
  padding: 6px 10px;
  border-radius: 999px;
  color: #07131a;
  background: var(--cyan);
  font-family: 'IBM Plex Mono', monospace;
  font-size: 0.78rem;
  font-weight: 500;
  text-transform: uppercase;
  letter-spacing: 0.08em;
}

.proof-card a {
  overflow-wrap: anywhere;
  color: var(--amber);
  text-decoration: none;
  font-family: 'IBM Plex Mono', monospace;
  font-size: 0.92rem;
}

.proof-card a:hover {
  color: #fff;
}

.proof-meta {
  margin: 0;
}

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

.example-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  margin-bottom: 14px;
}

.example-header span {
  color: var(--amber);
  font-family: 'IBM Plex Mono', monospace;
  font-size: 0.9rem;
}

.example-card pre {
  padding: 18px;
  border-radius: 20px;
  background: #061015;
  border: 1px solid rgba(255, 255, 255, 0.08);
}

.link-grid {
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.link-card {
  display: grid;
  gap: 10px;
  text-decoration: none;
  color: var(--text);
}

.footer {
  display: flex;
  justify-content: space-between;
  gap: 20px;
  padding: 22px 24px;
  border-radius: 24px;
}

@media (max-width: 980px) {
  .hero,
  .workflow-grid,
  .proof-grid,
  .examples-grid,
  .link-grid,
  .propagation-grid {
    grid-template-columns: 1fr;
  }

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

  h1 {
    max-width: 12ch;
  }

  .footer {
    flex-direction: column;
  }
}

@media (max-width: 640px) {
  .site-shell {
    width: min(100% - 20px, 1200px);
    padding-top: 18px;
  }

  .topbar {
    align-items: flex-start;
    flex-direction: column;
  }

  .hero,
  .workflow-section,
  .propagation-section,
  .proof-section,
  .examples-section,
  .links-section {
    padding-bottom: 56px;
  }

  .hero-panel,
  .workflow-card,
  .proof-card,
  .example-card,
  .link-card,
  .propagation-grid,
  .footer {
    padding: 20px;
    border-radius: 22px;
  }

  h1 {
    font-size: clamp(3rem, 18vw, 4.8rem);
  }
}