:root {
  --paper: #f7f7f2;
  --surface: #ffffff;
  --white: #fff;
  --ink: #17201d;
  --ink-soft: #58615d;
  --inverse-muted: #c7d7d1;
  --pine: #0b5d4b;
  --pine-deep: #073f34;
  --mint: #d9f5e8;
  --mint-bright: #aaf2cf;
  --line: #d7ded9;
  --line-dark: #2d3b36;
  --display:
    "Source Serif 4", ui-serif, Georgia, Cambria, "Times New Roman", serif;
  --body:
    "Manrope", Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont,
    "Segoe UI", sans-serif;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
  --shell: 1120px;
  --radius: 18px;
  --radius-pill: 999px;
  --interactive-min-size: 44px;
  --shadow: 0 26px 60px rgba(23, 32, 29, 0.1);
  --shadow-soft-color: rgba(23, 32, 29, 0.08);
  --motion-fast: 160ms ease;
}

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

html {
  scroll-behavior: smooth;
}

body {
  min-width: 320px;
  margin: 0;
  color: var(--ink);
  background:
    radial-gradient(
      circle at 86% 7%,
      rgba(217, 245, 232, 0.7),
      transparent 26rem
    ),
    var(--paper);
  font-family: var(--body);
  font-size: 16px;
  line-height: 1.65;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
}

body::before {
  position: fixed;
  z-index: -1;
  inset: 0;
  background-image: url("data:image/svg+xml,%3Csvg viewBox='0 0 180 180' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='noise'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='.9' numOctaves='2' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23noise)' opacity='.025'/%3E%3C/svg%3E");
  content: "";
  pointer-events: none;
}

button,
a {
  font: inherit;
}

button {
  color: inherit;
}

a {
  color: inherit;
  text-underline-offset: 0.18em;
}

img {
  display: block;
  max-width: 100%;
}

h1,
h2,
h3,
h4,
p {
  margin-top: 0;
}

h1,
h2,
h3,
h4 {
  text-wrap: balance;
}

p {
  text-wrap: pretty;
}

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

.sequence-marker {
  display: grid;
  border: 1px solid currentColor;
  border-radius: 50%;
  font-family: var(--mono);
  place-items: center;
}

.visually-hidden {
  position: absolute;
  overflow: hidden;
  width: 1px;
  height: 1px;
  padding: 0;
  border: 0;
  margin: -1px;
  clip: rect(0 0 0 0);
  clip-path: inset(50%);
  white-space: nowrap;
}

.skip-link {
  position: fixed;
  z-index: 100;
  top: 12px;
  left: 12px;
  padding: 10px 14px;
  border-radius: 8px;
  color: var(--white);
  background: var(--pine-deep);
  transform: translateY(-160%);
  transition: transform var(--motion-fast);
}

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

:focus-visible {
  outline: 3px solid #005fcc;
  outline-offset: 3px;
  box-shadow: 0 0 0 6px var(--white);
}

.site-header {
  border-bottom: 1px solid rgba(23, 32, 29, 0.12);
}

.header-inner {
  display: flex;
  align-items: center;
  justify-content: space-between;
  min-height: 88px;
  gap: 32px;
}

.project-brand {
  display: flex;
  align-items: center;
  min-height: var(--interactive-min-size);
  gap: 13px;
  text-decoration: none;
}

.identity-mark {
  display: grid;
  width: 28px;
  gap: 4px;
}

.identity-mark span {
  display: block;
  height: 3px;
  border-radius: var(--radius-pill);
  background: var(--pine);
}

.identity-mark span:nth-child(2) {
  width: 72%;
}

.identity-mark span:nth-child(3) {
  width: 44%;
}

.project-brand strong {
  font-size: 0.82rem;
  letter-spacing: 0.08em;
  line-height: 1.2;
  text-transform: uppercase;
}

.site-nav {
  display: flex;
  align-items: center;
  gap: 30px;
  font-size: 0.82rem;
  font-weight: 700;
}

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

.site-nav a:not(.source-link) {
  position: relative;
}

.site-nav a:not(.source-link)::after {
  position: absolute;
  right: 0;
  bottom: -5px;
  left: 0;
  height: 1px;
  background: var(--pine);
  content: "";
  transform: scaleX(0);
  transform-origin: left;
  transition: transform var(--motion-fast);
}

.site-nav a:not(.source-link):hover::after {
  transform: scaleX(1);
}

.source-link {
  display: inline-flex;
  align-items: center;
  min-height: var(--interactive-min-size);
  padding: 0 16px;
  border: 1px solid var(--ink);
  border-radius: var(--radius-pill);
  gap: 8px;
  transition:
    color var(--motion-fast),
    background var(--motion-fast);
}

.source-link:hover {
  color: var(--paper);
  background: var(--ink);
}

.hero {
  display: grid;
  align-items: center;
  min-height: 740px;
  padding-block: 82px 96px;
  grid-template-columns: minmax(0, 1.05fr) minmax(380px, 0.95fr);
  gap: clamp(48px, 7vw, 96px);
}

.eyebrow,
.section-kicker {
  font-family: var(--mono);
  font-size: 0.72rem;
  font-weight: 700;
  letter-spacing: 0.11em;
  line-height: 1.3;
  text-transform: uppercase;
}

.eyebrow {
  display: flex;
  align-items: center;
  margin-bottom: 30px;
  color: var(--pine);
  gap: 9px;
}

.eyebrow-dot {
  width: 8px;
  height: 8px;
  border: 2px solid var(--pine);
  border-radius: 50%;
  box-shadow: 0 0 0 4px var(--mint);
}

.hero h1 {
  max-width: 770px;
  margin-bottom: 28px;
  font-family: var(--display);
  font-size: clamp(4rem, 7.4vw, 6.8rem);
  font-weight: 400;
  letter-spacing: -0.065em;
  line-height: 0.88;
}

.hero h1 span {
  display: block;
  color: var(--pine);
  font-style: italic;
}

.hero-lede {
  max-width: 620px;
  margin-bottom: 34px;
  color: #3f4b47;
  font-size: clamp(1.08rem, 1.7vw, 1.28rem);
  line-height: 1.65;
}

.hero-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 12px;
}

.button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 50px;
  padding: 0 20px;
  border: 1px solid transparent;
  border-radius: var(--radius-pill);
  gap: 18px;
  font-size: 0.84rem;
  font-weight: 750;
  line-height: 1.1;
  text-decoration: none;
  transition:
    transform var(--motion-fast),
    box-shadow var(--motion-fast),
    color var(--motion-fast),
    background var(--motion-fast);
}

.button span {
  font-size: 1.05em;
}

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

.button-primary {
  color: var(--white);
  background: var(--pine);
  box-shadow: 0 8px 24px rgba(11, 93, 75, 0.18);
}

.button-primary:hover {
  background: var(--pine-deep);
  box-shadow: 0 12px 28px rgba(11, 93, 75, 0.24);
}

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

.button-secondary:hover {
  border-color: var(--ink);
  background: var(--surface);
}

.hero-visual {
  position: relative;
  padding: 36px 18px 24px 36px;
}

.hero-visual::before {
  position: absolute;
  z-index: -1;
  inset: 0 9% 14% 3%;
  border: 1px solid rgba(11, 93, 75, 0.16);
  border-radius: 50%;
  background:
    linear-gradient(rgba(11, 93, 75, 0.045) 1px, transparent 1px),
    linear-gradient(90deg, rgba(11, 93, 75, 0.045) 1px, transparent 1px);
  background-size: 24px 24px;
  content: "";
  transform: rotate(-4deg);
}

.view-stack {
  display: grid;
  gap: 0;
}

.view-card {
  position: relative;
  min-height: 146px;
  padding: 25px 27px 27px;
  border: 1px solid rgba(23, 32, 29, 0.14);
  border-radius: var(--radius);
  background: var(--surface);
  box-shadow: 0 18px 35px var(--shadow-soft-color);
}

.view-card + .view-card {
  margin-top: -14px;
}

.view-card-context {
  z-index: 2;
  width: calc(100% - 30px);
  margin-left: 30px;
  background: #f0faf5;
}

.view-card-depth {
  z-index: 3;
  width: calc(100% - 60px);
  margin-left: 60px;
  background: var(--pine);
  color: var(--white);
}

.view-card header {
  display: grid;
  align-items: center;
  margin-bottom: 24px;
  grid-template-columns: auto 1fr auto;
  gap: 10px;
}

.view-card header > span {
  width: 27px;
  height: 27px;
  font-size: 0.63rem;
}

.view-card h2 {
  margin: 0;
  font-family: var(--display);
  font-size: 1.16rem;
  font-weight: 500;
}

.view-card small {
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 0.62rem;
}

.view-card-depth small {
  color: #c7ded5;
}

.signal-line {
  height: 5px;
  margin-top: 10px;
  border-radius: var(--radius-pill);
  background: #dfe5e1;
}

.view-card-depth .signal-line {
  background: rgba(255, 255, 255, 0.2);
}

.signal-line-long {
  width: 90%;
}

.signal-line-medium {
  width: 68%;
}

.signal-line-short {
  width: 44%;
}

.visual-caption {
  margin: 24px 12px 0 64px;
  font-family: var(--display);
  font-size: 1.02rem;
  line-height: 1.45;
}

.visual-caption span {
  display: block;
  color: var(--ink-soft);
  font-family: var(--body);
  font-size: 0.76rem;
}

.overview-band {
  color: var(--white);
  background: var(--pine-deep);
}

.overview-grid {
  display: grid;
  min-height: 270px;
  padding-block: 50px;
  grid-template-columns: 1.05fr 1fr 1fr;
  gap: 48px;
}

.overview-heading {
  align-self: center;
}

.overview-heading .section-kicker {
  color: var(--mint-bright);
}

.overview-heading h2 {
  max-width: 320px;
  margin-bottom: 0;
  font-family: var(--display);
  font-size: clamp(2rem, 3vw, 2.7rem);
  font-weight: 400;
  letter-spacing: -0.04em;
  line-height: 1.05;
}

.overview-item {
  display: grid;
  align-content: center;
  padding-left: 28px;
  border-left: 1px solid rgba(255, 255, 255, 0.2);
  grid-template-columns: auto 1fr;
  gap: 16px;
}

.overview-icon {
  width: 29px;
  height: 29px;
  border-color: rgba(255, 255, 255, 0.5);
  color: var(--mint-bright);
  font-size: 1rem;
  line-height: 1;
}

.overview-item h3 {
  margin-bottom: 10px;
  font-size: 0.92rem;
}

.overview-item p {
  margin-bottom: 0;
  color: var(--inverse-muted);
  font-size: 0.82rem;
  line-height: 1.65;
}

.install-section {
  padding-bottom: clamp(100px, 12vw, 156px);
}

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

.platform-card {
  display: flex;
  min-width: 0;
  min-height: 430px;
  padding: 28px;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: var(--surface);
  flex-direction: column;
  transition:
    border-color var(--motion-fast),
    box-shadow var(--motion-fast),
    transform var(--motion-fast);
}

.platform-card:hover {
  border-color: rgba(11, 93, 75, 0.42);
  box-shadow: 0 18px 38px var(--shadow-soft-color);
  transform: translateY(-3px);
}

.platform-card header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  min-width: 0;
  margin-bottom: 35px;
  gap: 16px;
}

.platform-mark {
  display: grid;
  overflow: hidden;
  width: 48px;
  height: 48px;
  padding: 8px;
  border: 1px solid var(--line);
  border-radius: 12px;
  background: var(--surface);
  place-items: center;
}

.platform-mark img {
  width: 100%;
  height: 100%;
  object-fit: contain;
}

.platform-mark-claude {
  background: #faf4f1;
}

.platform-mark-openai {
  padding: 3px;
}

.platform-mark-cursor {
  padding: 7px 9px;
}

.platform-type {
  max-width: 65%;
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 0.59rem;
  letter-spacing: 0.06em;
  line-height: 1.4;
  text-align: right;
  text-transform: uppercase;
}

.platform-type-live {
  color: var(--pine-deep);
}

.platform-card h3 {
  margin-bottom: 12px;
  font-family: var(--display);
  font-size: 1.65rem;
  font-weight: 500;
}

.platform-card > p {
  margin-bottom: 18px;
  color: var(--ink-soft);
  font-size: 0.8rem;
  line-height: 1.65;
}

.platform-card > .platform-caveat {
  margin-bottom: 22px;
  padding-top: 16px;
  border-top: 1px solid var(--line);
  color: var(--ink);
  font-size: 0.72rem;
}

.platform-card strong {
  color: var(--ink);
}

.platform-card p code,
.install-path {
  font-family: var(--mono);
}

.install-path {
  display: block;
  overflow-wrap: anywhere;
  margin-bottom: 20px;
  padding: 10px 12px;
  border-radius: 8px;
  color: var(--pine-deep);
  background: var(--paper);
  font-size: 0.64rem;
  line-height: 1.5;
}

.command-label {
  margin: 2px 0 8px !important;
  color: var(--pine-deep) !important;
  font-family: var(--mono);
  font-size: 0.6rem !important;
  font-weight: 700;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.install-command {
  overflow-x: auto;
  width: 100%;
  max-width: 100%;
  margin: 0 0 22px;
  padding: 14px;
  border: 1px solid var(--line);
  border-radius: 10px;
  color: var(--pine-deep);
  background: var(--paper);
  font-family: var(--mono);
  font-size: 0.64rem;
  line-height: 1.65;
  overflow-wrap: anywhere;
  white-space: pre-wrap;
}

.install-command code {
  font: inherit;
}

.platform-actions {
  display: grid;
  margin-top: auto;
  gap: 8px;
}

.platform-download,
.platform-secondary-action {
  display: flex;
  align-items: center;
  justify-content: space-between;
  min-height: 46px;
  padding: 0 15px;
  border-radius: var(--radius-pill);
  gap: 12px;
  font-size: 0.72rem;
  font-weight: 750;
  text-decoration: none;
}

.platform-download {
  color: var(--white);
  background: var(--pine);
}

.platform-download:hover {
  background: var(--pine-deep);
}

.platform-secondary-action {
  border: 1px solid var(--line);
  color: var(--ink-soft);
}

.platform-secondary-action:hover {
  border-color: var(--ink-soft);
  color: var(--ink);
}

.platform-trademark-note {
  margin: 18px 0 0;
  color: var(--ink-soft);
  font-size: 0.66rem;
}

.surface-comparison {
  margin-top: clamp(70px, 9vw, 110px);
  padding-top: clamp(62px, 8vw, 90px);
  border-top: 1px solid var(--line);
}

.surface-heading {
  display: grid;
  align-items: end;
  margin-bottom: 38px;
  grid-template-columns: minmax(0, 1fr) minmax(280px, 0.58fr);
  gap: 70px;
}

.surface-heading .section-kicker {
  grid-column: 1 / -1;
  margin-bottom: -40px;
}

.surface-heading h3 {
  max-width: 670px;
  margin-bottom: 0;
  font-family: var(--display);
  font-size: clamp(2.35rem, 4.3vw, 3.9rem);
  font-weight: 400;
  letter-spacing: -0.05em;
  line-height: 1;
}

.surface-heading > p:last-child {
  margin-bottom: 0;
  color: var(--ink-soft);
  font-size: 0.86rem;
}

.surface-grid,
.guarantee-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 18px;
}

.surface-grid {
  margin-bottom: 18px;
}

.surface-grid article,
.guarantee-grid article {
  min-width: 0;
  padding: 32px;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: var(--surface);
}

.surface-grid .surface-card-enforced {
  border-color: rgba(11, 93, 75, 0.3);
  background: #eef9f3;
}

.surface-label,
.guarantee-kicker {
  display: inline-block;
  margin-bottom: 28px;
  color: var(--pine);
  font-family: var(--mono);
  font-size: 0.62rem;
  font-weight: 750;
  letter-spacing: 0.07em;
  text-transform: uppercase;
}

.surface-grid h4,
.guarantee-grid h4 {
  margin-bottom: 14px;
  font-family: var(--display);
  font-size: 1.65rem;
  font-weight: 500;
  line-height: 1.15;
}

.surface-grid p {
  color: var(--ink-soft);
  font-size: 0.82rem;
}

.surface-grid .install-command {
  margin-top: 22px;
  background: var(--surface);
}

.inline-source-link {
  display: inline-flex;
  align-items: center;
  min-height: var(--interactive-min-size);
  color: var(--pine-deep);
  gap: 10px;
  font-size: 0.74rem;
  font-weight: 750;
}

.guarantee-grid article {
  background: var(--pine-deep);
  color: var(--white);
}

.guarantee-grid .guarantee-limit {
  border-color: var(--line-dark);
  background: var(--ink);
}

.guarantee-grid .guarantee-kicker {
  margin-bottom: 24px;
  color: var(--mint-bright);
}

.guarantee-grid ul {
  display: grid;
  margin: 0;
  padding-left: 19px;
  color: var(--inverse-muted);
  font-size: 0.76rem;
  line-height: 1.7;
  gap: 10px;
}

.certification-boundary {
  margin: 18px 0 0;
  padding: 20px 24px;
  border-left: 3px solid var(--pine);
  color: var(--ink-soft);
  background: var(--mint);
  font-size: 0.76rem;
}

.section {
  padding-block: clamp(92px, 11vw, 142px);
}

.section-intro {
  max-width: 720px;
  margin-bottom: 52px;
}

.section-kicker {
  margin-bottom: 18px;
  color: var(--pine);
}

.section-intro h2,
.section-heading-row h2,
.views-heading h2,
.build-copy h2,
.closing h2 {
  margin-bottom: 22px;
  font-family: var(--display);
  font-size: clamp(2.7rem, 5.2vw, 4.7rem);
  font-weight: 400;
  letter-spacing: -0.055em;
  line-height: 0.98;
}

.section-intro > p:last-child,
.build-copy > p,
.closing > p {
  max-width: 650px;
  margin-bottom: 0;
  color: var(--ink-soft);
  font-size: 1.05rem;
}

.domain-picker {
  display: flex;
  align-items: end;
  justify-content: space-between;
  margin-bottom: 20px;
  gap: 30px;
}

.picker-label {
  margin-bottom: 10px;
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 0.65rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.domain-controls {
  display: none;
  align-items: center;
  flex-wrap: wrap;
  gap: 8px;
}

.js .domain-controls {
  display: flex;
}

.domain-controls button {
  min-height: var(--interactive-min-size);
  padding: 0 17px;
  border: 1px solid var(--line);
  border-radius: var(--radius-pill);
  color: var(--ink-soft);
  background: var(--surface);
  cursor: pointer;
  font-size: 0.76rem;
  font-weight: 700;
}

.domain-controls button:hover {
  border-color: var(--pine);
  color: var(--pine);
}

.domain-controls button[aria-pressed="true"] {
  border-color: var(--pine);
  color: var(--white);
  background: var(--pine);
}

.domain-fallback {
  margin: 0;
  color: var(--ink);
  font-size: 0.82rem;
}

.reader-fallback {
  margin: 0;
  color: var(--white);
  font-size: 0.82rem;
}

.js .reader-fallback,
.js .domain-fallback {
  display: none;
}

.domain-note {
  max-width: 260px;
  margin: 0 0 8px;
  color: var(--ink-soft);
  font-size: 0.68rem;
  text-align: right;
}

.demo {
  display: grid;
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: 24px;
  background: var(--surface);
  box-shadow: var(--shadow);
  grid-template-columns: 248px minmax(0, 1fr);
}

.demo-sidebar {
  padding: 34px 26px;
  color: var(--white);
  background: var(--pine-deep);
}

.demo-label {
  margin-bottom: 24px;
  color: #b8cec6;
  font-family: var(--mono);
  font-size: 0.65rem;
  font-weight: 700;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.reader-controls {
  display: none;
  flex-direction: column;
  gap: 8px;
}

.js .reader-controls {
  display: flex;
}

.reader-controls button {
  display: flex;
  align-items: center;
  min-height: 54px;
  padding: 8px 12px;
  border: 1px solid transparent;
  border-radius: 10px;
  color: var(--inverse-muted);
  background: transparent;
  cursor: pointer;
  gap: 12px;
  font-size: 0.78rem;
  text-align: left;
  transition:
    color var(--motion-fast),
    border var(--motion-fast),
    background var(--motion-fast);
}

.reader-controls button:hover {
  color: var(--white);
  background: rgba(255, 255, 255, 0.08);
}

.reader-controls button[aria-pressed="true"] {
  border-color: rgba(170, 242, 207, 0.32);
  color: var(--white);
  background: rgba(170, 242, 207, 0.13);
}

.demo-surface {
  min-width: 0;
  padding: 42px 48px 28px;
}

.demo-prompt {
  display: grid;
  margin-bottom: 34px;
  padding-bottom: 30px;
  border-bottom: 1px solid var(--line);
  grid-template-columns: 88px minmax(0, 1fr);
  gap: 20px;
}

.speaker {
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 0.65rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.demo-prompt [data-domain-facts] {
  max-width: 720px;
  margin-bottom: 18px;
  color: var(--ink-soft);
  font-size: 0.82rem;
  line-height: 1.7;
}

.demo-prompt .prompt-question {
  max-width: 680px;
  margin-bottom: 0;
  font-family: var(--display);
  font-size: clamp(1.15rem, 2vw, 1.42rem);
  line-height: 1.45;
}

.prompt-question strong {
  display: block;
  margin-bottom: 4px;
  color: var(--pine);
  font-family: var(--mono);
  font-size: 0.62rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.demo-transcript {
  display: grid;
  gap: 28px;
}

.demo-view {
  position: relative;
  padding: 3px 0 4px 28px;
  border-left: 2px solid var(--line);
}

.demo-view[data-demo-view="0"] {
  border-color: var(--pine);
}

.demo-view[data-demo-view="1"] {
  border-color: #5ba68f;
}

.demo-view[data-demo-view="2"] {
  border-color: #b2c8bf;
}

.demo-view header {
  display: grid;
  align-items: baseline;
  margin-bottom: 14px;
  grid-template-columns: auto auto 1fr;
  gap: 10px;
}

.demo-view header > span {
  color: var(--pine);
  font-family: var(--mono);
  font-size: 0.65rem;
}

.demo-view h3 {
  margin: 0;
  font-family: var(--display);
  font-size: 1.34rem;
  font-weight: 600;
}

.demo-view header small {
  justify-self: end;
  color: var(--ink-soft);
  font-size: 0.65rem;
}

.demo-view p {
  margin-bottom: 12px;
  color: #35423d;
  font-size: 0.91rem;
  line-height: 1.75;
}

.demo-view p:last-child {
  margin-bottom: 0;
}

.demo-view strong {
  color: var(--ink);
}

.section-views {
  border-top: 1px solid var(--line);
  background: var(--surface);
}

.section-heading-row {
  display: grid;
  align-items: end;
  margin-bottom: 62px;
  grid-template-columns: 1fr minmax(280px, 0.52fr);
  gap: 70px;
}

.section-heading-row h2 {
  max-width: 670px;
  margin-bottom: 0;
}

.section-heading-row > p {
  margin-bottom: 0;
  color: var(--ink-soft);
  font-size: 0.85rem;
}

.contract-grid {
  display: grid;
  margin-bottom: 24px;
  grid-template-columns: repeat(2, 1fr);
  gap: 18px;
}

.contract-grid article {
  padding: 32px;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: var(--paper);
}

.contract-grid article:last-child {
  border-color: rgba(11, 93, 75, 0.28);
  background: #eef9f3;
}

.contract-grid header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  margin-bottom: 36px;
}

.contract-grid header > span {
  width: 32px;
  height: 32px;
  border-color: var(--line);
  color: var(--pine);
  font-size: 0.65rem;
}

.contract-grid header small {
  padding: 5px 9px;
  border-radius: var(--radius-pill);
  color: var(--pine-deep);
  background: var(--mint);
  font-family: var(--mono);
  font-size: 0.6rem;
}

.contract-grid h3 {
  margin-bottom: 12px;
  font-family: var(--display);
  font-size: 1.8rem;
  font-weight: 500;
}

.contract-grid p {
  margin-bottom: 24px;
  color: var(--ink-soft);
  font-size: 0.86rem;
}

.contract-grid .contract-rule {
  margin-bottom: 0;
  padding-top: 18px;
  border-top: 1px solid var(--line);
  color: var(--ink);
  font-size: 0.75rem;
}

.build-list code {
  font-family: var(--mono);
  font-size: 0.92em;
}

.contract-note {
  margin: 0 0 clamp(82px, 9vw, 112px);
  padding: 20px 24px;
  border-left: 3px solid var(--pine);
  color: var(--ink-soft);
  background: var(--mint);
  font-size: 0.82rem;
}

.contract-note strong {
  color: var(--ink);
}

.views-heading {
  max-width: 760px;
  margin-bottom: 44px;
}

.views-heading h2 {
  margin-bottom: 20px;
}

.views-heading > p:last-child {
  max-width: 640px;
  margin-bottom: 0;
  color: var(--ink-soft);
  font-size: 0.95rem;
}

.view-definitions {
  margin: 0;
  padding: 0;
  border-top: 1px solid var(--ink);
  list-style: none;
}

.view-definitions li {
  display: grid;
  align-items: start;
  min-height: 175px;
  padding: 34px 0;
  border-bottom: 1px solid var(--line);
  grid-template-columns: 90px minmax(0, 1fr) 210px;
  gap: 30px;
}

.definition-number {
  width: 40px;
  height: 40px;
  border-color: var(--line);
  color: var(--pine);
  font-size: 0.68rem;
}

.view-definitions h3 {
  margin-bottom: 8px;
  font-family: var(--display);
  font-size: 1.7rem;
  font-weight: 500;
}

.view-definitions p {
  max-width: 590px;
  margin-bottom: 0;
  color: var(--ink-soft);
}

.view-definitions small {
  justify-self: end;
  padding: 6px 10px;
  border-radius: var(--radius-pill);
  color: var(--pine-deep);
  background: var(--mint);
  font-family: var(--mono);
  font-size: 0.65rem;
  white-space: nowrap;
}

.budget-note {
  max-width: 760px;
  margin: 20px 0 0;
  color: var(--ink-soft);
  font-size: 0.7rem;
}

.invariants {
  padding-block: clamp(94px, 11vw, 140px);
  color: var(--white);
  background: var(--ink);
}

.invariants-intro {
  display: grid;
  align-items: end;
  margin-bottom: 70px;
  grid-template-columns: 0.42fr 1fr;
  gap: 70px;
}

.invariants-intro .section-kicker {
  color: var(--mint-bright);
}

.invariants-intro h2 {
  max-width: 780px;
  margin: 0;
  font-family: var(--display);
  font-size: clamp(2.8rem, 5.4vw, 5rem);
  font-weight: 400;
  letter-spacing: -0.055em;
  line-height: 0.98;
}

.invariant-grid {
  display: grid;
  margin: 0;
  padding: 0;
  border-top: 1px solid var(--line-dark);
  list-style: none;
  grid-template-columns: repeat(4, 1fr);
}

.invariant-grid li {
  min-height: 270px;
  padding: 28px 26px 10px;
  border-right: 1px solid var(--line-dark);
}

.invariant-grid li:first-child {
  padding-left: 0;
}

.invariant-grid li:last-child {
  border-right: 0;
}

.invariant-grid span {
  color: var(--mint-bright);
  font-family: var(--mono);
  font-size: 0.68rem;
}

.invariant-grid h3 {
  margin: 58px 0 16px;
  font-family: var(--display);
  font-size: 1.55rem;
  font-weight: 500;
}

.invariant-grid p {
  margin: 0;
  color: #aebcb7;
  font-size: 0.8rem;
  line-height: 1.7;
}

.build-section {
  display: grid;
  align-items: center;
  grid-template-columns: minmax(0, 1fr) minmax(390px, 0.8fr);
  gap: clamp(60px, 9vw, 120px);
}

.build-copy > p {
  margin-bottom: 40px;
}

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

.build-list li {
  display: grid;
  padding: 20px 0;
  border-bottom: 1px solid var(--line);
  grid-template-columns: 44px 1fr;
  gap: 8px;
}

.build-list li > span {
  color: var(--pine);
  font-family: var(--mono);
  font-size: 0.67rem;
}

.build-list strong {
  display: block;
  margin-bottom: 3px;
  font-size: 0.88rem;
}

.build-list p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 0.78rem;
}

.repository-card {
  --repository-background: #102a23;
  --repository-border: #27413a;
  --repository-muted: #86a79d;

  overflow: hidden;
  border: 1px solid var(--repository-border);
  border-radius: var(--radius);
  color: #e4efe9;
  background: var(--repository-background);
  box-shadow: 0 32px 65px rgba(16, 42, 35, 0.2);
  transform: rotate(1.2deg);
}

.repository-bar {
  display: flex;
  align-items: center;
  min-height: 48px;
  padding: 0 17px;
  border-bottom: 1px solid var(--repository-border);
  gap: 7px;
}

.repository-bar > span {
  width: 8px;
  height: 8px;
  border-radius: 50%;
  background: #426158;
}

.repository-bar > span:first-child {
  background: var(--mint-bright);
}

.repository-bar p {
  margin: 0 0 0 auto;
  color: var(--repository-muted);
  font-family: var(--mono);
  font-size: 0.58rem;
}

.repository-tree {
  padding: 30px 28px 28px;
}

.repository-tree p {
  display: grid;
  margin: 0;
  padding: 10px 0;
  border-bottom: 1px solid rgba(134, 167, 157, 0.13);
  font-family: var(--mono);
  font-size: 0.72rem;
  grid-template-columns: 30px 1fr auto;
  gap: 2px;
}

.repository-tree p span {
  color: var(--mint-bright);
}

.repository-tree small {
  color: var(--repository-muted);
  font-family: var(--body);
  font-size: 0.62rem;
}

.repository-card > a {
  display: flex;
  align-items: center;
  justify-content: space-between;
  min-height: 62px;
  padding: 0 28px;
  color: var(--repository-background);
  background: var(--mint-bright);
  font-size: 0.78rem;
  font-weight: 800;
  text-decoration: none;
}

.closing {
  padding-block: clamp(100px, 13vw, 165px);
  text-align: center;
}

.closing h2 {
  max-width: 780px;
  margin-inline: auto;
}

.closing > p {
  max-width: 620px;
  margin: 0 auto 32px;
}

.closing-actions {
  display: flex;
  align-items: center;
  justify-content: center;
  flex-wrap: wrap;
  gap: 12px;
}

.site-footer {
  border-top: 1px solid var(--line);
  background: var(--surface);
}

.footer-inner {
  display: grid;
  align-items: center;
  min-height: 150px;
  grid-template-columns: 1fr 1.3fr auto;
  gap: 45px;
}

.footer-inner strong {
  font-family: var(--display);
  font-size: 1.03rem;
}

.footer-inner p {
  margin: 4px 0 0;
  color: var(--ink-soft);
  font-size: 0.68rem;
}

.footer-inner > a {
  display: inline-flex;
  align-items: center;
  min-height: var(--interactive-min-size);
  font-size: 0.7rem;
  font-weight: 750;
}

.license-note {
  max-width: 460px;
}

.license-note a {
  display: inline-flex;
  align-items: center;
  min-height: var(--interactive-min-size);
}

@media (max-width: 960px) {
  .hero {
    min-height: auto;
    padding-block: 72px 84px;
    grid-template-columns: 1fr;
  }

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

  .hero-visual {
    width: min(100%, 650px);
    margin-inline: auto;
  }

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

  .overview-heading {
    grid-column: 1 / -1;
  }

  .overview-heading h2 {
    max-width: 600px;
  }

  .overview-item {
    min-height: 150px;
  }

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

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

  .invariant-grid li {
    min-height: 230px;
    border-bottom: 1px solid var(--line-dark);
  }

  .invariant-grid li:first-child {
    padding-left: 26px;
  }

  .invariant-grid li:nth-child(2) {
    border-right: 0;
  }

  .build-section {
    grid-template-columns: 1fr;
  }

  .repository-card {
    width: min(100%, 620px);
    margin-inline: auto;
  }

  .footer-inner {
    grid-template-columns: 1fr 1fr;
    padding-block: 32px;
  }

  .footer-inner > a {
    justify-self: start;
  }
}

@media (max-width: 760px) {
  .shell {
    width: min(calc(100% - 32px), var(--shell));
  }

  .header-inner {
    min-height: 76px;
  }

  .site-nav {
    gap: 14px;
  }

  .site-nav a:not(.source-link) {
    display: none;
  }

  .hero {
    padding-block: 58px 72px;
    gap: 58px;
  }

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

  .hero-visual {
    padding-left: 0;
  }

  .view-card-context {
    width: calc(100% - 18px);
    margin-left: 18px;
  }

  .view-card-depth {
    width: calc(100% - 36px);
    margin-left: 36px;
  }

  .visual-caption {
    margin-left: 40px;
  }

  .overview-grid {
    padding-block: 55px;
    grid-template-columns: 1fr;
    gap: 32px;
  }

  .overview-heading {
    grid-column: auto;
  }

  .overview-item {
    min-height: auto;
    padding: 26px 0 0;
    border-top: 1px solid rgba(255, 255, 255, 0.2);
    border-left: 0;
  }

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

  .platform-card {
    min-height: 0;
  }

  .surface-heading {
    grid-template-columns: 1fr;
    gap: 20px;
  }

  .surface-heading .section-kicker {
    grid-column: auto;
    margin-bottom: 0;
  }

  .surface-grid,
  .guarantee-grid {
    grid-template-columns: 1fr;
  }

  .section-intro h2,
  .section-heading-row h2,
  .views-heading h2,
  .build-copy h2,
  .closing h2 {
    font-size: clamp(2.55rem, 12vw, 4rem);
  }

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

  .domain-picker {
    align-items: flex-start;
    flex-direction: column;
    gap: 14px;
  }

  .domain-note {
    max-width: none;
    margin: 0;
    text-align: left;
  }

  .demo-sidebar {
    padding: 24px;
  }

  .demo-label {
    margin-bottom: 15px;
  }

  .reader-controls {
    flex-direction: row;
    overflow-x: auto;
    padding-bottom: 4px;
  }

  .reader-controls button {
    flex: 1 0 auto;
    min-height: 48px;
  }

  .demo-surface {
    padding: 34px 28px 25px;
  }

  .demo-prompt {
    grid-template-columns: 1fr;
    gap: 8px;
  }

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

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

  .view-definitions li {
    grid-template-columns: 56px 1fr;
    gap: 20px;
  }

  .view-definitions small {
    justify-self: start;
    grid-column: 2;
  }

  .invariants-intro {
    grid-template-columns: 1fr;
    gap: 18px;
  }

  .footer-inner {
    grid-template-columns: 1fr;
    gap: 22px;
  }
}

@media (max-width: 480px) {
  .source-link {
    padding-inline: 13px;
  }

  .hero-actions {
    align-items: stretch;
    flex-direction: column;
  }

  .button {
    width: 100%;
  }

  .view-card {
    min-height: 128px;
    padding: 22px 20px;
  }

  .view-card header {
    grid-template-columns: auto 1fr;
  }

  .view-card header small {
    display: none;
  }

  .domain-picker > div {
    width: 100%;
  }

  .js .domain-controls,
  .js .reader-controls {
    display: grid;
    grid-template-columns: repeat(3, minmax(0, 1fr));
    overflow: visible;
  }

  .domain-controls button,
  .reader-controls button {
    min-width: 0;
    width: auto;
    padding-inline: 8px;
    justify-content: center;
    font-size: 0.68rem;
    text-align: center;
  }

  .demo-surface {
    padding-inline: 20px;
  }

  .surface-grid article,
  .guarantee-grid article {
    padding: 25px 22px;
  }

  .install-command {
    font-size: 0.58rem;
  }

  .demo-view {
    padding-left: 19px;
  }

  .demo-view header {
    grid-template-columns: auto 1fr;
  }

  .demo-view header small {
    display: block;
    justify-self: start;
    grid-column: 2;
  }

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

  .invariant-grid li,
  .invariant-grid li:first-child {
    min-height: auto;
    padding: 27px 0;
    border-right: 0;
  }

  .invariant-grid h3 {
    margin-top: 22px;
  }

  .repository-tree {
    padding-inline: 18px;
  }

  .repository-tree p {
    grid-template-columns: 24px 1fr;
  }

  .repository-tree small {
    display: none;
  }
}

@media (prefers-reduced-motion: reduce) {
  *,
  *::before,
  *::after {
    scroll-behavior: auto !important;
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    transition-duration: 0.01ms !important;
  }
}

@media print {
  body {
    background: var(--surface);
  }

  .site-nav,
  .hero-actions,
  .demo-sidebar,
  .closing,
  .site-footer {
    display: none;
  }

  .hero {
    min-height: auto;
    padding-block: 40px;
  }

  .demo {
    display: block;
    box-shadow: none;
  }
}