:root {
  color-scheme: dark;
  --paper: #080b0d;
  --ink: #f0f6f8;
  --muted: #91a0a7;
  --quiet: #5f6a70;
  --blue: #78d7ff;
  --blue-soft: rgba(120, 215, 255, 0.1);
  --code-bg: #0d1317;
  --row-bg: #0d1317;
  --max: 1200px;
  --sans: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --display: "Avenir Next", Avenir, "Segoe UI", sans-serif;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }

body {
  background: var(--paper);
  color: var(--ink);
  font-family: var(--sans);
  font-size: 16px;
  line-height: 1.65;
  margin: 0;
  text-rendering: optimizeLegibility;
}

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

:focus-visible {
  outline: 3px solid rgba(120, 215, 255, 0.35);
  outline-offset: 3px;
}

.site-header {
  align-items: center;
  display: flex;
  height: 64px;
  justify-content: space-between;
  margin: 0 auto;
  max-width: var(--max);
  padding: 0 32px;
}

.wordmark {
  font-size: 18px;
  font-weight: 750;
  letter-spacing: -0.02em;
}

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

.site-header nav a {
  color: var(--muted);
  font-size: 14px;
  font-weight: 600;
}

.site-header nav a:hover,
.site-header nav a[aria-current="page"] {
  color: var(--blue);
}

.home-shell {
  margin: 0 auto;
  max-width: 1100px;
  padding: 72px 32px 120px;
}

.eyebrow {
  color: var(--muted);
  font-size: 14px;
  font-weight: 600;
  margin: 0 0 18px;
}

.hero h1 {
  font-family: var(--display);
  font-size: clamp(48px, 6vw, 76px);
  font-weight: 760;
  letter-spacing: -0.05em;
  line-height: 0.98;
  margin: 0;
}

.hero-line { display: block; }
.hero h1 .hero-accent { color: var(--blue); }

.lede {
  color: var(--muted);
  font-size: 19px;
  line-height: 1.65;
  margin: 28px 0 0;
  max-width: 560px;
}

.hero-actions {
  align-items: center;
  display: flex;
  flex-wrap: wrap;
  gap: 16px;
  margin-top: 26px;
}

.install {
  align-items: center;
  background: var(--code-bg);
  border: 0;
  border-radius: 8px;
  cursor: pointer;
  display: inline-flex;
  font-family: var(--mono);
  font-size: 13px;
  gap: 10px;
  min-height: 44px;
  padding: 0 15px;
}

.install span { color: var(--blue); }
.install b {
  color: var(--quiet);
  font-family: var(--sans);
  font-size: 11px;
  font-weight: 650;
  margin-left: 6px;
}
.install:hover { background: #151e23; }

.primary, .text-link, .prose a {
  color: var(--blue);
  font-size: 14px;
  font-weight: 600;
}

.primary:hover, .text-link:hover, .prose a:hover {
  text-decoration: underline;
  text-underline-offset: 3px;
}

.code-block {
  background: var(--code-bg);
  border-radius: 12px;
  margin: 28px 0 0;
  overflow: hidden;
}

.code-block figcaption {
  color: var(--muted);
  font-size: 12px;
  font-weight: 600;
  padding: 16px 20px 0;
}

.code-block pre {
  font-family: var(--mono);
  font-size: 13px;
  line-height: 1.75;
  margin: 0;
  overflow-x: auto;
  padding: 16px 20px 22px;
}

.thesis, .proof, .closing { padding: 72px 0 0; }

.thesis h2, .proof h2, .closing h2 {
  font-family: var(--display);
  font-size: 28px;
  font-weight: 700;
  letter-spacing: -0.01em;
  margin: 0;
}

.model-lines {
  display: grid;
  gap: 6px;
  margin-top: 24px;
}

.model-lines div {
  align-items: baseline;
  background: var(--row-bg);
  border-radius: 8px;
  display: grid;
  gap: 18px;
  grid-template-columns: 92px 1fr;
  padding: 14px 16px;
}

.model-lines span {
  color: var(--muted);
  font-size: 12px;
  font-weight: 650;
}

.model-lines code {
  font-family: var(--mono);
  font-size: 13px;
}

.facts {
  display: grid;
  gap: 28px;
  grid-template-columns: repeat(4, 1fr);
  margin: 28px 0 0;
}

.facts dt {
  font-size: 28px;
  font-weight: 700;
  letter-spacing: -0.03em;
}

.facts dd {
  color: var(--muted);
  font-size: 13px;
  margin: 6px 0 0;
}

.text-link { display: inline-block; margin-top: 24px; }

footer {
  align-items: center;
  color: var(--quiet);
  display: flex;
  font-size: 13px;
  justify-content: space-between;
  margin: 0 auto;
  max-width: var(--max);
  padding: 28px 32px 44px;
}

footer a:hover { color: var(--blue); }

.home-theme { min-height: 100vh; position: relative; }
.home-theme::before {
  background:
    radial-gradient(circle at 77% 14%, rgba(58, 166, 224, 0.12), transparent 28%),
    radial-gradient(circle at 18% 48%, rgba(61, 133, 168, 0.05), transparent 24%);
  content: "";
  inset: 0;
  pointer-events: none;
  position: absolute;
}
.home-theme .site-header,
.home-theme main,
.home-theme footer { position: relative; }

.docs-shell {
  display: grid;
  gap: 88px;
  grid-template-columns: minmax(0, 860px) 180px;
  margin: 0 auto;
  max-width: 1176px;
  min-height: calc(100vh - 136px);
  padding: 52px 32px 120px;
}

.docs-nav {
  align-self: start;
  display: flex;
  flex-direction: column;
  gap: 3px;
  grid-column: 2;
  position: sticky;
  top: 32px;
}

.docs-nav strong { font-size: 14px; margin-bottom: 8px; }

.docs-nav a {
  border-radius: 6px;
  color: var(--muted);
  font-size: 14px;
  padding: 7px 10px;
}

.docs-nav a:hover { color: var(--ink); }
.docs-nav a[aria-current="page"] {
  background: var(--blue-soft);
  color: var(--blue);
}

.prose { grid-column: 1; min-width: 0; }

.prose h1 {
  font-family: var(--display);
  font-size: clamp(36px, 5vw, 48px);
  font-weight: 560;
  letter-spacing: -0.025em;
  line-height: 1.12;
  margin: 0 0 22px;
}

.prose .intro {
  color: #c4ced2;
  font-size: 18px;
  line-height: 1.75;
  margin: 0 0 36px;
  max-width: 780px;
}

.prose h2 {
  font-family: var(--display);
  font-size: 26px;
  font-weight: 560;
  margin: 64px 0 18px;
}

.prose p, .prose li { color: var(--muted); line-height: 1.75; }

.prose p code, .prose li code, .prose td code {
  background: var(--code-bg);
  border-radius: 5px;
  color: var(--ink);
  font-family: var(--mono);
  font-size: 0.88em;
  padding: 2px 5px;
}

.prose table {
  border-collapse: separate;
  border-spacing: 0 6px;
  font-size: 14px;
  margin: 20px 0 30px;
  width: 100%;
}

.prose th {
  color: var(--muted);
  font-size: 12px;
  font-weight: 650;
  padding: 8px 14px;
  text-align: left;
}

.prose td {
  background: var(--row-bg);
  color: var(--muted);
  padding: 13px 14px;
}

.prose tbody td:first-child { border-radius: 8px 0 0 8px; color: var(--ink); font-weight: 600; }
.prose tbody td:last-child { border-radius: 0 8px 8px 0; }

@media (max-width: 900px) {
  .docs-shell { display: block; }
  .docs-nav {
    flex-direction: row;
    margin-bottom: 44px;
    overflow-x: auto;
    position: static;
    white-space: nowrap;
  }
  .docs-nav strong { display: none; }
  .facts { grid-template-columns: 1fr 1fr; }
  footer { flex-direction: column; gap: 8px; align-items: flex-start; }
}