*, *::before, *::after {
  box-sizing: border-box;
}

:root {
  --page: #080c14;
  --paper: #0d1520;
  --paper-soft: #111827;
  --ink: #f1f5f9;
  --ink-soft: #cbd5e1;
  --muted: #94a3b8;
  --line: rgba(56, 189, 248, 0.12);
  --line-strong: rgba(56, 189, 248, 0.26);
  --blue: #38bdf8;
  --teal: #38bdf8;
  --green: #4ade80;
  --gold: #fbbf24;
  --red: #f87171;
  --violet: #a78bfa;
  --code: #050812;
  --code-ink: #e6edf6;
  --shadow: 0 18px 45px rgba(0, 0, 0, 0.28);
  --radius: 8px;
  --mono: "SFMono-Regular", "SF Mono", Consolas, "Liberation Mono", monospace;
  --sans: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  background:
    linear-gradient(90deg, rgba(56, 189, 248, 0.035) 1px, transparent 1px),
    linear-gradient(rgba(56, 189, 248, 0.035) 1px, transparent 1px),
    var(--page);
  background-size: 44px 44px;
  color: var(--ink);
  font-family: var(--sans);
  line-height: 1.6;
  -webkit-font-smoothing: antialiased;
}

a {
  color: var(--blue);
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

p {
  color: var(--ink-soft);
  margin: 0 0 1rem;
}

strong {
  color: var(--ink);
}

code {
  font-family: var(--mono);
}

.site-nav {
  align-items: center;
  background: rgba(8, 12, 20, 0.9);
  border-bottom: 1px solid var(--line);
  backdrop-filter: blur(14px);
  display: flex;
  gap: 1.5rem;
  justify-content: space-between;
  left: 0;
  padding: 0.95rem 2rem;
  position: sticky;
  right: 0;
  top: 0;
  z-index: 20;
}

.brand {
  color: var(--ink);
  font-weight: 800;
  letter-spacing: 0.08em;
  white-space: nowrap;
}

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

.nav-links {
  align-items: center;
  display: flex;
  flex-wrap: wrap;
  gap: 1rem;
  justify-content: flex-end;
}

.nav-links a {
  color: var(--ink-soft);
  font-size: 0.9rem;
  font-weight: 650;
}

.nav-links a.nav-secondary {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.78rem;
  font-weight: 800;
}

.nav-links a.primary-link {
  background: var(--teal);
  border: 1px solid var(--teal);
  border-radius: var(--radius);
  color: #061018;
  padding: 0.55rem 0.8rem;
}

.nav-links a.primary-link:hover {
  background: var(--green);
  border-color: var(--green);
  text-decoration: none;
}

.wrap {
  margin: 0 auto;
  max-width: 1120px;
  padding: 0 2rem;
}

.hero {
  padding: 6.5rem 0 5rem;
}

.hero-grid {
  align-items: center;
  display: grid;
  gap: 3rem;
  grid-template-columns: minmax(0, 1.08fr) minmax(320px, 0.92fr);
}

.hero h1,
.page-hero h1 {
  color: var(--ink);
  font-size: clamp(2.6rem, 6vw, 5.4rem);
  letter-spacing: 0;
  line-height: 0.98;
  margin: 0 0 1.5rem;
}

.page-hero h1 {
  font-size: clamp(2.4rem, 5vw, 4.8rem);
  max-width: 920px;
}

.lede {
  color: var(--ink-soft);
  font-size: clamp(1.1rem, 2vw, 1.32rem);
  line-height: 1.65;
  max-width: 760px;
}

.eyebrow {
  color: var(--teal);
  display: block;
  font-family: var(--mono);
  font-size: 0.78rem;
  font-weight: 800;
  letter-spacing: 0.12em;
  margin-bottom: 1rem;
  text-transform: uppercase;
}

.button-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.85rem;
  margin-top: 2rem;
}

.quiet-links {
  align-items: center;
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem;
  margin-top: 1.2rem;
}

.quiet-links,
.quiet-links a {
  color: var(--muted);
  font-size: 0.9rem;
}

.button {
  align-items: center;
  border: 1px solid var(--ink);
  border-radius: var(--radius);
  display: inline-flex;
  font-weight: 750;
  justify-content: center;
  min-height: 44px;
  padding: 0.72rem 1rem;
}

.button.primary {
  background: var(--teal);
  color: #061018;
}

.button.secondary {
  background: rgba(13, 21, 32, 0.88);
  color: var(--ink);
}

.button:hover {
  border-color: var(--blue);
  color: var(--blue);
  text-decoration: none;
}

.button.primary:hover {
  background: var(--green);
  color: #061018;
}

.section {
  border-top: 1px solid var(--line);
  padding: 5rem 0;
}

.section.compact {
  padding: 3.5rem 0;
}

.section h2 {
  color: var(--ink);
  font-size: clamp(1.8rem, 3.5vw, 3.2rem);
  letter-spacing: 0;
  line-height: 1.08;
  margin: 0 0 1rem;
}

.section h3 {
  color: var(--ink);
  font-size: 1.2rem;
  line-height: 1.25;
  margin: 0 0 0.6rem;
}

.section-intro {
  max-width: 780px;
}

.two-col {
  display: grid;
  gap: 1.25rem;
  grid-template-columns: repeat(2, minmax(0, 1fr));
}

.three-col {
  display: grid;
  gap: 1rem;
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.card,
.panel,
.quote-panel {
  background: rgba(13, 21, 32, 0.92);
  border: 1px solid var(--line);
  border-radius: var(--radius);
  box-shadow: var(--shadow);
}

.card {
  padding: 1.25rem;
}

.panel {
  padding: 1.5rem;
}

.quote-panel {
  border-left: 4px solid var(--teal);
  padding: 1.5rem;
}

.quote-panel p {
  color: var(--ink);
  font-size: 1.08rem;
}

.quote-panel p:last-child {
  margin-bottom: 0;
}

.label {
  color: var(--teal);
  font-family: var(--mono);
  font-size: 0.74rem;
  font-weight: 800;
  letter-spacing: 0.08em;
  margin-bottom: 0.55rem;
  text-transform: uppercase;
}

.disclosure {
  background: rgba(248, 113, 113, 0.08);
  border: 1px solid rgba(248, 113, 113, 0.28);
  border-left: 4px solid var(--red);
  border-radius: var(--radius);
  margin-top: 1.5rem;
  padding: 1.1rem 1.25rem;
}

.disclosure h3,
.disclosure h2 {
  color: var(--red);
  font-size: 1rem;
  margin: 0 0 0.55rem;
}

.disclosure p,
.disclosure li {
  color: #fecaca;
  font-size: 0.94rem;
}

.disclosure ul,
.plain-list {
  margin: 0;
  padding-left: 1.1rem;
}

.plain-list li {
  color: var(--ink-soft);
  margin: 0.45rem 0;
}

.terminal,
.code-block {
  background: var(--code);
  border: 1px solid var(--line);
  border-radius: var(--radius);
  color: var(--code-ink);
  font-family: var(--mono);
  font-size: 0.88rem;
  line-height: 1.65;
  overflow-x: auto;
  padding: 1rem;
}

.terminal strong,
.code-block strong {
  color: #ffffff;
}

.pass {
  color: #78d28f;
}

.download-list {
  display: flex;
  flex-wrap: wrap;
  gap: 0.65rem;
  margin-top: 1rem;
}

.download-list a {
  background: rgba(56, 189, 248, 0.08);
  border: 1px solid var(--line);
  border-radius: var(--radius);
  color: var(--ink);
  font-family: var(--mono);
  font-size: 0.78rem;
  font-weight: 800;
  padding: 0.55rem 0.7rem;
}

.download-list a:hover {
  border-color: var(--teal);
  color: var(--teal);
  text-decoration: none;
}

.muted {
  color: var(--muted);
}

.diagram {
  background: rgba(13, 21, 32, 0.92);
  border: 1px solid var(--line);
  border-radius: var(--radius);
  box-shadow: var(--shadow);
  padding: 1.25rem;
}

.boundary-diagram {
  display: grid;
  gap: 0.75rem;
  grid-template-columns: 1fr auto minmax(118px, 0.74fr) auto 1fr;
  margin-top: 1rem;
}

.node,
.gate-node,
.small-node {
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  padding: 1rem;
}

.node {
  background: rgba(17, 24, 39, 0.92);
}

.gate-node {
  background: rgba(56, 189, 248, 0.08);
  border-color: rgba(0, 127, 115, 0.35);
  color: var(--teal);
  font-weight: 800;
  min-width: 118px;
  text-align: center;
}

.arrow {
  align-self: center;
  color: var(--gold);
  font-family: var(--mono);
  font-weight: 900;
  padding: 0 0.15rem;
}

.proof-anatomy,
.coverage-map,
.layer-stack {
  display: grid;
  gap: 0.75rem;
  margin-top: 1.25rem;
}

.proof-anatomy {
  grid-template-columns: repeat(auto-fit, minmax(142px, 1fr));
}

.coverage-map {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

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

.small-node {
  background: rgba(13, 21, 32, 0.94);
  min-height: 104px;
}

.small-node strong {
  display: block;
  font-size: 0.9rem;
  margin-bottom: 0.35rem;
  overflow-wrap: anywhere;
}

.small-node p {
  font-size: 0.8rem;
  line-height: 1.45;
  margin: 0;
}

.status-routed {
  border-top: 4px solid var(--green);
}

.status-blocked {
  border-top: 4px solid var(--red);
}

.status-disclosed {
  border-top: 4px solid var(--gold);
}

.status-out {
  border-top: 4px solid var(--violet);
}

.receipt-card {
  background: rgba(13, 21, 32, 0.94);
  border: 1px solid var(--line);
  border-radius: var(--radius);
  box-shadow: var(--shadow);
  margin-top: 1.25rem;
  overflow: hidden;
}

.hero-receipt {
  margin-top: 0;
}

.receipt-card header {
  background: #050812;
  color: var(--ink);
  display: flex;
  font-family: var(--mono);
  font-size: 0.82rem;
  justify-content: space-between;
  padding: 0.9rem 1rem;
}

.receipt-row {
  border-top: 1px solid var(--line);
  display: grid;
  gap: 1rem;
  grid-template-columns: 150px 1fr;
  padding: 0.75rem 1rem;
}

.receipt-row span:first-child {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.82rem;
}

.receipt-row span:last-child {
  color: var(--ink);
  font-weight: 700;
}

.layer-stack {
  grid-template-columns: 1fr;
}

.layer {
  align-items: center;
  background: rgba(13, 21, 32, 0.94);
  border: 1px solid var(--line);
  border-radius: var(--radius);
  display: grid;
  gap: 1rem;
  grid-template-columns: 150px 1fr;
  padding: 0.95rem 1rem;
}

.layer strong {
  color: var(--teal);
  font-family: var(--mono);
}

.essay {
  max-width: 850px;
}

.essay h2 {
  font-size: clamp(1.65rem, 2.7vw, 2.4rem);
  margin-top: 2.5rem;
}

.essay p {
  font-size: 1.05rem;
}

.essay blockquote {
  border-left: 4px solid var(--teal);
  color: var(--ink);
  font-size: 1.28rem;
  line-height: 1.55;
  margin: 2rem 0;
  padding-left: 1.25rem;
}

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

.site-footer {
  border-top: 1px solid var(--line);
  padding: 2.2rem 0;
}

.site-footer p {
  font-size: 0.9rem;
  margin: 0;
}

@media (max-width: 900px) {
  .hero-grid,
  .two-col,
  .three-col,
  .archive-grid {
    grid-template-columns: 1fr;
  }

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

  .boundary-diagram {
    grid-template-columns: 1fr;
  }

  .arrow {
    text-align: center;
  }
}

@media (max-width: 640px) {
  .site-nav {
    align-items: flex-start;
    flex-direction: column;
    gap: 0.75rem;
    padding: 0.85rem 1rem;
  }

  .nav-links {
    justify-content: flex-start;
  }

  .wrap {
    padding: 0 1rem;
  }

  .hero {
    padding: 4rem 0 3.5rem;
  }

  .section {
    padding: 3.5rem 0;
  }

  .proof-anatomy,
  .coverage-map {
    grid-template-columns: 1fr;
  }

  .receipt-row,
  .layer {
    grid-template-columns: 1fr;
  }
}