:root {
  --paper: #f7f7f2;
  --white: #ffffff;
  --ink: #101113;
  --muted: #62666d;
  --line: #d8dad5;
  --blue: #1659c5;
  --blue-soft: #e6efff;
  --green: #21833b;
  --green-soft: #e8f4e9;
  --amber: #f2b313;
  --red: #c83d32;
  --max-width: 1180px;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
}

#idea,
#method,
#results {
  scroll-margin-top: 66px;
}

body {
  margin: 0;
  color: var(--ink);
  background: var(--paper);
  font-family: Arial, Helvetica, sans-serif;
  line-height: 1.5;
  letter-spacing: 0;
}

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

button,
a {
  font: inherit;
}

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

button {
  letter-spacing: 0;
}

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

.skip-link {
  position: fixed;
  z-index: 100;
  top: 8px;
  left: 8px;
  padding: 10px 14px;
  background: var(--ink);
  color: var(--white);
  transform: translateY(-150%);
}

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

.site-header {
  position: sticky;
  z-index: 50;
  top: 0;
  height: 66px;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  gap: 28px;
  padding: 0 max(24px, calc((100% - var(--max-width)) / 2));
  border-bottom: 1px solid rgba(16, 17, 19, 0.16);
  background: rgba(247, 247, 242, 0.95);
  backdrop-filter: blur(12px);
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  width: max-content;
  font-weight: 800;
}

.brand-mark {
  width: 24px;
  height: 20px;
  display: flex;
  align-items: flex-end;
  gap: 3px;
}

.brand-mark i {
  width: 6px;
  display: block;
  background: var(--ink);
}

.brand-mark i:nth-child(1) {
  height: 10px;
  background: var(--blue);
}

.brand-mark i:nth-child(2) {
  height: 20px;
}

.brand-mark i:nth-child(3) {
  height: 14px;
  background: var(--green);
}

.site-nav {
  display: flex;
  align-items: center;
  gap: 28px;
  color: #3d4045;
  font-size: 14px;
  font-weight: 700;
}

.site-nav a,
.paper-link {
  position: relative;
}

.site-nav a::after {
  content: "";
  position: absolute;
  right: 0;
  bottom: -8px;
  left: 0;
  height: 2px;
  background: var(--ink);
  transform: scaleX(0);
  transform-origin: left;
  transition: transform 180ms ease;
}

.site-nav a:hover::after,
.site-nav a.is-active::after {
  transform: scaleX(1);
}

.paper-link {
  justify-self: end;
  padding: 9px 14px;
  border: 1px solid var(--ink);
  border-radius: 4px;
  font-size: 14px;
  font-weight: 800;
  transition: background 160ms ease, color 160ms ease;
}

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

.hero {
  overflow: hidden;
  background: var(--paper);
}

.hero-copy {
  padding-top: 52px;
  padding-bottom: 36px;
  text-align: center;
}

.eyebrow {
  margin: 0 0 14px;
  color: var(--muted);
  font-size: 12px;
  font-weight: 800;
  line-height: 1.2;
  text-transform: uppercase;
}

.hero h1 {
  margin: 0;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 84px;
  font-weight: 700;
  line-height: 0.94;
}

.hero-deck {
  max-width: 780px;
  margin: 20px auto 0;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 29px;
  line-height: 1.16;
}

.hero-summary {
  max-width: 700px;
  margin: 17px auto 0;
  color: var(--muted);
  font-size: 17px;
}

.hero-actions {
  display: flex;
  justify-content: center;
  gap: 10px;
  margin-top: 26px;
}

.button {
  display: inline-flex;
  min-height: 44px;
  align-items: center;
  justify-content: center;
  padding: 10px 18px;
  border: 1px solid var(--ink);
  border-radius: 4px;
  font-size: 14px;
  font-weight: 800;
  transition: transform 160ms ease, background 160ms ease, color 160ms ease;
}

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

.button-dark {
  color: var(--white);
  background: var(--ink);
}

.button-light {
  background: transparent;
}

.button-light:hover {
  color: var(--white);
  background: var(--ink);
}

.hero-visual {
  width: min(calc(100% - 48px), 1120px);
  margin: 0 auto 38px;
  border-top: 1px solid var(--ink);
  border-bottom: 1px solid var(--ink);
  background: var(--white);
}

.hero-visual img {
  width: 100%;
  aspect-ratio: 2048 / 843;
  object-fit: contain;
}

.hero-visual figcaption {
  display: flex;
  justify-content: center;
  gap: 26px;
  padding: 11px 16px 12px;
  border-top: 1px solid var(--line);
  font-size: 12px;
  font-weight: 800;
}

.caption-blue {
  color: var(--blue);
}

.caption-green {
  color: var(--green);
}

.stat-band {
  color: var(--white);
  background: var(--ink);
}

.stat-grid {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
}

.stat {
  min-height: 132px;
  display: flex;
  flex-direction: column;
  justify-content: center;
  padding: 24px;
  border-left: 1px solid #3d3f43;
}

.stat:last-child {
  border-right: 1px solid #3d3f43;
}

.stat strong {
  font-family: Georgia, "Times New Roman", serif;
  font-size: 38px;
  line-height: 1;
}

.stat:nth-child(1) strong,
.stat:nth-child(3) strong {
  color: #89afff;
}

.stat:nth-child(2) strong,
.stat:nth-child(4) strong {
  color: #79d88b;
}

.stat span {
  max-width: 190px;
  margin-top: 9px;
  color: #c9cacc;
  font-size: 13px;
  line-height: 1.35;
}

.section {
  padding: 106px 0;
}

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

.section-intro h2,
.finding-layout h2,
.paper-cta h2 {
  margin: 0;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 52px;
  line-height: 1.04;
}

.section-intro > p:last-child {
  max-width: 680px;
  margin: 22px 0 0;
  color: var(--muted);
  font-size: 18px;
}

.mode-switch {
  width: max-content;
  display: grid;
  grid-template-columns: 1fr 1fr;
  margin-top: 42px;
  padding: 3px;
  border: 1px solid var(--ink);
  border-radius: 6px;
}

.mode-switch button {
  min-width: 128px;
  min-height: 40px;
  padding: 8px 15px;
  border: 0;
  border-radius: 3px;
  color: var(--muted);
  background: transparent;
  cursor: pointer;
  font-size: 14px;
  font-weight: 800;
}

.mode-switch button[aria-pressed="true"] {
  color: var(--white);
  background: var(--ink);
}

.mode-layout {
  --mode-color: var(--green);
  display: grid;
  grid-template-columns: 0.72fr 1.55fr;
  gap: 56px;
  align-items: center;
  margin-top: 34px;
  padding: 44px 0;
  border-top: 1px solid var(--ink);
  border-bottom: 1px solid var(--ink);
}

.mode-layout[data-mode="subtask"] {
  --mode-color: var(--blue);
}

.mode-label {
  margin: 0 0 10px;
  color: var(--mode-color);
  font-size: 12px;
  font-weight: 900;
  text-transform: uppercase;
}

.mode-copy h3 {
  margin: 0;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 34px;
  line-height: 1.1;
}

.mode-copy > p:not(.mode-label) {
  margin: 18px 0 0;
  color: var(--muted);
}

.mode-copy ul {
  margin: 22px 0 0;
  padding: 0;
  list-style: none;
}

.mode-copy li {
  position: relative;
  margin-top: 9px;
  padding-left: 18px;
  font-size: 14px;
  font-weight: 700;
}

.mode-copy li::before {
  content: "";
  position: absolute;
  top: 8px;
  left: 0;
  width: 7px;
  height: 7px;
  border-radius: 50%;
  background: var(--mode-color);
}

.replay-button {
  margin-top: 28px;
  padding: 9px 13px;
  border: 1px solid var(--ink);
  border-radius: 4px;
  background: transparent;
  cursor: pointer;
  font-size: 13px;
  font-weight: 800;
}

.replay-button:hover {
  color: var(--white);
  background: var(--ink);
}

.branch-demo {
  position: relative;
  min-height: 356px;
  display: grid;
  grid-template-rows: auto 1fr auto;
  align-items: center;
  padding: 30px;
  border: 1px solid #bfc2bd;
  border-radius: 6px;
  background: var(--white);
  overflow: hidden;
}

.demo-root,
.demo-result {
  position: relative;
  z-index: 2;
  width: max-content;
  max-width: 100%;
  margin-inline: auto;
  padding: 10px 16px;
  border: 1px solid var(--mode-color);
  border-radius: 4px;
  color: var(--mode-color);
  background: var(--white);
  font-size: 13px;
  font-weight: 900;
  text-align: center;
}

.demo-root::after,
.demo-result::before {
  content: "";
  position: absolute;
  left: 50%;
  width: 1px;
  height: 37px;
  background: var(--mode-color);
}

.demo-root::after {
  top: 100%;
}

.demo-result::before {
  bottom: 100%;
}

.branch-row {
  position: relative;
  z-index: 1;
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  gap: 8px;
  align-items: center;
  margin: 36px 0;
}

.branch-row[data-count="4"] {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.branch-row::before,
.branch-row::after {
  content: "";
  position: absolute;
  z-index: -1;
  left: 6%;
  right: 6%;
  height: 1px;
  background: var(--mode-color);
}

.branch-row::before {
  top: 2px;
}

.branch-row::after {
  bottom: 2px;
}

.branch-node {
  position: relative;
  min-width: 0;
  min-height: 120px;
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  padding: 12px 8px;
  border: 1px solid #c9cbc7;
  border-radius: 5px;
  background: var(--white);
  opacity: 0.45;
  transform: translateY(6px);
  transition: opacity 180ms ease, transform 180ms ease, border-color 180ms ease, background 180ms ease;
}

.branch-node[hidden] {
  display: none !important;
}

.branch-node::before,
.branch-node::after {
  content: "";
  position: absolute;
  left: 50%;
  width: 1px;
  height: 15px;
  background: var(--mode-color);
}

.branch-node::before {
  bottom: 100%;
}

.branch-node::after {
  top: 100%;
}

.branch-node span {
  color: var(--mode-color);
  font-size: 13px;
  font-weight: 900;
  text-align: center;
}

.branch-node small {
  margin-top: 7px;
  color: var(--muted);
  font-size: 11px;
  text-align: center;
}

.branch-node b {
  min-height: 18px;
  margin-top: 10px;
  color: var(--muted);
  font-size: 10px;
  text-transform: uppercase;
}

.branch-node.is-running {
  opacity: 1;
  transform: translateY(0);
  border-color: var(--mode-color);
  background: color-mix(in srgb, var(--mode-color) 7%, white);
}

.branch-node.is-complete {
  opacity: 1;
  transform: translateY(0);
  border-color: var(--green);
}

.branch-node.is-complete b {
  color: var(--green);
}

.branch-node.is-failed {
  opacity: 0.65;
  transform: translateY(0);
  border-color: #d7a29d;
}

.branch-node.is-failed b {
  color: var(--red);
}

.demo-result {
  opacity: 0.45;
  transition: opacity 180ms ease, color 180ms ease, background 180ms ease;
}

.demo-result.is-active {
  opacity: 1;
  color: var(--white);
  background: var(--mode-color);
}

.finding-band {
  color: var(--white);
  background: #202428;
}

.finding-layout {
  display: grid;
  grid-template-columns: 1fr 0.78fr;
  gap: 32px 80px;
  align-items: end;
}

.finding-layout .eyebrow {
  color: #aeb3b8;
}

.finding-layout > p {
  margin: 0;
  color: #c9cdd0;
  font-size: 17px;
}

.share-visual {
  grid-column: 1 / -1;
  margin-top: 24px;
}

.share-bar {
  height: 58px;
  display: flex;
  overflow: hidden;
  border: 1px solid #6b7075;
  border-radius: 4px;
  background: #141719;
}

.share-bar span {
  display: block;
  transform-origin: left;
  transition: transform 700ms ease;
}

.share-subtask {
  background: #3478df;
}

.share-trial {
  background: #3da655;
}

.share-labels {
  display: flex;
  justify-content: space-between;
  margin-top: 13px;
  font-size: 13px;
  font-weight: 800;
}

.share-visual > small {
  display: block;
  margin-top: 5px;
  color: #93999e;
  font-size: 11px;
}

.dot {
  width: 9px;
  height: 9px;
  display: inline-block;
  margin-right: 7px;
  border-radius: 50%;
}

.dot.blue {
  background: #3478df;
}

.dot.green {
  background: #3da655;
}

.dot.amber {
  background: var(--amber);
}

.dot.ink {
  background: var(--ink);
}

.method {
  color: var(--white);
  background: var(--ink);
}

.method-intro .eyebrow,
.method-intro > p:last-child {
  color: #aeb1b4;
}

.pipeline {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  margin: 62px 0 0;
  padding: 0;
  border-top: 1px solid #4c5054;
  border-bottom: 1px solid #4c5054;
  list-style: none;
}

.pipeline li {
  min-height: 256px;
  padding: 28px 25px;
  border-right: 1px solid #4c5054;
}

.pipeline li:first-child {
  border-left: 1px solid #4c5054;
}

.pipeline li > span {
  color: #8d9297;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 18px;
}

.pipeline h3 {
  margin: 56px 0 0;
  font-size: 24px;
}

.pipeline li:nth-child(1) h3,
.pipeline li:nth-child(3) h3 {
  color: #8ab0ff;
}

.pipeline li:nth-child(2) h3,
.pipeline li:nth-child(4) h3 {
  color: #82d994;
}

.pipeline p {
  margin: 12px 0 0;
  color: #b8bbbe;
  font-size: 14px;
}

.contract-layout {
  display: grid;
  grid-template-columns: 1.1fr 0.9fr;
  gap: 72px;
  align-items: center;
  margin-top: 70px;
}

.code-tool {
  overflow: hidden;
  border: 1px solid #585d61;
  border-radius: 6px;
  background: #171a1d;
}

.code-toolbar {
  display: flex;
  justify-content: space-between;
  padding: 11px 16px;
  border-bottom: 1px solid #3f4448;
  color: #a8adb1;
  font-size: 11px;
}

.code-toolbar span:last-child {
  color: #86db97;
}

.code-tool pre {
  margin: 0;
  padding: 26px;
  overflow-x: auto;
  color: #d9dde0;
  font-family: Consolas, "Courier New", monospace;
  font-size: 13px;
  line-height: 1.75;
}

.runtime-flow h3 {
  margin: 0;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 36px;
}

.runtime-flow > p:not(.eyebrow) {
  margin: 18px 0 0;
  color: #b8bbbe;
}

.flow-line {
  display: grid;
  grid-template-columns: auto 1fr auto 1fr auto 1fr auto;
  align-items: center;
  gap: 8px;
  margin-top: 34px;
}

.flow-line span {
  font-size: 11px;
  font-weight: 900;
}

.flow-line i {
  height: 1px;
  background: #656a6e;
}

.results {
  background: var(--paper);
}

.chart-layout {
  display: grid;
  grid-template-columns: 1.55fr 0.55fr;
  gap: 50px;
  align-items: center;
  margin-top: 58px;
  padding: 42px 0;
  border-top: 1px solid var(--ink);
  border-bottom: 1px solid var(--ink);
}

.result-chart {
  margin: 0;
  min-width: 0;
}

.budget-table-wrap {
  overflow-x: auto;
}

.budget-table {
  width: 100%;
  min-width: 620px;
  border-collapse: collapse;
  background: var(--white);
  font-size: 13px;
}

.budget-table th,
.budget-table td {
  padding: 12px 14px;
  text-align: right;
}

.budget-table th:first-child {
  text-align: left;
}

.budget-table thead th {
  border-top: 2px solid var(--ink);
  border-bottom: 1px solid var(--ink);
  font-size: 10px;
  font-weight: 900;
  text-transform: uppercase;
}

.budget-table thead tr:first-child th {
  padding-top: 14px;
  color: var(--muted);
  text-align: center;
}

.budget-table thead tr:first-child th:first-child {
  color: var(--ink);
  text-align: left;
  vertical-align: bottom;
}

.budget-table tbody th {
  font-weight: 650;
}

.budget-table tbody td,
.budget-table tbody th {
  border-bottom: 1px solid var(--line);
}

.budget-table tbody tr:last-child td,
.budget-table tbody tr:last-child th {
  border-bottom: 2px solid var(--ink);
}

.budget-table sub.delta {
  margin-left: 1px;
  font-size: 0.58em;
  font-weight: 700;
  line-height: 0;
}

.budget-table .positive {
  color: var(--green);
}

.budget-table .negative {
  color: var(--red);
}

.budget-table .best {
  color: var(--ink);
  font-weight: 900;
}

.result-chart figcaption {
  margin-top: 12px;
  color: var(--muted);
  font-size: 11px;
}

.result-callout {
  padding-left: 32px;
  border-left: 1px solid var(--line);
}

.callout-number {
  color: var(--green);
  font-family: Georgia, "Times New Roman", serif;
  font-size: 58px;
  font-weight: 700;
  line-height: 1;
}

.callout-number.small {
  color: var(--blue);
  font-size: 42px;
}

.result-callout h3 {
  margin: 9px 0 0;
  font-size: 16px;
}

.result-callout p {
  margin: 9px 0 0;
  color: var(--muted);
  font-size: 13px;
}

.callout-divider {
  height: 1px;
  margin: 26px 0;
  background: var(--line);
}

.difficulty-block {
  margin-top: 88px;
}

.difficulty-heading {
  display: grid;
  grid-template-columns: 1fr 0.75fr;
  gap: 70px;
  align-items: end;
}

.difficulty-heading h3,
.benchmark-heading h3 {
  margin: 0;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 36px;
  line-height: 1.08;
}

.difficulty-heading > p,
.benchmark-heading > p {
  margin: 0;
  color: var(--muted);
}

.difficulty-chart {
  margin-top: 36px;
  padding: 30px 0;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.difficulty-row {
  display: grid;
  grid-template-columns: 80px 1fr 70px 100px;
  gap: 18px;
  align-items: center;
  min-height: 54px;
}

.difficulty-row > span {
  font-size: 13px;
  font-weight: 800;
}

.difficulty-row strong {
  font-family: Georgia, "Times New Roman", serif;
  font-size: 20px;
}

.difficulty-row small {
  color: var(--muted);
  font-size: 11px;
}

.bar-track {
  position: relative;
  height: 16px;
  background: #e1e2de;
}

.bar-track i {
  position: absolute;
  top: 0;
  bottom: 0;
  left: 0;
  display: block;
  transform: scaleX(0);
  transform-origin: left;
  transition: transform 900ms ease;
}

.difficulty-chart.is-visible .bar-track i {
  transform: scaleX(1);
}

.bar-track .total {
  background: var(--amber);
}

.bar-track .latency {
  top: 4px;
  bottom: 4px;
  z-index: 2;
  background: var(--ink);
}

.bar-legend {
  display: flex;
  justify-content: flex-end;
  gap: 24px;
  margin-top: 16px;
  color: var(--muted);
  font-size: 11px;
}

.benchmark-block {
  display: grid;
  grid-template-columns: 0.72fr 1.28fr;
  gap: 70px;
  align-items: end;
  margin-top: 94px;
}

.benchmark-heading > p {
  margin-top: 16px;
}

.benchmark-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  border-top: 1px solid var(--ink);
  border-left: 1px solid var(--ink);
}

.benchmark-grid > div {
  min-height: 115px;
  display: flex;
  flex-direction: column;
  justify-content: space-between;
  padding: 18px;
  border-right: 1px solid var(--ink);
  border-bottom: 1px solid var(--ink);
  background: var(--white);
}

.benchmark-grid span {
  color: var(--muted);
  font-size: 11px;
  font-weight: 800;
  text-transform: uppercase;
}

.benchmark-grid strong {
  align-self: flex-end;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 32px;
}

.benchmark-grid .average {
  color: var(--white);
  background: var(--green);
}

.benchmark-grid .average span {
  color: #dcf0e0;
}

.paper-cta {
  padding: 84px 0;
  color: var(--white);
  background: var(--blue);
}

.paper-cta-inner {
  display: grid;
  grid-template-columns: 1fr auto;
  gap: 40px;
  align-items: end;
}

.paper-cta .eyebrow {
  color: #cddcff;
}

.paper-cta h2 {
  max-width: 880px;
  font-size: 42px;
}

.button-paper {
  border-color: var(--white);
  color: var(--blue);
  background: var(--white);
}

.site-footer {
  padding: 24px 0;
  color: #bfc2c5;
  background: var(--ink);
  font-size: 11px;
}

.site-footer .page-width {
  display: flex;
  justify-content: space-between;
  gap: 24px;
}

:focus-visible {
  outline: 3px solid var(--amber);
  outline-offset: 3px;
}

.demo {
  background: var(--white);
  border-top: 1px solid var(--line);
}

.demo-figure {
  margin: 44px 0 0;
}

.demo-video {
  display: block;
  width: 100%;
  height: auto;
  aspect-ratio: 16 / 9;
  border: 1px solid var(--ink);
  border-radius: 4px;
  background: #000;
}

.demo-figure figcaption {
  margin-top: 12px;
  max-width: 780px;
  color: var(--muted);
  font-size: 13px;
  line-height: 1.5;
}

.demo-stats {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  margin-top: 40px;
  border-top: 1px solid var(--ink);
}

.demo-stats > div {
  padding: 22px 26px 24px;
  border-bottom: 1px solid var(--line);
  border-right: 1px solid var(--line);
}

.demo-stats > div:last-child {
  border-right: none;
}

.demo-stats > div:first-child {
  padding-left: 0;
}

.demo-stats span {
  display: block;
  color: var(--muted);
  font-size: 12px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.demo-stats strong {
  display: block;
  margin-top: 10px;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 40px;
  font-weight: 400;
  line-height: 1;
}

.demo-stats small {
  display: block;
  margin-top: 10px;
  color: var(--muted);
  font-size: 13px;
  line-height: 1.45;
}

.demo-stat-headline strong {
  color: var(--green);
}

@media (max-width: 980px) {
  .hero h1 {
    font-size: 68px;
  }

  .hero-deck {
    font-size: 25px;
  }

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

  .stat:nth-child(2) {
    border-right: 1px solid #3d3f43;
  }

  .stat:nth-child(-n + 2) {
    border-bottom: 1px solid #3d3f43;
  }

  .mode-layout,
  .contract-layout,
  .chart-layout,
  .benchmark-block {
    grid-template-columns: 1fr;
  }

  .mode-layout,
  .contract-layout,
  .benchmark-block {
    gap: 42px;
  }

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

  .pipeline li:nth-child(2) {
    border-right: 1px solid #4c5054;
  }

  .pipeline li:nth-child(-n + 2) {
    border-bottom: 1px solid #4c5054;
  }

  .chart-layout {
    gap: 30px;
  }

  .result-callout {
    display: grid;
    grid-template-columns: auto 1fr;
    gap: 6px 20px;
    align-items: center;
    padding: 28px 0 0;
    border-top: 1px solid var(--line);
    border-left: 0;
  }

  .result-callout p {
    grid-column: 2;
  }

  .callout-divider {
    display: none;
  }
}

@media (max-width: 720px) {
  .demo-stats {
    grid-template-columns: 1fr;
  }

  .demo-stats > div {
    padding: 18px 0 20px;
    border-right: none;
  }

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

  .site-header {
    height: 60px;
    grid-template-columns: 1fr auto;
    padding-inline: 16px;
  }

  .site-nav {
    display: none;
  }

  .paper-link {
    padding: 7px 10px;
    font-size: 12px;
  }

  .hero-copy {
    padding-top: 40px;
    padding-bottom: 28px;
  }

  .hero h1 {
    font-size: 50px;
  }

  .hero-deck {
    margin-top: 16px;
    font-size: 22px;
  }

  .hero-summary {
    font-size: 14px;
  }

  .hero-actions {
    margin-top: 22px;
  }

  .button {
    min-height: 42px;
    padding-inline: 14px;
    font-size: 13px;
  }

  .hero-visual {
    width: calc(100% - 16px);
    margin-bottom: 22px;
  }

  .hero-visual figcaption {
    justify-content: space-between;
    gap: 8px;
    font-size: 10px;
  }

  .stat {
    min-height: 116px;
    padding: 18px 14px;
  }

  .stat strong {
    font-size: 30px;
  }

  .stat span {
    font-size: 11px;
  }

  .section {
    padding: 76px 0;
  }

  .section-intro h2,
  .finding-layout h2,
  .paper-cta h2 {
    font-size: 38px;
  }

  .section-intro > p:last-child {
    font-size: 16px;
  }

  .mode-switch {
    width: 100%;
  }

  .mode-switch button {
    min-width: 0;
  }

  .mode-layout {
    margin-top: 24px;
    padding: 32px 0;
  }

  .branch-demo {
    min-height: 0;
    padding: 22px 12px;
  }

  .branch-row,
  .branch-row[data-count="4"] {
    grid-template-columns: repeat(2, minmax(0, 1fr));
    margin: 34px 0;
  }

  .branch-row[data-count="5"] .branch-node:last-child {
    width: calc(50% - 4px);
    grid-column: 1 / -1;
    justify-self: center;
  }

  .branch-row::before,
  .branch-row::after,
  .branch-node::before,
  .branch-node::after,
  .demo-root::after,
  .demo-result::before {
    display: none;
  }

  .branch-node {
    min-height: 98px;
  }

  .finding-layout,
  .difficulty-heading,
  .paper-cta-inner {
    grid-template-columns: 1fr;
  }

  .finding-layout,
  .difficulty-heading {
    gap: 26px;
  }

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

  .pipeline li,
  .pipeline li:first-child {
    min-height: 0;
    padding: 24px;
    border-right: 1px solid #4c5054;
    border-bottom: 1px solid #4c5054;
    border-left: 1px solid #4c5054;
  }

  .pipeline li:last-child {
    border-bottom: 0;
  }

  .pipeline h3 {
    margin-top: 22px;
  }

  .contract-layout {
    margin-top: 50px;
  }

  .code-tool pre {
    padding: 18px;
    font-size: 11px;
  }

  .runtime-flow h3,
  .difficulty-heading h3,
  .benchmark-heading h3 {
    font-size: 30px;
  }

  .flow-line {
    grid-template-columns: 1fr;
    gap: 8px;
  }

  .flow-line i {
    width: 1px;
    height: 14px;
    margin-left: 18px;
  }

  .chart-layout {
    margin-top: 42px;
    padding: 28px 0;
  }

  .result-callout {
    grid-template-columns: 1fr;
  }

  .result-callout p {
    grid-column: 1;
  }

  .callout-number {
    font-size: 48px;
  }

  .difficulty-block,
  .benchmark-block {
    margin-top: 70px;
  }

  .difficulty-row {
    grid-template-columns: 64px 1fr 58px;
    gap: 10px;
  }

  .difficulty-row small {
    grid-column: 2 / 4;
    margin-top: -8px;
  }

  .bar-legend {
    justify-content: flex-start;
    flex-direction: column;
    gap: 7px;
  }

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

  .paper-cta {
    padding: 70px 0;
  }

  .button-paper {
    justify-self: start;
  }

  .site-footer .page-width {
    flex-direction: column;
    gap: 6px;
  }
}

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

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