:root {
  color-scheme: dark;
  --acid: #caff3d;
  --acid-soft: #e1ff93;
  --ground: #090a09;
  --panel: #111311;
  --panel-raised: #161916;
  --ink: #f1f0e8;
  --muted: #999d94;
  --muted-light: #bec1b8;
  --line: #292d29;
  --line-strong: #3b413b;
  --sans: "Helvetica Neue", Helvetica, Arial, sans-serif;
  --mono: "SFMono-Regular", "Cascadia Code", "Roboto Mono", Consolas, monospace;
  --page: min(1280px, calc(100% - 64px));
  --header-height: 78px;
}

* {
  box-sizing: border-box;
}

html {
  overflow-x: clip;
  scroll-behavior: smooth;
}

body {
  margin: 0;
  overflow-x: clip;
  background: var(--ground);
  color: var(--ink);
  font-family: var(--sans);
  font-size: 16px;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}

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

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

button {
  font: inherit;
}

:focus-visible {
  outline: 2px solid var(--acid);
  outline-offset: 4px;
}

::selection {
  background: var(--acid);
  color: var(--ground);
}

.skip-link {
  position: fixed;
  z-index: 100;
  top: 10px;
  left: 10px;
  padding: 10px 14px;
  transform: translateY(-160%);
  background: var(--acid);
  color: var(--ground);
  font: 700 13px var(--mono);
}

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

.site-header {
  position: sticky;
  top: 0;
  z-index: 50;
  height: var(--header-height);
  border-bottom: 1px solid rgb(59 65 59 / 72%);
  background: rgb(9 10 9 / 84%);
  backdrop-filter: blur(18px) saturate(130%);
  transition:
    background-color 180ms ease,
    border-color 180ms ease,
    box-shadow 180ms ease;
}

.site-header::after {
  position: absolute;
  right: 0;
  bottom: -1px;
  left: 0;
  height: 1px;
  background: linear-gradient(
    90deg,
    transparent 4%,
    rgb(202 255 61 / 32%) 34%,
    transparent 70%
  );
  content: "";
  opacity: 0;
  transform: scaleX(0.72);
  transition:
    opacity 180ms ease,
    transform 300ms ease;
}

.site-header.is-scrolled {
  border-color: rgb(59 65 59 / 88%);
  background: rgb(9 10 9 / 94%);
  box-shadow: 0 14px 36px rgb(0 0 0 / 28%);
}

.site-header.is-scrolled::after {
  opacity: 1;
  transform: scaleX(1);
}

.nav {
  position: relative;
  display: flex;
  align-items: center;
  justify-content: space-between;
  width: var(--page);
  height: 100%;
  margin: 0 auto;
}

.nav-brand,
.nav-actions {
  display: flex;
  align-items: center;
}

.nav-brand {
  min-width: 0;
}

.wordmark {
  display: inline-flex;
  align-items: center;
  gap: 11px;
  font: 700 18px var(--mono);
  letter-spacing: -0.05em;
}

.wordmark-mark {
  position: relative;
  width: 24px;
  height: 12px;
  border-top: 2px solid var(--acid);
  border-bottom: 2px solid var(--acid);
}

.wordmark-mark::after {
  position: absolute;
  top: 3px;
  left: 8px;
  width: 16px;
  border-top: 2px solid var(--acid);
  content: "";
}

.nav-tagline {
  margin-left: 22px;
  padding-left: 22px;
  border-left: 1px solid var(--line);
  color: #81867d;
  font: 650 9px var(--mono);
  letter-spacing: 0.1em;
  text-transform: uppercase;
  white-space: nowrap;
}

.nav-links {
  display: flex;
  align-items: center;
  gap: 28px;
  margin-left: auto;
  padding: 0 32px;
  color: var(--muted-light);
  font: 620 11px var(--mono);
  letter-spacing: 0.05em;
}

.nav-links a,
footer a,
.text-link {
  transition: color 160ms ease;
}

.nav-links a:hover,
.nav-links a[aria-current="page"],
.nav-links a[aria-current="location"],
footer a:hover,
.text-link:hover {
  color: var(--acid);
}

.nav-actions {
  gap: 10px;
}

.github-repo,
.nav-install {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 38px;
  white-space: nowrap;
}

.github-repo {
  gap: 9px;
  padding: 0 11px 0 12px;
  border: 1px solid var(--line-strong);
  background: rgb(22 25 22 / 70%);
  color: #d4d6cf;
  font: 650 10px var(--mono);
  letter-spacing: 0.035em;
  transition:
    border-color 160ms ease,
    background-color 160ms ease,
    color 160ms ease,
    transform 160ms ease;
}

.github-repo:hover {
  border-color: #5b6259;
  background: var(--panel-raised);
  color: var(--ink);
  transform: translateY(-1px);
}

.github-icon {
  width: 17px;
  height: 17px;
  fill: currentColor;
}

.github-stars {
  display: inline-flex;
  align-items: center;
  gap: 5px;
  min-width: 30px;
  min-height: 20px;
  padding-left: 9px;
  border-left: 1px solid var(--line);
  color: var(--ink);
}

.github-star-icon {
  width: 11px;
  height: 11px;
  fill: var(--acid);
}

.github-star-count {
  min-width: 1ch;
  font-variant-numeric: tabular-nums;
}

.github-repo.is-live .github-star-count {
  animation: star-in 300ms ease both;
}

.nav-install {
  min-width: 78px;
  padding: 0 16px;
  border: 1px solid var(--acid);
  background: var(--acid);
  color: var(--ground);
  font: 750 10px var(--mono);
  letter-spacing: 0.06em;
  text-transform: uppercase;
  transition:
    background-color 160ms ease,
    border-color 160ms ease,
    transform 160ms ease;
}

.nav-install:hover {
  border-color: var(--acid-soft);
  background: var(--acid-soft);
  transform: translateY(-1px);
}

.nav-install:active,
.github-repo:active {
  transform: translateY(0);
}

main {
  display: block;
}

.hero {
  position: relative;
  min-height: min(900px, calc(100vh - var(--header-height)));
  border-bottom: 1px solid var(--line);
}

.hero-grid {
  position: absolute;
  inset: 0;
  background-image:
    linear-gradient(rgb(255 255 255 / 2.2%) 1px, transparent 1px),
    linear-gradient(90deg, rgb(255 255 255 / 2.2%) 1px, transparent 1px);
  background-position: center;
  background-size: 64px 64px;
  mask-image: linear-gradient(to bottom, #000 20%, transparent 92%);
  pointer-events: none;
}

.hero-rail {
  position: absolute;
  z-index: 1;
  right: -10vw;
  left: 42%;
  height: 1px;
  background: linear-gradient(90deg, transparent, var(--acid) 35%, transparent);
  opacity: 0.38;
  transform: rotate(-9deg);
  transform-origin: center;
}

.hero-rail::after {
  position: absolute;
  top: -3px;
  width: 7px;
  height: 7px;
  border-radius: 50%;
  background: var(--acid);
  box-shadow: 0 0 26px var(--acid);
  content: "";
  animation: travel 5.8s linear infinite;
}

.hero-rail-a {
  top: 39%;
}

.hero-rail-b {
  top: 59%;
  left: 53%;
  opacity: 0.2;
  transform: rotate(12deg);
}

.hero-rail-b::after {
  animation-delay: -3s;
  animation-duration: 7.4s;
}

.hero-inner {
  position: relative;
  z-index: 3;
  display: grid;
  grid-template-columns: minmax(0, 0.95fr) minmax(480px, 1.05fr);
  align-items: center;
  width: var(--page);
  min-height: min(760px, calc(100vh - 164px));
  margin: 0 auto;
  padding: 80px 0 116px;
}

.hero-copy {
  position: relative;
  z-index: 4;
  min-width: 0;
  padding-right: 52px;
}

.eyebrow,
.section-label {
  margin: 0 0 28px;
  color: #a7aaa1;
  font: 650 11px var(--mono);
  letter-spacing: 0.13em;
  text-transform: uppercase;
}

.eyebrow span {
  display: inline-block;
  margin-right: 12px;
  padding: 5px 7px;
  background: var(--acid);
  color: var(--ground);
  letter-spacing: 0.04em;
}

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

h1 {
  margin: 0;
  font-size: clamp(86px, 11vw, 174px);
  font-weight: 640;
  letter-spacing: -0.1em;
  line-height: 0.72;
}

.hero-promise {
  margin: 38px 0 0;
  font-size: clamp(26px, 3vw, 44px);
  font-weight: 560;
  letter-spacing: -0.055em;
  line-height: 1;
}

.hero-promise em {
  color: var(--acid);
  font-style: normal;
}

.lede {
  max-width: 530px;
  margin: 29px 0 0;
  color: var(--muted-light);
  font-size: clamp(17px, 1.4vw, 20px);
  line-height: 1.55;
}

.quick-install {
  max-width: 610px;
  margin-top: 36px;
  border: 1px solid var(--line-strong);
  background: rgb(9 11 9 / 88%);
  box-shadow: 0 18px 50px rgb(0 0 0 / 18%);
}

.install-tabs {
  display: flex;
  align-items: center;
  min-height: 39px;
  padding: 0 12px;
  border-bottom: 1px solid var(--line);
}

.install-tabs button,
.terminal-tabs button {
  position: relative;
  padding: 0;
  border: 0;
  background: transparent;
  color: #858a81;
  cursor: pointer;
  font: 650 10px var(--mono);
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.install-tabs button {
  align-self: stretch;
  margin-right: 22px;
}

.install-tabs button::after,
.terminal-tabs button::after {
  position: absolute;
  right: 0;
  bottom: -1px;
  left: 0;
  height: 1px;
  background: var(--acid);
  content: "";
  opacity: 0;
  transform: scaleX(0.4);
  transition:
    opacity 160ms ease,
    transform 160ms ease;
}

.install-tabs button[aria-selected="true"],
.terminal-tabs button[aria-selected="true"] {
  color: var(--ink);
}

.install-tabs button[aria-selected="true"]::after,
.terminal-tabs button[aria-selected="true"]::after {
  opacity: 1;
  transform: scaleX(1);
}

.quick-install-panel {
  position: relative;
  min-height: 64px;
  padding: 20px 78px 18px 19px;
}

.quick-install-panel code {
  display: block;
  overflow: hidden;
  color: #d8dad3;
  font: 600 clamp(10px, 1vw, 13px) / 1.45 var(--mono);
  text-overflow: ellipsis;
  white-space: nowrap;
}

.quick-install-panel code span {
  margin-right: 10px;
  color: var(--acid);
}

.quick-copy {
  top: 14px;
  right: 14px;
}

.install-aside {
  display: flex;
  flex-wrap: wrap;
  gap: 20px;
  margin: 15px 0 0;
  color: #8e9289;
  font: 600 10px var(--mono);
}

.install-aside a {
  transition: color 160ms ease;
}

.install-aside a:hover {
  color: var(--acid);
}

.install-aside span {
  color: var(--acid);
}

.terminal-wrap {
  position: relative;
  z-index: 3;
  min-width: 0;
  perspective: 1400px;
}

.terminal-wrap::before {
  position: absolute;
  inset: 18% 9% -6% 7%;
  z-index: -1;
  background: var(--acid);
  content: "";
  filter: blur(120px);
  opacity: 0.05;
}

.terminal {
  position: relative;
  overflow: hidden;
  border: 1px solid #3a3f3a;
  background: rgb(16 18 16 / 96%);
  box-shadow: 0 35px 90px rgb(0 0 0 / 48%);
  transform: rotateY(-3deg) rotateX(1deg);
}

.terminal-bar,
.terminal-foot {
  display: flex;
  align-items: center;
  justify-content: space-between;
  color: #888d84;
  font: 650 10px var(--mono);
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.terminal-bar {
  height: 49px;
  padding: 0 18px;
  border-bottom: 1px solid var(--line);
}

.terminal-tabs {
  display: flex;
  align-self: stretch;
  align-items: center;
  gap: 20px;
}

.terminal-tabs button {
  align-self: stretch;
}

.terminal-status {
  display: flex;
  align-items: center;
  gap: 8px;
}

.terminal-status i {
  width: 6px;
  height: 6px;
  border-radius: 50%;
  background: var(--acid);
  box-shadow: 0 0 12px rgb(202 255 61 / 70%);
}

.terminal pre {
  min-height: 368px;
  margin: 0;
  padding: clamp(28px, 4vw, 56px) clamp(22px, 4vw, 52px);
  overflow-x: auto;
  color: #d8d9d3;
  font: 500 clamp(12px, 1.15vw, 16px) / 1.85 var(--mono);
  white-space: pre-wrap;
}

.terminal [data-stage] {
  display: inline;
  opacity: 0;
  transition: opacity 420ms ease;
}

.terminal.is-live [data-stage] {
  opacity: 1;
}

.terminal .prompt,
.terminal .result {
  color: var(--acid);
}

.terminal-foot {
  height: 42px;
  padding: 0 18px;
  border-top: 1px solid var(--line);
}

.hero-foot {
  position: absolute;
  right: 0;
  bottom: 0;
  left: 0;
  z-index: 3;
  display: flex;
  align-items: center;
  justify-content: space-between;
  width: var(--page);
  min-height: 62px;
  margin: 0 auto;
  border-top: 1px solid var(--line);
  color: #8e9289;
  font: 600 10px var(--mono);
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.hero-foot p {
  margin: 0;
}

.hero-foot span {
  color: var(--acid);
}

.trust-strip {
  width: var(--page);
  margin: 0 auto;
  border-right: 1px solid var(--line);
  border-left: 1px solid var(--line);
}

.trust-strip ul {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  margin: 0;
  padding: 0;
  list-style: none;
}

.trust-strip li {
  display: flex;
  gap: 10px;
  align-items: center;
  min-height: 84px;
  padding: 24px 28px;
  border-right: 1px solid var(--line);
  color: #aeb1a8;
  font: 600 10px / 1.45 var(--mono);
  letter-spacing: 0.045em;
  text-transform: uppercase;
}

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

.trust-strip li span {
  color: var(--acid);
}

.manifesto,
.sequence,
.boundary,
.contract,
.proof,
.safety,
.docs,
.install {
  width: var(--page);
  margin: 0 auto;
}

.manifesto {
  padding: clamp(96px, 10vw, 150px) 8%;
  text-align: center;
}

.manifesto h2,
.sequence h2,
.contract h2,
.proof h2,
.safety h2,
.docs h2,
.install h2 {
  margin: 0;
  font-size: clamp(32px, 3.8vw, 48px);
  font-weight: 540;
  letter-spacing: -0.045em;
  line-height: 1.08;
}

.manifesto h2 span {
  color: var(--acid);
}

.manifesto > p:last-child {
  max-width: 680px;
  margin: 36px auto 0;
  color: #aeb1a9;
  font-size: clamp(16px, 1.4vw, 18px);
  line-height: 1.65;
}

.sequence {
  padding: 108px 0;
  border-top: 1px solid var(--line);
}

.sequence-heading {
  display: grid;
  grid-template-columns: 0.6fr 1.4fr;
  gap: 40px;
  margin-bottom: 64px;
}

.sequence-heading .section-label {
  margin-top: 12px;
}

.sequence h2 {
  font-size: clamp(32px, 3.6vw, 46px);
}

.sequence-list {
  margin: 0;
  padding: 0;
  list-style: none;
  border-top: 1px solid var(--line-strong);
}

.sequence-list li {
  display: grid;
  grid-template-columns: 80px minmax(260px, 0.8fr) minmax(320px, 1.2fr);
  gap: 30px;
  align-items: center;
  min-height: 136px;
  border-bottom: 1px solid var(--line);
}

.sequence-number {
  color: var(--acid);
  font: 600 12px var(--mono);
}

.sequence-list h3 {
  margin: 0 0 8px;
  font: 650 26px var(--mono);
  letter-spacing: -0.04em;
}

.sequence-list p {
  margin: 0;
  color: var(--muted);
  line-height: 1.5;
}

.sequence-list code {
  justify-self: end;
  max-width: 100%;
  padding: 15px 17px;
  overflow-x: auto;
  border: 1px solid var(--line);
  background: var(--panel);
  color: #cdd0c6;
  font: 500 12px var(--mono);
  white-space: nowrap;
}

.boundary {
  padding: 112px 0 0;
  border-top: 1px solid var(--line);
}

.boundary-intro {
  display: grid;
  grid-template-columns: 0.5fr 1.1fr 0.8fr;
  gap: 46px;
  align-items: start;
}

.boundary-intro .section-label {
  margin-top: 11px;
}

.boundary h2 {
  margin: 0;
  font-size: clamp(32px, 3.4vw, 44px);
  font-weight: 540;
  letter-spacing: -0.045em;
  line-height: 1.08;
}

.boundary h2 span {
  color: var(--acid);
}

.boundary-intro > p:last-child {
  margin: 8px 0 0;
  color: var(--muted-light);
  line-height: 1.65;
}

.boundary-table {
  width: 100%;
  margin-top: 64px;
  border-top: 1px solid var(--line-strong);
  border-collapse: collapse;
}

.boundary-table caption {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}

.boundary-row {
  display: grid;
  grid-template-columns: 0.7fr 1fr 1fr;
  min-height: 82px;
  border-bottom: 1px solid var(--line);
}

.boundary-row > * {
  display: flex;
  align-items: center;
  margin: 0;
  padding: 20px 28px;
  border-right: 1px solid var(--line);
  color: #a3a79e;
  font-size: 14px;
  font-weight: 450;
  line-height: 1.45;
}

.boundary-row > *:last-child {
  border-right: 0;
  color: #d9dbd3;
}

.boundary-row th {
  color: var(--ink);
  font: 650 11px var(--mono);
  letter-spacing: 0.04em;
  text-transform: uppercase;
  text-align: left;
}

.boundary-head {
  min-height: 48px;
}

.boundary-head th {
  color: #777c73;
  font: 650 9px var(--mono);
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.boundary-head th:last-child {
  color: var(--acid);
}

.use-rail {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  margin-top: 72px;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.use-rail article {
  min-height: 220px;
  padding: 38px 34px;
  border-right: 1px solid var(--line);
}

.use-rail article:last-child {
  border-right: 0;
}

.use-rail span {
  display: block;
  margin-bottom: 52px;
  color: var(--acid);
  font: 600 11px var(--mono);
}

.use-rail h3 {
  margin: 0 0 16px;
  font-size: 21px;
  font-weight: 580;
  letter-spacing: -0.035em;
}

.use-rail p {
  max-width: 320px;
  margin: 0;
  color: var(--muted);
  line-height: 1.55;
}

.contract {
  display: grid;
  grid-template-columns: 0.8fr 1.2fr;
  gap: clamp(50px, 8vw, 130px);
  align-items: center;
  margin-top: 112px;
  padding: 108px 7%;
  border: 1px solid var(--line);
  background:
    radial-gradient(circle at 75% 40%, rgb(202 255 61 / 5%), transparent 32%),
    var(--panel);
}

.contract h2 {
  margin-bottom: 30px;
  font-size: clamp(30px, 3.3vw, 42px);
}

.contract-heading > p:not(.section-label) {
  max-width: 510px;
  margin: 0 0 30px;
  color: var(--muted-light);
  line-height: 1.65;
}

.text-link {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  color: var(--ink);
  font: 700 12px var(--mono);
}

.text-link span {
  color: var(--acid);
}

.code-panel {
  position: relative;
  overflow: hidden;
  border: 1px solid var(--line-strong);
  background: #0a0c0a;
}

.code-panel pre {
  margin: 0;
  padding: 56px 42px;
  overflow-x: auto;
  color: #d1d4ca;
  font: 500 clamp(12px, 1.2vw, 15px) / 1.9 var(--mono);
}

.copy-button {
  position: absolute;
  top: 14px;
  right: 14px;
  z-index: 2;
  min-width: 62px;
  padding: 8px 10px;
  border: 1px solid var(--line-strong);
  background: var(--panel-raised);
  color: #c2c5bc;
  cursor: pointer;
  font: 650 10px var(--mono);
  text-transform: uppercase;
}

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

.proof {
  padding: 120px 0;
}

.proof-intro {
  display: grid;
  grid-template-columns: 0.55fr 1.1fr 0.8fr;
  gap: 46px;
  align-items: start;
}

.proof-intro h2 {
  font-size: clamp(32px, 3.4vw, 44px);
}

.proof-intro > p:last-child {
  margin: 8px 0 0;
  color: var(--muted-light);
  line-height: 1.65;
}

.metrics {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  margin: 72px 0 30px;
  border-top: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line-strong);
}

.metrics > div {
  padding: 40px 32px 38px;
  border-right: 1px solid var(--line);
}

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

.metrics dt {
  margin-bottom: 18px;
  color: var(--acid);
  font: 570 clamp(36px, 4.5vw, 56px) / 0.95 var(--mono);
  letter-spacing: -0.065em;
}

.metrics dt small {
  font-size: 0.3em;
  letter-spacing: -0.03em;
}

.metrics dd {
  max-width: 270px;
  margin: 0;
  color: #a8aca2;
  font-size: 14px;
  line-height: 1.55;
}

.proof-note {
  max-width: 810px;
  margin: 0 0 25px;
  color: #7f837b;
  font-size: 13px;
  line-height: 1.6;
}

.safety {
  display: grid;
  grid-template-columns: 1fr 1fr;
  min-height: 560px;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.safety-visual {
  position: relative;
  overflow: hidden;
  border-right: 1px solid var(--line);
  background:
    linear-gradient(rgb(255 255 255 / 2%) 1px, transparent 1px),
    linear-gradient(90deg, rgb(255 255 255 / 2%) 1px, transparent 1px),
    var(--panel);
  background-size: 48px 48px;
}

.safety-visual::before,
.safety-visual::after {
  position: absolute;
  height: 1px;
  background: linear-gradient(90deg, transparent, var(--acid), transparent);
  content: "";
}

.safety-visual::before {
  top: 44%;
  right: 20%;
  left: 13%;
  transform: rotate(26deg);
}

.safety-visual::after {
  top: 61%;
  right: 11%;
  left: 29%;
  transform: rotate(-19deg);
}

.file,
.lock {
  position: absolute;
  z-index: 2;
  padding: 12px 14px;
  border: 1px solid var(--line-strong);
  background: #0d0f0d;
  color: #afb2aa;
  font: 600 10px var(--mono);
}

.file-a {
  top: 25%;
  left: 13%;
}

.file-b {
  right: 13%;
  bottom: 22%;
}

.file-c {
  right: 12%;
  top: 24%;
}

.lock {
  top: 50%;
  left: 50%;
  display: grid;
  width: 112px;
  height: 112px;
  place-items: center;
  padding: 0;
  transform: translate(-50%, -50%);
  border-color: var(--acid);
  color: var(--acid);
  font-size: 18px;
  box-shadow: 0 0 60px rgb(202 255 61 / 8%);
}

.safety-copy {
  display: flex;
  flex-direction: column;
  justify-content: center;
  padding: 72px clamp(40px, 6vw, 88px);
}

.safety h2 {
  max-width: 640px;
  margin-bottom: 33px;
  font-size: clamp(32px, 3.4vw, 44px);
}

.safety-copy > p:not(.section-label) {
  margin: 0;
  color: var(--muted-light);
  line-height: 1.7;
}

.safety ul {
  display: grid;
  gap: 12px;
  margin: 30px 0;
  padding: 0;
  color: #9da198;
  font: 500 12px / 1.5 var(--mono);
  list-style: none;
}

.safety li::before {
  margin-right: 12px;
  color: var(--acid);
  content: "—";
}

.docs {
  padding: 120px 0;
}

.docs-heading {
  display: grid;
  grid-template-columns: 0.55fr 1.45fr;
  gap: 40px;
  margin-bottom: 64px;
}

.docs-heading h2 {
  font-size: clamp(32px, 3.6vw, 46px);
}

.docs-index {
  border-top: 1px solid var(--line-strong);
}

.docs-index a {
  display: grid;
  grid-template-columns: 70px 0.8fr 1.2fr 30px;
  gap: 25px;
  align-items: center;
  min-height: 88px;
  border-bottom: 1px solid var(--line);
  transition:
    background-color 150ms ease,
    padding 150ms ease;
}

.docs-index a:hover {
  padding: 0 15px;
  background: var(--panel);
}

.docs-index span {
  color: var(--acid);
  font: 600 11px var(--mono);
}

.docs-index strong {
  font-size: 16px;
}

.docs-index small {
  color: var(--muted);
  font-size: 14px;
}

.docs-index i {
  color: var(--acid);
  font-style: normal;
  text-align: right;
}

.install {
  padding: 108px 5%;
  border: 1px solid var(--line);
  background:
    linear-gradient(115deg, rgb(202 255 61 / 7%), transparent 45%), var(--panel);
  text-align: center;
}

.install h2 {
  margin-bottom: 42px;
}

.install-command {
  position: relative;
  display: flex;
  align-items: center;
  justify-content: space-between;
  max-width: 800px;
  min-height: 88px;
  margin: 0 auto;
  padding: 0 22px 0 30px;
  border: 1px solid var(--line-strong);
  background: #090b09;
  text-align: left;
}

.install-command code {
  overflow-x: auto;
  color: #d8dad3;
  font: 600 clamp(12px, 1.4vw, 16px) var(--mono);
  white-space: nowrap;
}

.install-command code span {
  margin-right: 14px;
  color: var(--acid);
}

.copy-button-large {
  position: static;
  flex: 0 0 auto;
  margin-left: 20px;
}

.install > p:last-of-type {
  margin: 26px 0 0;
  color: #898d84;
  font: 600 10px var(--mono);
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.install-next {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  gap: 12px 28px;
  margin-top: 30px;
}

.install-next a {
  color: var(--acid-soft);
  font: 650 11px var(--mono);
}

.install-next a:hover {
  color: var(--ink);
}

footer {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  width: var(--page);
  min-height: 150px;
  margin: 0 auto;
  color: var(--muted);
  font: 600 11px var(--mono);
}

footer p {
  margin: 0;
}

footer > div {
  display: flex;
  justify-content: flex-end;
  gap: 25px;
}

.reveal {
  opacity: 0;
  transform: translateY(24px);
  transition:
    opacity 700ms ease,
    transform 700ms ease;
}

.reveal.is-visible {
  opacity: 1;
  transform: translateY(0);
}

/* Documentation pages */

.docs-body {
  background:
    linear-gradient(rgb(255 255 255 / 1.8%) 1px, transparent 1px),
    linear-gradient(90deg, rgb(255 255 255 / 1.8%) 1px, transparent 1px),
    var(--ground);
  background-size: 64px 64px;
}

.docs-shell {
  display: grid;
  grid-template-columns: 250px minmax(0, 760px);
  gap: clamp(48px, 8vw, 130px);
  justify-content: center;
  width: var(--page);
  margin: 0 auto;
  padding: 72px 0 120px;
}

.docs-shell-reference {
  grid-template-columns: 210px minmax(0, 740px) 190px;
  gap: clamp(28px, 3vw, 48px);
}

.docs-sidebar {
  position: sticky;
  top: calc(var(--header-height) + 40px);
  align-self: start;
  max-height: calc(100svh - var(--header-height) - 72px);
  overflow-y: auto;
  scrollbar-color: var(--line-strong) transparent;
}

.docs-sidebar-title,
.docs-nav-group > p,
.docs-page-sidebar > p {
  margin: 0 0 18px;
  color: #777c73;
  font: 650 10px var(--mono);
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.docs-sidebar-title {
  margin-bottom: 14px;
  color: #aeb1a8;
}

.docs-global-nav {
  display: grid;
  gap: 18px;
}

.docs-nav-group > p {
  margin-bottom: 7px;
}

.docs-nav-group > div {
  display: grid;
  border-top: 1px solid var(--line);
}

.docs-sidebar a {
  padding: 10px 0;
  border-bottom: 1px solid var(--line);
  color: #aeb1a8;
  font: 600 11px var(--mono);
}

.docs-sidebar a:hover,
.docs-sidebar a[aria-current="location"],
.docs-sidebar a[aria-current="page"] {
  color: var(--acid);
}

.docs-page-sidebar {
  position: sticky;
  top: calc(var(--header-height) + 40px);
  align-self: start;
  max-height: calc(100svh - var(--header-height) - 72px);
  padding-left: 18px;
  overflow-y: auto;
  border-left: 1px solid var(--line);
  scrollbar-color: var(--line-strong) transparent;
}

.docs-page-sidebar > p {
  margin-bottom: 12px;
}

.docs-section-nav {
  display: grid;
  gap: 2px;
}

.docs-section-nav a {
  padding: 6px 0;
  color: #858a81;
  font: 600 10px / 1.45 var(--mono);
}

.docs-section-nav a:hover,
.docs-section-nav a[aria-current="location"] {
  color: var(--acid);
}

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

.docs-content .eyebrow {
  margin-bottom: 30px;
}

.docs-page-meta {
  display: flex;
  gap: 24px;
  align-items: center;
  justify-content: space-between;
  margin-bottom: 30px;
}

.docs-page-meta .eyebrow {
  margin: 0;
}

.docs-markdown-link {
  flex: 0 0 auto;
  color: #858a81;
  font: 600 10px var(--mono);
  letter-spacing: 0.045em;
  transition: color 160ms ease;
}

.docs-markdown-link:hover {
  color: var(--acid);
}

.docs-markdown-link span {
  display: inline-block;
  margin-left: 3px;
  transition: transform 160ms ease;
}

.docs-markdown-link:hover span {
  transform: translate(1px, -1px);
}

.docs-content h1 {
  max-width: 680px;
  font-size: clamp(40px, 5vw, 64px);
  letter-spacing: -0.065em;
  line-height: 0.95;
}

.docs-deck {
  max-width: 680px;
  margin: 28px 0 56px;
  color: var(--muted-light);
  font-size: 17px;
  line-height: 1.7;
}

.docs-content section {
  scroll-margin-top: calc(var(--header-height) + 24px);
  padding: 48px 0;
  border-top: 1px solid var(--line);
}

.docs-content h2 {
  margin: 0 0 24px;
  font-size: clamp(27px, 3vw, 36px);
  font-weight: 570;
  letter-spacing: -0.04em;
  line-height: 1.15;
}

.docs-content h3 {
  margin: 38px 0 15px;
  font: 650 17px var(--mono);
}

.docs-content p,
.docs-content li {
  color: #b0b3aa;
  line-height: 1.7;
}

.docs-content li + li {
  margin-top: 8px;
}

.docs-content pre {
  position: relative;
  margin: 26px 0;
  padding: 24px;
  overflow-x: auto;
  border: 1px solid var(--line);
  background: #0d0f0d;
  color: #d5d7cf;
  font: 500 13px / 1.7 var(--mono);
}

.docs-content code {
  color: var(--acid-soft);
  font-family: var(--mono);
}

.docs-content pre code {
  color: inherit;
}

.docs-markdown > h2 {
  margin: 52px 0 24px;
  padding-top: 52px;
  border-top: 1px solid var(--line);
  scroll-margin-top: calc(var(--header-height) + 24px);
}

.docs-markdown > h2:first-of-type {
  margin-top: 0;
}

.docs-markdown h3 {
  scroll-margin-top: calc(var(--header-height) + 24px);
}

.docs-markdown h4 {
  margin: 30px 0 12px;
  color: var(--ink);
  font: 650 13px var(--mono);
}

.docs-markdown ul,
.docs-markdown ol {
  padding-left: 24px;
}

.docs-markdown a {
  color: var(--acid-soft);
  text-decoration: underline;
  text-decoration-color: rgb(202 255 61 / 35%);
  text-underline-offset: 3px;
}

.docs-markdown a:hover {
  text-decoration-color: currentcolor;
}

.docs-markdown blockquote {
  margin: 28px 0;
  padding: 2px 0 2px 20px;
  border-left: 2px solid var(--acid);
}

.docs-markdown blockquote p {
  margin: 0;
}

.docs-markdown hr {
  margin: 48px 0;
  border: 0;
  border-top: 1px solid var(--line);
}

.docs-pagination {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin-top: 64px;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.docs-pagination-link {
  display: grid;
  gap: 8px;
  min-width: 0;
  padding: 22px 0;
  transition:
    color 160ms ease,
    padding 160ms ease;
}

.docs-pagination-link > span {
  color: #777c73;
  font: 650 9px var(--mono);
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.docs-pagination-link strong {
  overflow: hidden;
  color: #bfc2b9;
  font: 650 12px var(--mono);
  text-overflow: ellipsis;
  white-space: nowrap;
}

.docs-pagination-link:hover strong {
  color: var(--acid);
}

.docs-pagination-previous {
  padding-right: 24px;
  border-right: 1px solid var(--line);
}

.docs-pagination-next {
  padding-left: 24px;
  text-align: right;
}

.docs-pagination-previous:hover {
  padding-left: 4px;
}

.docs-pagination-next:hover {
  padding-right: 4px;
}

.docs-content table {
  width: 100%;
  margin: 25px 0;
  border-collapse: collapse;
  color: #b1b4ac;
  font-size: 14px;
}

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

.docs-content th {
  color: var(--ink);
  font: 650 11px var(--mono);
  text-transform: uppercase;
}

.docs-content .align-center {
  text-align: center;
}

.docs-content .align-right {
  text-align: right;
}

.callout {
  margin: 30px 0;
  padding: 20px 22px;
  border-left: 2px solid var(--acid);
  background: var(--panel);
  color: #c5c8bf;
  font-size: 14px;
  line-height: 1.6;
}

.doc-links {
  display: grid;
  border-top: 1px solid var(--line);
}

.doc-groups {
  display: grid;
  gap: 42px;
}

.doc-group h3 {
  margin: 0 0 12px;
  color: #777c73;
  font-size: 10px;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.doc-links a {
  display: grid;
  grid-template-columns: minmax(170px, 0.75fr) 1fr;
  gap: 24px;
  align-items: baseline;
  padding: 20px 0;
  border-bottom: 1px solid var(--line);
  transition: transform 160ms ease;
}

.doc-links a:hover {
  transform: translateX(8px);
}

.doc-links strong {
  color: var(--ink);
  transition: color 160ms ease;
}

.doc-links a:hover strong {
  color: var(--acid);
}

.doc-links small {
  color: var(--muted);
  line-height: 1.5;
}

.machine-docs {
  display: grid;
  grid-template-columns: minmax(170px, 0.75fr) 1fr;
  gap: 24px;
  margin-top: 36px;
  padding: 22px 0;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.machine-docs strong {
  color: var(--ink);
  font: 650 12px var(--mono);
}

.machine-docs p {
  margin: 0;
  font-size: 13px;
}

.machine-docs-links {
  display: flex;
  flex-wrap: wrap;
  gap: 8px 18px;
  margin-top: 10px;
}

.machine-docs-links a {
  color: var(--acid-soft);
  font: 600 11px var(--mono);
}

@keyframes travel {
  from {
    left: 0;
  }

  to {
    left: 100%;
  }
}

@keyframes star-in {
  from {
    opacity: 0.25;
    transform: translateY(2px);
  }

  to {
    opacity: 1;
    transform: translateY(0);
  }
}

@media (max-width: 1180px) {
  .docs-shell-reference {
    grid-template-columns: 250px minmax(0, 760px);
    gap: clamp(48px, 8vw, 130px);
  }

  .docs-page-sidebar {
    display: none;
  }
}

@media (max-width: 980px) {
  :root {
    --page: min(100% - 40px, 900px);
  }

  .nav-links {
    display: none;
  }

  .nav-tagline {
    margin-right: auto;
  }

  .hero {
    min-height: auto;
  }

  .hero-inner {
    grid-template-columns: 1fr;
    gap: 70px;
    min-height: auto;
    padding: 90px 0 130px;
  }

  .hero-copy {
    padding-right: 0;
  }

  h1 {
    font-size: clamp(92px, 21vw, 160px);
  }

  .hero-rail {
    left: 5%;
  }

  .terminal {
    transform: none;
  }

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

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

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

  .sequence-heading,
  .boundary-intro,
  .proof-intro,
  .docs-heading {
    grid-template-columns: 1fr;
  }

  .sequence-list li {
    grid-template-columns: 55px 1fr;
    padding: 30px 0;
  }

  .sequence-list code {
    grid-column: 2;
    justify-self: start;
  }

  .boundary-intro > p:last-child {
    max-width: 600px;
  }

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

  .contract {
    grid-template-columns: 1fr;
    padding: 100px 7%;
  }

  .proof-intro > p:last-child {
    max-width: 600px;
  }

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

  .safety-visual {
    min-height: 480px;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

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

  .docs-sidebar {
    position: static;
    max-height: none;
    overflow: visible;
  }

  .docs-global-nav {
    grid-template-columns: repeat(4, minmax(0, 1fr));
    gap: 24px;
  }

  .docs-sidebar a {
    padding-right: 12px;
  }
}

@media (max-width: 680px) {
  :root {
    --page: calc(100% - 28px);
    --header-height: 68px;
  }

  .nav-tagline,
  .github-label {
    display: none;
  }

  .nav-actions {
    gap: 8px;
  }

  .github-repo {
    gap: 7px;
    min-height: 36px;
    padding: 0 9px;
  }

  .github-stars {
    padding-left: 7px;
  }

  .nav-install {
    min-width: 68px;
    min-height: 36px;
    padding: 0 12px;
  }

  .hero-inner {
    gap: 50px;
    padding: 70px 0 112px;
  }

  h1 {
    font-size: clamp(70px, 25vw, 112px);
  }

  .hero-promise {
    margin-top: 28px;
  }

  .quick-install {
    width: 100%;
    min-width: 0;
  }

  .install-tabs {
    min-width: 0;
    overflow-x: auto;
    overscroll-behavior-x: contain;
  }

  .install-tabs button {
    flex: 0 0 auto;
    margin-right: 18px;
  }

  .terminal pre {
    min-height: 320px;
    padding: 26px 20px;
    font-size: 11px;
  }

  .terminal-bar {
    padding: 0 12px;
  }

  .terminal-tabs {
    gap: 14px;
  }

  .terminal-tabs button {
    font-size: 9px;
  }

  .terminal-status {
    font-size: 8px;
  }

  .hero-foot p {
    max-width: 80%;
  }

  .trust-strip li {
    min-height: 78px;
    padding: 20px 18px;
    font-size: 9px;
  }

  .manifesto {
    padding-right: 0;
    padding-left: 0;
  }

  .manifesto h2,
  .sequence h2,
  .contract h2,
  .proof h2,
  .safety h2,
  .docs h2,
  .install h2 {
    font-size: 34px;
  }

  .sequence,
  .boundary,
  .proof,
  .docs {
    padding: 82px 0;
  }

  .boundary {
    padding-bottom: 0;
  }

  .sequence-heading,
  .docs-heading {
    margin-bottom: 55px;
  }

  .sequence-list li {
    grid-template-columns: 38px minmax(0, 1fr);
    gap: 15px;
  }

  .sequence-list code {
    max-width: 100%;
    font-size: 10px;
  }

  .contract {
    width: 100%;
    margin-top: 82px;
    padding: 72px 22px;
    border-right: 0;
    border-left: 0;
  }

  .code-panel pre {
    padding: 55px 20px 30px;
    font-size: 11px;
  }

  .boundary-table {
    margin-top: 60px;
  }

  .boundary-row,
  .boundary-head {
    grid-template-columns: 1fr 1fr;
  }

  .boundary-row > th:first-child,
  .boundary-head th:first-child {
    grid-column: 1 / -1;
    min-height: 42px;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .boundary-row > * {
    min-width: 0;
    min-height: 72px;
    padding: 16px;
    font-size: 12px;
  }

  .boundary-row th {
    font-size: 9px;
  }

  .use-rail {
    grid-template-columns: 1fr;
    margin-top: 70px;
  }

  .use-rail article {
    min-height: auto;
    padding: 30px 20px;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .use-rail article:last-child {
    border-bottom: 0;
  }

  .use-rail span {
    margin-bottom: 28px;
  }

  .metrics {
    grid-template-columns: 1fr;
    margin-top: 65px;
  }

  .metrics > div {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .metrics > div:last-child {
    border-bottom: 0;
  }

  .safety {
    width: 100%;
  }

  .safety-visual {
    min-height: 390px;
  }

  .safety-copy {
    padding: 64px 22px;
  }

  .file {
    font-size: 9px;
  }

  .lock {
    width: 88px;
    height: 88px;
  }

  .docs-index a {
    grid-template-columns: 45px 1fr 24px;
    gap: 12px;
    min-height: 88px;
  }

  .docs-index small {
    display: none;
  }

  .install {
    width: 100%;
    padding: 80px 15px;
    border-right: 0;
    border-left: 0;
  }

  .install-command {
    min-height: 78px;
    padding-left: 16px;
  }

  .install-command code {
    font-size: 10px;
  }

  footer {
    grid-template-columns: 1fr;
    gap: 25px;
    padding: 55px 0;
  }

  footer > div {
    justify-content: flex-start;
  }

  .docs-shell {
    padding-bottom: 100px;
  }

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

  .docs-deck {
    margin-bottom: 60px;
    font-size: 18px;
  }

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

  .doc-links a,
  .machine-docs {
    grid-template-columns: 1fr;
    gap: 8px;
  }

  .docs-page-meta {
    align-items: flex-start;
  }

  .docs-pagination-link {
    padding-top: 19px;
    padding-bottom: 19px;
  }

  .docs-pagination-previous {
    padding-right: 14px;
  }

  .docs-pagination-next {
    padding-left: 14px;
  }
}

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

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

  .reveal,
  .terminal [data-stage] {
    opacity: 1;
    transform: none;
  }
}