:root {
  color-scheme: dark;
  --ink: #effbf5;
  --ink-soft: #b8c9c0;
  --ink-faint: #7f9389;
  --page: #07110f;
  --page-deep: #040a09;
  --surface: #0c1815;
  --surface-2: #10201b;
  --surface-3: #142821;
  --line: rgba(184, 230, 204, 0.14);
  --line-strong: rgba(184, 230, 204, 0.27);
  --mint: #79f2b4;
  --mint-strong: #3fe79b;
  --mint-dark: #0d3a2a;
  --lime: #d7f77d;
  --amber: #f4c979;
  --blue: #7bdce7;
  --danger-soft: #f3b7a2;
  --shell: 1180px;
  --radius-lg: 28px;
  --radius-md: 18px;
  --radius-sm: 11px;
  --shadow: 0 28px 80px rgba(0, 0, 0, 0.34);
  --font-sans: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --font-mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
}

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

html {
  scroll-behavior: smooth;
  scroll-padding-top: 96px;
}

body {
  min-width: 320px;
  margin: 0;
  overflow-x: hidden;
  background:
    radial-gradient(circle at 84% 7%, rgba(41, 139, 99, 0.16), transparent 26rem),
    radial-gradient(circle at 12% 31%, rgba(123, 220, 231, 0.055), transparent 32rem),
    var(--page);
  color: var(--ink);
  font-family: var(--font-sans);
  font-size: 16px;
  line-height: 1.6;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
}

a {
  color: inherit;
  text-decoration-thickness: 1px;
  text-underline-offset: 0.22em;
}

a:hover {
  color: var(--mint);
}

a:focus-visible,
button:focus-visible {
  outline: 3px solid var(--lime);
  outline-offset: 4px;
}

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

code {
  font-size: 0.9em;
}

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

.skip-link {
  position: fixed;
  z-index: 1000;
  top: 14px;
  left: 14px;
  padding: 10px 16px;
  transform: translateY(-180%);
  border-radius: 8px;
  background: var(--lime);
  color: #07110f;
  font-weight: 800;
  text-decoration: none;
}

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

.site-header {
  position: sticky;
  z-index: 100;
  top: 0;
  border-bottom: 1px solid rgba(184, 230, 204, 0.09);
  background: rgba(7, 17, 15, 0.84);
  backdrop-filter: blur(20px);
}

.nav-shell {
  display: flex;
  min-height: 74px;
  align-items: center;
  justify-content: space-between;
  gap: 28px;
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: 11px;
  color: var(--ink);
  font-size: 1.03rem;
  font-weight: 780;
  letter-spacing: -0.02em;
  text-decoration: none;
}

.brand:hover {
  color: var(--ink);
}

.brand-mark {
  position: relative;
  display: inline-grid;
  width: 29px;
  height: 29px;
  place-items: center;
  overflow: hidden;
  border: 1px solid rgba(121, 242, 180, 0.48);
  border-radius: 9px 9px 9px 3px;
  background: linear-gradient(145deg, rgba(121, 242, 180, 0.16), rgba(121, 242, 180, 0.02));
  box-shadow: inset 0 0 18px rgba(121, 242, 180, 0.1);
}

.brand-mark::before,
.brand-mark::after,
.brand-mark span {
  position: absolute;
  display: block;
  width: 5px;
  border-radius: 9px;
  background: var(--mint);
  content: "";
}

.brand-mark::before {
  height: 9px;
  transform: translate(-7px, 4px);
  opacity: 0.7;
}

.brand-mark span {
  height: 16px;
}

.brand-mark::after {
  height: 22px;
  transform: translate(7px, -2px);
  opacity: 0.7;
}

.primary-nav {
  display: flex;
  align-items: center;
  gap: clamp(15px, 2.4vw, 30px);
  color: var(--ink-soft);
  font-size: 0.87rem;
  font-weight: 640;
}

.primary-nav a {
  text-decoration: none;
}

.primary-nav a:not(.nav-github):hover {
  color: var(--ink);
}

.primary-nav .nav-github {
  padding: 8px 13px;
  border: 1px solid var(--line-strong);
  border-radius: 9px;
  color: var(--ink);
}

.primary-nav .nav-github:hover {
  border-color: rgba(121, 242, 180, 0.5);
  background: rgba(121, 242, 180, 0.08);
  color: var(--mint);
}

.hero {
  position: relative;
  padding: clamp(76px, 10vw, 128px) 0 0;
}

.hero::before {
  position: absolute;
  inset: 0 0 auto;
  height: 730px;
  background-image:
    linear-gradient(rgba(121, 242, 180, 0.035) 1px, transparent 1px),
    linear-gradient(90deg, rgba(121, 242, 180, 0.035) 1px, transparent 1px);
  background-size: 58px 58px;
  mask-image: linear-gradient(to bottom, rgba(0, 0, 0, 0.82), transparent 90%);
  pointer-events: none;
  content: "";
}

.hero-grid {
  position: relative;
  display: grid;
  grid-template-columns: minmax(0, 1.05fr) minmax(420px, 0.86fr);
  align-items: center;
  gap: clamp(48px, 7vw, 92px);
}

.eyebrow,
.section-kicker {
  margin: 0 0 19px;
  color: var(--mint);
  font-family: var(--font-mono);
  font-size: 0.73rem;
  font-weight: 720;
  letter-spacing: 0.115em;
  line-height: 1.4;
  text-transform: uppercase;
}

.eyebrow {
  display: flex;
  align-items: center;
  gap: 9px;
}

.status-dot {
  width: 7px;
  height: 7px;
  border-radius: 50%;
  background: var(--mint);
  box-shadow: 0 0 0 5px rgba(121, 242, 180, 0.09), 0 0 18px rgba(121, 242, 180, 0.55);
}

.hero h1 {
  max-width: 720px;
  margin: 0;
  color: #f3fff9;
  font-size: clamp(3.45rem, 7.1vw, 6.4rem);
  font-weight: 720;
  letter-spacing: -0.069em;
  line-height: 0.96;
}

.hero h1 em {
  color: var(--mint);
  font-family: Georgia, "Times New Roman", serif;
  font-weight: 500;
  letter-spacing: -0.055em;
}

.hero-lede {
  max-width: 660px;
  margin: 30px 0 0;
  color: var(--ink-soft);
  font-size: clamp(1.05rem, 1.6vw, 1.2rem);
  line-height: 1.72;
}

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

.button {
  display: inline-flex;
  min-height: 48px;
  align-items: center;
  justify-content: center;
  gap: 10px;
  padding: 11px 18px;
  border: 1px solid transparent;
  border-radius: 10px;
  font-size: 0.91rem;
  font-weight: 740;
  line-height: 1.2;
  text-decoration: none;
  transition: transform 160ms ease, border-color 160ms ease, background 160ms ease;
}

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

.button-primary {
  background: var(--mint);
  color: #06110d;
  box-shadow: 0 12px 36px rgba(63, 231, 155, 0.14);
}

.button-primary:hover {
  background: #a3f7cc;
  color: #06110d;
}

.button-secondary {
  border-color: var(--line-strong);
  background: rgba(255, 255, 255, 0.025);
  color: var(--ink);
}

.button-secondary:hover {
  border-color: rgba(121, 242, 180, 0.5);
  background: rgba(121, 242, 180, 0.07);
  color: var(--mint);
}

.capability-list {
  display: flex;
  flex-wrap: wrap;
  gap: 8px 21px;
  margin: 30px 0 0;
  padding: 0;
  color: var(--ink-faint);
  font-family: var(--font-mono);
  font-size: 0.72rem;
  list-style: none;
}

.capability-list li {
  position: relative;
}

.capability-list li:not(:last-child)::after {
  position: absolute;
  top: 0;
  right: -13px;
  color: rgba(121, 242, 180, 0.4);
  content: "/";
}

.system-card {
  position: relative;
  margin: 0;
  padding: 22px;
  overflow: hidden;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius-lg);
  background: linear-gradient(145deg, rgba(19, 39, 32, 0.94), rgba(8, 19, 16, 0.98));
  box-shadow: var(--shadow);
}

.system-card::before {
  position: absolute;
  width: 230px;
  height: 230px;
  top: -110px;
  right: -90px;
  border-radius: 50%;
  background: rgba(121, 242, 180, 0.1);
  filter: blur(50px);
  content: "";
}

.system-card-topline {
  position: relative;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 15px;
  margin-bottom: 22px;
  color: var(--ink-faint);
  font-family: var(--font-mono);
  font-size: 0.67rem;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.system-card-topline::before {
  display: inline-block;
  width: 7px;
  height: 7px;
  flex: 0 0 auto;
  border-radius: 50%;
  background: var(--mint);
  box-shadow: 0 0 12px var(--mint);
  content: "";
}

.system-card-topline > :first-child {
  margin-right: auto;
  color: var(--ink-soft);
}

.system-state {
  text-align: right;
}

.source-row {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 7px;
}

.source-row span {
  padding: 8px 5px;
  border: 1px solid var(--line);
  border-radius: 7px;
  background: rgba(255, 255, 255, 0.018);
  color: var(--ink-faint);
  font-family: var(--font-mono);
  font-size: 0.62rem;
  text-align: center;
}

.flow-arrow {
  height: 27px;
  color: rgba(121, 242, 180, 0.5);
  font-family: var(--font-mono);
  font-size: 0.85rem;
  line-height: 27px;
  text-align: center;
}

.ledger-node,
.capsule-node {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 14px;
  padding: 16px;
  border: 1px solid rgba(121, 242, 180, 0.26);
  border-radius: 12px;
  background: rgba(121, 242, 180, 0.065);
}

.ledger-node > div,
.capsule-node > div {
  display: flex;
  align-items: center;
  gap: 12px;
}

.ledger-node strong,
.capsule-node strong,
.view-grid strong {
  display: block;
  font-size: 0.83rem;
  font-weight: 720;
}

.ledger-node small,
.view-grid small {
  display: block;
  margin-top: 2px;
  color: var(--ink-faint);
  font-family: var(--font-mono);
  font-size: 0.58rem;
}

.node-index {
  color: var(--mint);
  font-family: var(--font-mono);
  font-size: 0.67rem;
}

.node-check,
.budget-pill {
  padding: 4px 7px;
  border-radius: 5px;
  background: rgba(121, 242, 180, 0.1);
  color: var(--mint);
  font-family: var(--font-mono);
  font-size: 0.57rem;
  text-transform: uppercase;
}

.branch-line {
  display: grid;
  width: calc(66.66% + 8px);
  height: 21px;
  grid-template-columns: repeat(3, 1fr);
  margin: 0 auto;
  border-top: 1px solid rgba(121, 242, 180, 0.3);
}

.branch-line span {
  width: 1px;
  height: 100%;
  margin: auto;
  background: rgba(121, 242, 180, 0.3);
}

.view-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 7px;
}

.view-grid > div {
  padding: 12px 9px;
  border: 1px solid var(--line);
  border-radius: 9px;
  background: rgba(255, 255, 255, 0.022);
  text-align: center;
}

.capsule-node {
  border-color: rgba(215, 247, 125, 0.3);
  background: linear-gradient(90deg, rgba(215, 247, 125, 0.1), rgba(121, 242, 180, 0.05));
}

.budget-pill {
  background: rgba(215, 247, 125, 0.1);
  color: var(--lime);
}

.system-card figcaption {
  margin-top: 18px;
  padding-top: 16px;
  border-top: 1px solid var(--line);
  color: var(--ink-faint);
  font-size: 0.72rem;
  line-height: 1.55;
}

.hypothesis-wrap {
  position: relative;
  margin-top: clamp(80px, 10vw, 126px);
}

.hypothesis {
  display: grid;
  grid-template-columns: 0.34fr 1.5fr 0.8fr;
  align-items: start;
  gap: clamp(24px, 4vw, 58px);
  padding: clamp(29px, 4.8vw, 52px);
  border: 1px solid var(--line);
  border-radius: var(--radius-lg);
  background: rgba(12, 27, 22, 0.77);
}

.hypothesis .section-kicker {
  margin-top: 5px;
}

.hypothesis blockquote {
  margin: 0;
  color: #eafff2;
  font-family: Georgia, "Times New Roman", serif;
  font-size: clamp(1.35rem, 2.5vw, 2rem);
  font-weight: 400;
  letter-spacing: -0.025em;
  line-height: 1.38;
}

.hypothesis > p:last-child {
  margin: 4px 0 0;
  color: var(--ink-faint);
  font-size: 0.85rem;
  line-height: 1.65;
}

.section {
  padding: clamp(100px, 13vw, 164px) 0;
}

.section-heading {
  display: grid;
  grid-template-columns: minmax(0, 1.45fr) minmax(280px, 0.65fr);
  align-items: end;
  gap: clamp(40px, 8vw, 118px);
  margin-bottom: clamp(50px, 7vw, 80px);
}

.section-heading h2,
.docs-intro h2,
.closing-card h2 {
  max-width: 780px;
  margin: 0;
  color: #f0fcf5;
  font-size: clamp(2.55rem, 5vw, 4.35rem);
  font-weight: 690;
  letter-spacing: -0.058em;
  line-height: 1.04;
}

.section-heading > p,
.docs-intro > p,
.closing-card > div > p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 1rem;
  line-height: 1.75;
}

.architecture-section {
  position: relative;
}

.architecture-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 15px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.architecture-card {
  position: relative;
  min-height: 480px;
  padding: 29px;
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: var(--radius-md);
  background: linear-gradient(150deg, rgba(18, 36, 30, 0.96), rgba(10, 22, 18, 0.97));
}

.architecture-card::before {
  position: absolute;
  top: -65px;
  right: -65px;
  width: 160px;
  height: 160px;
  border-radius: 50%;
  background: var(--card-glow, rgba(121, 242, 180, 0.08));
  filter: blur(32px);
  content: "";
}

.ledger-card {
  --card-glow: rgba(121, 242, 180, 0.15);
}

.views-card {
  --card-glow: rgba(123, 220, 231, 0.13);
}

.compiler-card {
  --card-glow: rgba(215, 247, 125, 0.12);
}

.card-number {
  display: grid;
  width: 41px;
  height: 41px;
  place-items: center;
  margin-bottom: 46px;
  border: 1px solid var(--line-strong);
  border-radius: 10px;
  color: var(--mint);
  font-family: var(--font-mono);
  font-size: 0.68rem;
}

.card-label {
  margin: 0 0 8px;
  color: var(--ink-faint);
  font-family: var(--font-mono);
  font-size: 0.65rem;
  letter-spacing: 0.09em;
  text-transform: uppercase;
}

.architecture-card h3 {
  margin: 0 0 17px;
  font-size: 1.52rem;
  letter-spacing: -0.035em;
}

.architecture-card > p:not(.card-label) {
  margin: 0;
  color: var(--ink-soft);
  font-size: 0.9rem;
  line-height: 1.72;
}

.architecture-card ul {
  display: grid;
  gap: 9px;
  margin: 24px 0 58px;
  padding: 0;
  color: var(--ink-soft);
  font-size: 0.8rem;
  list-style: none;
}

.architecture-card li {
  position: relative;
  padding-left: 17px;
}

.architecture-card li::before {
  position: absolute;
  left: 0;
  color: var(--mint);
  content: "·";
}

.metaphor {
  position: absolute;
  right: 29px;
  bottom: 27px;
  left: 29px;
  padding-top: 15px;
  border-top: 1px solid var(--line);
  color: var(--ink-faint);
  font-family: var(--font-mono);
  font-size: 0.62rem;
}

.invariant-strip {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  margin-top: 16px;
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: var(--radius-md);
}

.invariant-strip > div {
  position: relative;
  min-height: 130px;
  padding: 25px;
  background: rgba(8, 20, 16, 0.7);
}

.invariant-strip > div:not(:last-child) {
  border-right: 1px solid var(--line);
}

.invariant-strip span {
  display: block;
  margin-bottom: 19px;
  color: var(--mint);
  font-size: 0.55rem;
}

.invariant-strip strong,
.invariant-strip small {
  display: block;
}

.invariant-strip strong {
  margin-bottom: 7px;
  font-size: 0.85rem;
}

.invariant-strip small {
  color: var(--ink-faint);
  font-size: 0.69rem;
  line-height: 1.45;
}

.text-link {
  display: inline-block;
  margin-top: 31px;
  color: var(--mint);
  font-size: 0.86rem;
  font-weight: 700;
}

.evidence-section {
  border-block: 1px solid rgba(184, 230, 204, 0.08);
  background:
    radial-gradient(circle at 48% 10%, rgba(121, 242, 180, 0.07), transparent 34rem),
    rgba(3, 10, 8, 0.48);
}

.benchmark-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 15px;
}

.benchmark-card {
  display: flex;
  min-height: 575px;
  flex-direction: column;
  padding: 27px;
  border: 1px solid var(--line);
  border-radius: var(--radius-md);
  background: rgba(12, 25, 21, 0.82);
}

.benchmark-card.featured-benchmark {
  border-color: rgba(121, 242, 180, 0.32);
  background: linear-gradient(160deg, rgba(20, 44, 35, 0.95), rgba(10, 24, 19, 0.9));
  box-shadow: 0 22px 60px rgba(0, 0, 0, 0.2);
}

.benchmark-card header {
  display: flex;
  min-height: 42px;
  align-items: start;
  justify-content: space-between;
  gap: 9px;
  color: var(--ink-faint);
  font-family: var(--font-mono);
  font-size: 0.58rem;
}

.benchmark-tag {
  padding: 5px 7px;
  border: 1px solid var(--line);
  border-radius: 5px;
  color: var(--mint);
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.benchmark-context {
  padding-top: 5px;
  text-align: right;
}

.benchmark-stat {
  margin: 33px 0 26px;
}

.benchmark-stat strong,
.benchmark-stat span {
  display: block;
}

.benchmark-stat strong {
  color: var(--mint);
  font-size: clamp(2.6rem, 4vw, 3.7rem);
  font-weight: 680;
  letter-spacing: -0.065em;
  line-height: 1;
}

.benchmark-stat span {
  margin-top: 9px;
  color: var(--ink-soft);
  font-size: 0.74rem;
}

.benchmark-card > p:not(.benchmark-stat, .benchmark-caveat) {
  margin: 0;
  color: var(--ink-soft);
  font-size: 0.86rem;
  line-height: 1.68;
}

.benchmark-card dl {
  display: grid;
  gap: 0;
  margin: 24px 0 0;
  padding: 0;
  border-block: 1px solid var(--line);
}

.benchmark-card dl div {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  padding: 10px 0;
}

.benchmark-card dl div:not(:last-child) {
  border-bottom: 1px solid rgba(184, 230, 204, 0.08);
}

.benchmark-card dt,
.benchmark-card dd {
  margin: 0;
  font-family: var(--font-mono);
  font-size: 0.63rem;
}

.benchmark-card dt {
  color: var(--ink-faint);
}

.benchmark-card dd {
  color: var(--ink);
}

.benchmark-caveat {
  margin: 20px 0 18px;
  padding-left: 12px;
  border-left: 2px solid rgba(244, 201, 121, 0.5);
  color: #b9ae96;
  font-size: 0.69rem;
  line-height: 1.55;
}

.benchmark-card > a {
  margin-top: auto;
  color: var(--mint);
  font-size: 0.76rem;
  font-weight: 680;
}

.limits-panel {
  display: grid;
  grid-template-columns: 0.78fr 1.2fr;
  gap: clamp(40px, 7vw, 90px);
  margin-top: 17px;
  padding: clamp(34px, 5vw, 58px);
  border: 1px solid rgba(244, 201, 121, 0.24);
  border-radius: var(--radius-md);
  background: linear-gradient(130deg, rgba(45, 35, 20, 0.32), rgba(14, 26, 21, 0.8));
}

.limits-panel h3 {
  max-width: 440px;
  margin: 0;
  font-size: clamp(1.8rem, 3.4vw, 2.75rem);
  letter-spacing: -0.045em;
  line-height: 1.1;
}

.limits-panel > div > p:last-child {
  max-width: 480px;
  margin: 20px 0 0;
  color: var(--ink-soft);
  font-size: 0.87rem;
}

.limits-panel ul {
  display: grid;
  gap: 0;
  margin: 0;
  padding: 0;
  list-style: none;
}

.limits-panel li {
  display: grid;
  grid-template-columns: 28px 1fr;
  gap: 12px;
  padding: 13px 0;
  border-bottom: 1px solid var(--line);
  color: var(--ink-soft);
  font-size: 0.8rem;
  line-height: 1.5;
}

.limits-panel li:first-child {
  padding-top: 0;
}

.limits-panel li span {
  color: var(--amber);
  font-family: var(--font-mono);
  font-size: 0.62rem;
}

.limits-panel > .button {
  grid-column: 2;
  width: fit-content;
  margin-top: -1px;
}

.code-grid {
  display: grid;
  grid-template-columns: 0.84fr 1.16fr;
  gap: 16px;
}

.code-panel {
  min-width: 0;
  margin: 0;
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: var(--radius-md);
  background: var(--page-deep);
  box-shadow: 0 24px 65px rgba(0, 0, 0, 0.2);
}

.code-panel header {
  display: flex;
  min-height: 50px;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
  padding: 0 20px;
  border-bottom: 1px solid var(--line);
  background: rgba(255, 255, 255, 0.025);
  color: var(--ink-faint);
  font-family: var(--font-mono);
  font-size: 0.63rem;
}

.terminal-dots {
  display: flex;
  gap: 5px;
}

.terminal-dots i {
  display: block;
  width: 7px;
  height: 7px;
  border-radius: 50%;
  background: rgba(184, 230, 204, 0.2);
}

.terminal-dots i:first-child {
  background: rgba(244, 201, 121, 0.65);
}

.code-panel pre {
  min-height: 365px;
  margin: 0;
  padding: 27px;
  overflow: auto;
  color: #dbece3;
  font-size: 0.74rem;
  line-height: 1.83;
  tab-size: 4;
}

.code-panel code {
  font-size: inherit;
}

.code-panel > p {
  margin: 0;
  padding: 16px 27px 20px;
  border-top: 1px solid var(--line);
  color: var(--ink-faint);
  font-size: 0.7rem;
}

.code-panel > p code,
.quickstart-note code,
.limits-panel code {
  color: var(--mint);
}

.code-muted {
  color: #637d70;
}

.code-keyword {
  color: var(--blue);
}

.code-string {
  color: var(--lime);
}

.code-number {
  color: var(--amber);
}

.code-fn {
  color: #e1b7f3;
}

.quickstart-note {
  display: flex;
  align-items: center;
  gap: 15px;
  margin-top: 16px;
  padding: 17px 20px;
  border: 1px solid var(--line);
  border-radius: 11px;
  background: rgba(255, 255, 255, 0.018);
}

.quickstart-note > span {
  display: grid;
  width: 23px;
  height: 23px;
  flex: 0 0 auto;
  place-items: center;
  border: 1px solid rgba(123, 220, 231, 0.35);
  border-radius: 50%;
  color: var(--blue);
  font-family: Georgia, serif;
  font-size: 0.76rem;
}

.quickstart-note p {
  margin: 0;
  color: var(--ink-faint);
  font-size: 0.75rem;
}

.docs-section {
  border-top: 1px solid rgba(184, 230, 204, 0.08);
  background: rgba(3, 9, 7, 0.28);
}

.docs-section .shell {
  display: grid;
  grid-template-columns: minmax(280px, 0.72fr) minmax(420px, 1.28fr);
  align-items: start;
  gap: clamp(55px, 10vw, 138px);
}

.docs-intro {
  position: sticky;
  top: 130px;
}

.docs-intro h2 {
  font-size: clamp(2.5rem, 4.3vw, 3.8rem);
}

.docs-intro > p {
  margin-top: 24px;
  font-size: 0.9rem;
}

.docs-intro .button {
  margin-top: 31px;
}

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

.docs-list > a {
  display: grid;
  grid-template-columns: 40px 1fr auto;
  align-items: center;
  gap: 18px;
  min-height: 126px;
  padding: 22px 5px;
  border-bottom: 1px solid var(--line);
  color: var(--ink);
  text-decoration: none;
  transition: padding 160ms ease, background 160ms ease;
}

.docs-list > a:hover {
  padding-inline: 14px;
  background: rgba(121, 242, 180, 0.04);
  color: var(--ink);
}

.doc-index {
  color: var(--mint);
  font-family: var(--font-mono);
  font-size: 0.67rem;
}

.docs-list strong,
.docs-list small {
  display: block;
}

.docs-list strong {
  margin-bottom: 6px;
  font-size: 1rem;
  letter-spacing: -0.018em;
}

.docs-list small {
  color: var(--ink-faint);
  font-size: 0.73rem;
  line-height: 1.5;
}

.docs-list > a > span:last-child {
  color: var(--ink-faint);
}

.closing-section {
  padding: 0 0 clamp(90px, 12vw, 150px);
}

.closing-card {
  position: relative;
  display: grid;
  grid-template-columns: 1.15fr 0.7fr;
  gap: clamp(50px, 9vw, 120px);
  padding: clamp(42px, 7vw, 78px);
  overflow: hidden;
  border: 1px solid rgba(121, 242, 180, 0.25);
  border-radius: var(--radius-lg);
  background:
    linear-gradient(132deg, rgba(23, 55, 42, 0.9), rgba(8, 23, 18, 0.96)),
    var(--surface);
  box-shadow: var(--shadow);
}

.closing-card::after {
  position: absolute;
  right: -100px;
  bottom: -155px;
  width: 390px;
  height: 390px;
  border: 1px solid rgba(121, 242, 180, 0.12);
  border-radius: 50%;
  box-shadow: 0 0 0 45px rgba(121, 242, 180, 0.025), 0 0 0 92px rgba(121, 242, 180, 0.015);
  content: "";
}

.closing-card > div {
  position: relative;
  z-index: 1;
}

.closing-card h2 {
  font-size: clamp(2.45rem, 4.6vw, 4.1rem);
}

.site-footer {
  padding: 50px 0;
  border-top: 1px solid var(--line);
  background: var(--page-deep);
}

.footer-grid {
  display: grid;
  grid-template-columns: 1.1fr 0.9fr 0.7fr;
  align-items: start;
  gap: 40px;
}

.footer-brand {
  margin-bottom: 15px;
}

.footer-grid > div > p,
.footer-note {
  max-width: 340px;
  margin: 0;
  color: var(--ink-faint);
  font-size: 0.72rem;
}

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

.footer-grid nav a {
  color: var(--ink-soft);
  font-size: 0.75rem;
}

.footer-note {
  justify-self: end;
  color: #809b8d;
  font-family: var(--font-mono);
  line-height: 1.7;
  text-align: right;
  text-transform: uppercase;
}

@media (max-width: 1000px) {
  .hero-grid {
    grid-template-columns: 1fr;
  }

  .hero-copy {
    max-width: 770px;
  }

  .system-card {
    width: min(100%, 620px);
  }

  .hypothesis {
    grid-template-columns: 0.35fr 1.25fr;
  }

  .hypothesis > p:last-child {
    grid-column: 2;
  }

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

  .architecture-card:last-child,
  .benchmark-card:last-child {
    grid-column: span 2;
    min-height: auto;
  }

  .architecture-card:last-child {
    padding-bottom: 90px;
  }

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

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

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

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

  .code-panel pre {
    min-height: auto;
  }

  .docs-section .shell {
    grid-template-columns: 0.7fr 1.3fr;
    gap: 50px;
  }
}

@media (max-width: 760px) {
  html {
    scroll-padding-top: 82px;
  }

  .shell {
    width: min(calc(100% - 28px), var(--shell));
  }

  .nav-shell {
    min-height: 64px;
  }

  .primary-nav a:not(.nav-github) {
    display: none;
  }

  .hero {
    padding-top: 68px;
  }

  .hero h1 {
    font-size: clamp(3.25rem, 16vw, 5.2rem);
  }

  .hero-lede {
    font-size: 1rem;
  }

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

  .capability-list li::after {
    display: none;
  }

  .system-card {
    padding: 15px;
    border-radius: 20px;
  }

  .system-state {
    display: none;
  }

  .source-row span,
  .ledger-node small,
  .view-grid small {
    font-size: 0.52rem;
  }

  .view-grid strong {
    font-size: 0.65rem;
  }

  .node-check {
    display: none;
  }

  .hypothesis {
    grid-template-columns: 1fr;
    padding: 29px;
  }

  .hypothesis > p:last-child {
    grid-column: auto;
  }

  .section-heading {
    grid-template-columns: 1fr;
    gap: 25px;
  }

  .section-heading h2,
  .docs-intro h2,
  .closing-card h2 {
    font-size: clamp(2.4rem, 12vw, 3.5rem);
  }

  .architecture-grid,
  .benchmark-grid {
    grid-template-columns: 1fr;
  }

  .architecture-card,
  .architecture-card:last-child,
  .benchmark-card,
  .benchmark-card:last-child {
    grid-column: auto;
  }

  .architecture-card {
    min-height: 460px;
  }

  .benchmark-card {
    min-height: 550px;
  }

  .invariant-strip {
    grid-template-columns: 1fr;
  }

  .invariant-strip > div:not(:last-child) {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .limits-panel {
    grid-template-columns: 1fr;
  }

  .limits-panel > .button {
    grid-column: auto;
  }

  .code-panel pre {
    padding: 22px 18px;
    font-size: 0.67rem;
  }

  .docs-section .shell,
  .closing-card {
    grid-template-columns: 1fr;
  }

  .docs-intro {
    position: static;
  }

  .docs-list > a {
    min-height: 112px;
  }

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

  .footer-note {
    justify-self: start;
    text-align: left;
  }
}

@media (max-width: 430px) {
  .button {
    width: 100%;
  }

  .source-row span {
    padding-inline: 2px;
    letter-spacing: -0.02em;
  }

  .ledger-node,
  .capsule-node {
    padding: 13px 10px;
  }

  .budget-pill {
    font-size: 0.5rem;
  }

  .architecture-card,
  .benchmark-card {
    padding: 24px;
  }

  .docs-list > a {
    grid-template-columns: 31px 1fr auto;
    gap: 11px;
  }

  .docs-list small {
    font-size: 0.67rem;
  }

  .footer-grid nav {
    grid-template-columns: 1fr;
  }
}

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

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

@media (forced-colors: active) {
  .brand-mark,
  .button,
  .architecture-card,
  .benchmark-card,
  .system-card,
  .limits-panel,
  .closing-card {
    border: 1px solid CanvasText;
  }
}

/* Documentation layout */

.docs-page {
  background:
    radial-gradient(circle at 84% 7%, rgba(41, 139, 99, 0.13), transparent 26rem),
    var(--page);
}

.docs-header {
  position: sticky;
  z-index: 100;
  top: 0;
  display: flex;
  min-height: 72px;
  align-items: center;
  justify-content: space-between;
  gap: 28px;
  padding: 0 max(24px, calc((100vw - var(--shell)) / 2));
  border-bottom: 1px solid var(--line);
  background: rgba(7, 17, 15, 0.9);
  backdrop-filter: blur(20px);
}

.docs-brand {
  display: inline-flex;
  align-items: center;
  gap: 11px;
  color: var(--ink);
  font-weight: 780;
  letter-spacing: -0.02em;
  text-decoration: none;
}

.docs-brand:hover {
  color: var(--ink);
}

.docs-header-nav {
  display: flex;
  gap: 24px;
  color: var(--ink-soft);
  font-size: 0.87rem;
  font-weight: 650;
}

.docs-header-nav a {
  text-decoration: none;
}

.docs-shell {
  display: grid;
  width: min(calc(100% - 48px), var(--shell));
  min-height: calc(100vh - 145px);
  margin-inline: auto;
  grid-template-columns: 220px minmax(0, 820px);
  justify-content: space-between;
  gap: clamp(48px, 7vw, 90px);
  padding: 56px 0 88px;
}

.docs-sidebar {
  position: sticky;
  top: 112px;
  align-self: start;
  max-height: calc(100vh - 136px);
  overflow-y: auto;
  padding-right: 18px;
  scrollbar-color: var(--line-strong) transparent;
}

.docs-sidebar-label {
  margin: 0 0 9px;
  color: var(--ink-faint);
  font-family: var(--font-mono);
  font-size: 0.67rem;
  font-weight: 750;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.docs-sidebar-label:not(:first-child) {
  margin-top: 28px;
}

.docs-sidebar nav {
  display: grid;
  gap: 3px;
}

.docs-sidebar nav a {
  padding: 7px 10px;
  border-left: 1px solid var(--line);
  color: var(--ink-soft);
  font-size: 0.85rem;
  text-decoration: none;
}

.docs-sidebar nav a:hover {
  border-left-color: var(--mint);
  background: rgba(121, 242, 180, 0.055);
  color: var(--mint);
}

.docs-content {
  min-width: 0;
  color: var(--ink-soft);
  font-size: 1rem;
  line-height: 1.76;
}

.docs-content > :first-child {
  margin-top: 0;
}

.docs-content h1,
.docs-content h2,
.docs-content h3,
.docs-content h4 {
  color: var(--ink);
  letter-spacing: -0.025em;
  line-height: 1.18;
  text-wrap: balance;
}

.docs-content h1 {
  max-width: 18ch;
  margin: 0 0 28px;
  font-size: clamp(2.2rem, 5vw, 4rem);
}

.docs-content h2 {
  margin: 64px 0 18px;
  padding-top: 7px;
  border-top: 1px solid var(--line);
  font-size: clamp(1.55rem, 3vw, 2.1rem);
}

.docs-content h3 {
  margin: 38px 0 13px;
  font-size: 1.28rem;
}

.docs-content h4 {
  margin: 28px 0 10px;
  font-size: 1.02rem;
}

.docs-content p,
.docs-content ul,
.docs-content ol {
  margin: 0 0 20px;
}

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

.docs-content strong {
  color: var(--ink);
}

.docs-content a {
  color: var(--mint);
}

.docs-content a:hover {
  color: var(--lime);
}

.docs-content :not(pre) > code {
  padding: 0.14em 0.36em;
  border: 1px solid var(--line);
  border-radius: 5px;
  background: rgba(121, 242, 180, 0.06);
  color: #c8ffe2;
  overflow-wrap: anywhere;
}

.docs-content pre {
  max-width: 100%;
  margin: 26px 0;
  overflow-x: auto;
  padding: 22px 24px;
  border: 1px solid var(--line);
  border-radius: var(--radius-sm);
  background: var(--page-deep);
  box-shadow: inset 3px 0 0 rgba(121, 242, 180, 0.48);
  color: #d9eee3;
  font-size: 0.83rem;
  line-height: 1.7;
}

.docs-content blockquote {
  margin: 28px 0;
  padding: 18px 22px;
  border-left: 3px solid var(--mint);
  background: rgba(121, 242, 180, 0.055);
  color: var(--ink);
}

.docs-content blockquote > :last-child {
  margin-bottom: 0;
}

.docs-content table {
  display: block;
  width: 100%;
  margin: 28px 0;
  overflow-x: auto;
  border-collapse: collapse;
  font-size: 0.88rem;
}

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

.docs-content th {
  background: var(--surface-2);
  color: var(--ink);
}

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

.docs-content img {
  max-width: 100%;
  height: auto;
  border-radius: var(--radius-sm);
}

.docs-footer {
  padding: 24px max(24px, calc((100vw - var(--shell)) / 2));
  border-top: 1px solid var(--line);
  color: var(--ink-faint);
  font-size: 0.78rem;
}

.docs-footer p {
  margin: 0;
}

.docs-footer a {
  color: var(--ink-soft);
}

@media (max-width: 820px) {
  .docs-shell {
    grid-template-columns: 1fr;
    gap: 40px;
    padding-top: 36px;
  }

  .docs-sidebar {
    position: static;
    display: grid;
    max-height: none;
    grid-template-columns: 1fr 1fr;
    gap: 8px 24px;
    padding: 18px;
    border: 1px solid var(--line);
    border-radius: var(--radius-sm);
    background: rgba(12, 24, 21, 0.72);
  }

  .docs-sidebar-label:not(:first-child) {
    margin-top: 0;
  }
}

@media (max-width: 560px) {
  .docs-header {
    padding-inline: 20px;
  }

  .docs-header-nav a:first-child {
    display: none;
  }

  .docs-shell {
    width: min(calc(100% - 32px), var(--shell));
  }

  .docs-sidebar {
    grid-template-columns: 1fr;
  }

  .docs-sidebar-label:not(:first-child) {
    margin-top: 18px;
  }

  .docs-content h1 {
    font-size: 2.25rem;
  }

  .docs-content pre {
    margin-inline: -4px;
    padding: 18px 16px;
    font-size: 0.74rem;
  }
}