:root {
  --bg: #f6f7f5;
  --surface: #ffffff;
  --surface-alt: #f1f3ef;
  --ink: #151713;
  --muted: #5f665c;
  --hairline: #d7dcd2;
  --command: #315cff;
  --verify: #137a4e;
  --artifact: #b86b00;
  --boundary: #c2412d;
  --graphite: #2d312a;
  --radius: 8px;
  --max: 1200px;
  --wide: 1280px;
  --shadow: 0 18px 48px rgba(21, 23, 19, 0.08);
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font-family:
    Inter, Pretendard, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  letter-spacing: 0;
  line-height: 1.55;
}

h1,
h2,
h3 {
  overflow-wrap: anywhere;
  word-break: keep-all;
}

h1,
h2,
h3,
p,
li,
strong,
span {
  overflow-wrap: anywhere;
}

.product-title-alias {
  display: inline-block;
  white-space: nowrap;
}

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

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

code {
  border: 1px solid var(--hairline);
  border-radius: 6px;
  background: var(--surface-alt);
  padding: 0.08rem 0.32rem;
  font-family: "SF Mono", "JetBrains Mono", ui-monospace, monospace;
  font-size: 0.88em;
  white-space: normal;
  overflow-wrap: anywhere;
}

.site-nav,
.product-nav {
  position: sticky;
  top: 0;
  z-index: 50;
  border-bottom: 1px solid rgba(215, 220, 210, 0.86);
  background: rgba(246, 247, 245, 0.88);
  backdrop-filter: blur(16px);
}

.nav-inner,
.product-nav-inner {
  position: relative;
  display: flex;
  align-items: center;
  justify-content: space-between;
  width: min(var(--max), calc(100vw - 64px));
  min-height: 56px;
  margin: 0 auto;
  gap: 24px;
}

.brand,
.back-link {
  font-weight: 720;
}

.site-nav nav,
.product-nav nav {
  display: flex;
  align-items: center;
  gap: 18px;
  color: var(--muted);
  font-size: 0.92rem;
  white-space: nowrap;
}

.site-nav nav a,
.product-nav nav a {
  border-radius: 6px;
  padding: 6px 8px;
}

.site-nav nav a:hover,
.product-nav nav a:hover {
  background: rgba(49, 92, 255, 0.08);
  color: var(--ink);
}

.language-switch {
  display: inline-grid;
  grid-template-columns: repeat(2, 36px);
  flex: 0 0 auto;
  overflow: hidden;
  border: 1px solid var(--hairline);
  border-radius: 6px;
  background: rgba(255, 255, 255, 0.78);
  font-size: 0.72rem;
  font-weight: 780;
  line-height: 1;
}

.language-switch > * {
  display: grid;
  min-width: 36px;
  min-height: 28px;
  place-items: center;
  color: var(--muted);
}

.language-switch > * + * {
  border-left: 1px solid var(--hairline);
}

.language-switch a:hover {
  background: rgba(49, 92, 255, 0.08);
  color: var(--ink);
}

.language-switch .is-current {
  background: var(--ink);
  color: var(--surface);
}

.section-inner {
  width: min(var(--max), calc(100vw - 64px));
  margin: 0 auto;
}

.section-band {
  padding: 88px 0;
}

.section-band[id],
.product-header[id],
.proof-strip[id] {
  scroll-margin-top: var(--scroll-target-offset, 96px);
}

.section-band-alt {
  border-block: 1px solid rgba(215, 220, 210, 0.72);
  background: var(--surface-alt);
}

.section-header {
  max-width: 800px;
  margin: 0 0 32px;
}

.section-kicker,
.eyebrow {
  margin: 0 0 10px;
  color: var(--command);
  font-size: 0.78rem;
  font-weight: 760;
  letter-spacing: 0;
  text-transform: uppercase;
}

.section-header h2,
.closing-inner h2 {
  margin: 0;
  font-size: 3rem;
  line-height: 1.05;
  letter-spacing: 0;
}

.section-header p {
  margin: 16px 0 0;
  color: var(--muted);
  font-size: 1.04rem;
  max-width: 760px;
}

.hero-workbench {
  position: relative;
  min-height: min(580px, 64vh);
  overflow: hidden;
  border-bottom: 1px solid rgba(215, 220, 210, 0.72);
  background: #edf1eb;
}

.hero-content {
  position: relative;
  z-index: 2;
  display: flex;
  min-height: min(580px, 64vh);
  flex-direction: column;
  justify-content: center;
  padding: 50px 0 44px;
}

.hero-content h1 {
  max-width: 820px;
  margin: 0;
  font-size: 3.82rem;
  line-height: 1.06;
  letter-spacing: 0;
}

.hero-content h1 span {
  display: block;
}

.hero-subheadline {
  max-width: 700px;
  margin: 22px 0 0;
  font-size: 1.13rem;
  line-height: 1.56;
  font-weight: 560;
}

.hero-supporting {
  max-width: 700px;
  margin: 14px 0 0;
  color: #4f574d;
  font-size: 1rem;
}

.hero-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin: 24px 0 0;
}

.button {
  display: inline-flex;
  min-height: 42px;
  align-items: center;
  justify-content: center;
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  padding: 0 16px;
  font-weight: 720;
}

.button-primary {
  border-color: var(--command);
  background: var(--command);
  color: #ffffff;
}

.button-secondary {
  background: rgba(255, 255, 255, 0.62);
}

.button-service {
  border-color: var(--verify);
  background: var(--verify);
  color: #ffffff;
}

.button-code {
  border-color: var(--ink);
  background: var(--ink);
  color: #ffffff;
}

.chip-row,
.tag-list,
.metadata-row {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}

.chip-row {
  margin-top: 22px;
}

.hero-content .chip-row {
  margin-top: 18px;
}

.chip,
.tag,
.metadata-row span {
  display: inline-flex;
  align-items: center;
  min-height: 26px;
  border: 1px solid rgba(45, 49, 42, 0.12);
  border-radius: 999px;
  background: rgba(255, 255, 255, 0.7);
  padding: 3px 9px;
  color: var(--graphite);
  font-size: 0.78rem;
  font-weight: 650;
}

.dx-point {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 24px;
  border: 1px solid rgba(49, 92, 255, 0.28);
  border-radius: 999px;
  background: rgba(49, 92, 255, 0.08);
  padding: 2px 8px;
  color: var(--command);
  font-size: 0.68rem;
  font-weight: 840;
  line-height: 1.25;
  text-transform: uppercase;
}

.dx-card-point {
  display: flex;
  margin-top: 12px;
}

.product-dx-row {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  margin-top: 14px;
}

.hero-visual {
  position: absolute;
  inset: 0;
  z-index: 1;
  opacity: 0.48;
}

.artifact-panel {
  position: absolute;
  width: min(26vw, 320px);
  min-height: 126px;
  border: 1px solid rgba(45, 49, 42, 0.09);
  border-radius: 8px;
  background: rgba(255, 255, 255, 0.62);
  box-shadow: 0 16px 42px rgba(21, 23, 19, 0.06);
  padding: 18px;
}

.artifact-panel span {
  color: rgba(49, 92, 255, 0.72);
  font-size: 0.72rem;
  font-weight: 800;
  text-transform: uppercase;
}

.artifact-panel b {
  display: block;
  margin-top: 8px;
  color: rgba(45, 49, 42, 0.72);
}

.artifact-panel i {
  display: block;
  height: 8px;
  margin-top: 12px;
  border-radius: 999px;
  background: rgba(49, 92, 255, 0.18);
}

.panel-schema {
  top: 108px;
  right: 9vw;
}

.panel-trace {
  right: 19vw;
  bottom: 120px;
}

.panel-qa {
  top: 292px;
  right: 4vw;
}

.proof-strip {
  background: var(--surface);
  border-top: 1px solid rgba(45, 49, 42, 0.08);
  border-bottom: 1px solid rgba(45, 49, 42, 0.08);
  padding: 18px 0;
}

.proof-label {
  margin: 0 0 12px;
  color: var(--command);
  font-size: 0.72rem;
  font-weight: 850;
}

.proof-grid {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 14px;
}

.proof-item {
  min-height: 156px;
  border: 1px solid rgba(45, 49, 42, 0.1);
  border-radius: 8px;
  background: rgba(255, 255, 255, 0.58);
  padding: 26px 24px 28px;
}

.proof-index {
  display: block;
  color: var(--verify);
  font-size: 0.72rem;
  font-weight: 850;
  letter-spacing: 0.08em;
}

.artifact-dot {
  display: inline-block;
  width: 9px;
  height: 9px;
  border-radius: 999px;
  background: var(--verify);
}

.proof-item h2 {
  margin: 18px 0 10px;
  font-size: 1.08rem;
  letter-spacing: 0;
}

.proof-item p {
  margin: 0;
  color: var(--muted);
  font-size: 0.95rem;
  line-height: 1.62;
  max-width: 34ch;
}

.product-grid,
.principle-grid,
.need-grid,
.technical-content-grid,
.related-grid {
  display: grid;
  gap: 16px;
}

.product-grid-hero {
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

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

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

.product-grid-compact,
.product-grid-section,
.need-grid,
.related-grid {
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.product-grid-compact {
  margin-top: 16px;
}

.technical-artifacts-section {
  border-top: 1px solid rgba(215, 220, 210, 0.72);
  background: var(--surface);
}

.technical-content-grid {
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.technical-content-group + .technical-content-group {
  margin-top: 34px;
}

.technical-content-group-head {
  display: grid;
  grid-template-columns: minmax(160px, 0.34fr) minmax(0, 1fr);
  align-items: baseline;
  gap: 22px;
  margin-bottom: 14px;
  padding-top: 2px;
}

.technical-content-group-head h3 {
  margin: 0;
  color: var(--ink);
  font-size: 1rem;
  letter-spacing: 0;
}

.technical-content-group-head p {
  margin: 0;
  color: var(--muted);
  font-size: 0.9rem;
  line-height: 1.55;
}

.technical-content-card {
  display: flex;
  min-width: 0;
  min-height: 250px;
  flex-direction: column;
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  background: rgba(246, 247, 245, 0.72);
  padding: 20px;
}

.technical-content-card:hover {
  border-color: rgba(49, 92, 255, 0.34);
  box-shadow: 0 14px 34px rgba(49, 92, 255, 0.08);
}

.technical-content-card span {
  color: var(--verify);
  font-size: 0.72rem;
  font-weight: 840;
  text-transform: uppercase;
}

.technical-content-card strong {
  display: block;
  margin-top: 12px;
  color: var(--ink);
  font-size: 1.16rem;
  line-height: 1.22;
}

.technical-content-card p {
  margin: 12px 0 0;
  color: var(--muted);
  font-size: 0.94rem;
  line-height: 1.58;
}

.technical-content-card em {
  margin-top: auto;
  padding-top: 18px;
  color: var(--command);
  font-size: 0.84rem;
  font-style: normal;
  font-weight: 760;
}

.technical-content-card-article {
  background: #151713;
  color: #ffffff;
}

.technical-content-card-sample {
  border-color: rgba(49, 92, 255, 0.42);
  background:
    linear-gradient(135deg, rgba(49, 92, 255, 0.1), rgba(255, 255, 255, 0.82));
}

.technical-content-card-sample span,
.technical-content-card-sample em {
  color: var(--command);
}

.technical-content-card-article span,
.technical-content-card-article em {
  color: #8fb0ff;
}

.technical-content-card-article strong {
  color: #ffffff;
}

.technical-content-card-article p {
  color: rgba(255, 255, 255, 0.72);
}

.developer-enablement-section {
  border-top: 1px solid rgba(215, 220, 210, 0.72);
  background: linear-gradient(180deg, rgba(255, 255, 255, 0.72), rgba(246, 247, 245, 0.92));
}

.enablement-grid {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 14px;
}

.enablement-card {
  min-width: 0;
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  background: rgba(255, 255, 255, 0.72);
  padding: 20px;
}

.enablement-card span {
  display: block;
  color: var(--verify);
  font-size: 0.72rem;
  font-weight: 850;
}

.enablement-card h3 {
  margin: 16px 0 10px;
  font-size: 1.08rem;
  line-height: 1.22;
}

.enablement-card p {
  margin: 0;
  color: var(--muted);
  font-size: 0.94rem;
  line-height: 1.6;
}

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

.product-card,
.principle-block,
.need-card,
.archive-row,
.overview-block,
.feature-block,
.related-card {
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  background: var(--surface);
}

.product-card,
.principle-block,
.need-card,
.overview-block,
.feature-block {
  min-width: 0;
  padding: 22px;
}

.product-card {
  display: flex;
  min-width: 0;
  flex-direction: column;
}

.product-card-hero {
  min-height: 430px;
}

.product-card-representative {
  min-height: 510px;
}

.product-card-supporting {
  min-height: 360px;
}

.product-card-compact,
.product-card-section {
  min-height: 235px;
}

.product-card:hover,
.writeup-row:hover,
.related-card:hover,
.archive-row:hover {
  border-color: rgba(49, 92, 255, 0.34);
  box-shadow: 0 14px 34px rgba(49, 92, 255, 0.08);
}

.card-topline {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 8px;
  color: var(--muted);
  font-size: 0.78rem;
  font-weight: 760;
  text-transform: uppercase;
}

.card-topline em {
  display: inline-flex;
  align-items: center;
  min-height: 20px;
  border: 1px solid rgba(22, 138, 90, 0.24);
  border-radius: 999px;
  background: rgba(22, 138, 90, 0.08);
  padding: 2px 7px;
  color: var(--verify);
  font-style: normal;
  font-size: 0.68rem;
  font-weight: 840;
  text-transform: none;
}

.product-card h3 {
  margin: 16px 0 0;
  font-size: 1.45rem;
  line-height: 1.1;
}

.card-one-line {
  margin: 10px 0 18px;
  color: var(--graphite);
  font-weight: 620;
}

.card-field {
  margin-top: 12px;
}

.card-field strong {
  display: block;
  color: var(--command);
  font-size: 0.76rem;
  text-transform: uppercase;
}

.card-field p {
  margin: 5px 0 0;
  color: var(--muted);
  font-size: 0.92rem;
}

.card-evidence {
  border-top: 1px solid rgba(215, 220, 210, 0.7);
  padding-top: 12px;
}

.operational-products {
  margin-top: 56px;
  border-top: 1px solid rgba(45, 49, 42, 0.14);
  padding-top: 34px;
}

.operational-products-head {
  display: grid;
  grid-template-columns: minmax(150px, 0.42fr) minmax(0, 1.58fr);
  gap: 32px;
  align-items: start;
}

.operational-products-kicker {
  margin: 5px 0 0;
  color: var(--verify);
  font-size: 0.76rem;
  font-weight: 850;
  text-transform: uppercase;
}

.operational-products-head h3,
.operational-products-head p {
  margin: 0;
}

.operational-products-head h3 {
  max-width: 27ch;
  font-size: 1.85rem;
  line-height: 1.18;
}

.operational-products-head p {
  max-width: 66ch;
  margin-top: 12px;
  color: var(--muted);
  line-height: 1.65;
}

.operational-product-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  margin-top: 28px;
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
}

.operational-product-card {
  display: flex;
  min-width: 0;
  flex-direction: column;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  background: rgba(255, 255, 255, 0.54);
  padding: 24px;
}

.operational-product-status {
  display: flex;
  align-items: center;
  gap: 9px;
  color: var(--verify);
  font-size: 0.76rem;
  font-weight: 820;
}

.status-dot {
  width: 9px;
  height: 9px;
  border-radius: 50%;
  background: var(--verify);
  box-shadow: 0 0 0 5px rgba(22, 138, 90, 0.1);
}

.operational-product-card h4 {
  margin: 18px 0 0;
  font-size: 1.32rem;
  line-height: 1.16;
}

.operational-product-summary {
  margin: 10px 0 0;
  color: var(--graphite);
  font-size: 0.94rem;
  font-weight: 640;
  line-height: 1.58;
}

.operational-product-challenge {
  margin-top: 20px;
  border-top: 1px solid rgba(215, 220, 210, 0.78);
  padding-top: 16px;
}

.operational-product-challenge strong {
  display: block;
  color: var(--ink);
  font-size: 0.76rem;
}

.operational-product-challenge p {
  margin: 7px 0 0;
  color: var(--muted);
  font-size: 0.84rem;
  line-height: 1.58;
}

.operational-product-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 10px 16px;
  margin-top: auto;
  padding-top: 22px;
}

.text-link.text-link-external {
  color: var(--verify);
}

.product-header-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin-top: 22px;
}

.product-header-actions .button {
  min-height: 42px;
  padding: 0 16px;
}

.non-representative-header-actions + .product-public-scope,
.case-public-actions + .chip-row {
  margin-top: 22px;
}

.card-evidence strong {
  color: var(--verify);
}

.card-footer {
  display: flex;
  flex-direction: column;
  gap: 14px;
  margin-top: auto;
  padding-top: 18px;
}

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

.text-link {
  color: var(--command);
  font-weight: 760;
}

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

.text-link:hover {
  text-decoration: underline;
}

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

.example-links a {
  border: 1px solid var(--hairline);
  border-radius: 999px;
  padding: 4px 9px;
  color: var(--command);
  font-size: 0.82rem;
  font-weight: 720;
}

.principle-block h3 {
  margin: 0;
  font-size: 1.18rem;
}

.principle-block p {
  color: var(--muted);
}

.need-card {
  background: rgba(255, 255, 255, 0.72);
}

.need-grid-prioritized {
  grid-template-columns: minmax(0, 1.2fr) minmax(0, 0.8fr);
}

.need-card-primary {
  border-color: rgba(49, 92, 255, 0.28);
}

.need-card-secondary {
  background: rgba(255, 255, 255, 0.56);
}

.earlier-case-link {
  margin: 18px 0 0;
  color: var(--muted);
  font-size: 0.9rem;
}

.earlier-case-link a {
  margin-left: 6px;
  color: var(--command);
  font-weight: 760;
}

.need-card-compact {
  background: rgba(255, 255, 255, 0.54);
}

.need-card-topline {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 12px;
  color: var(--muted);
  font-size: 0.78rem;
  font-weight: 760;
  text-transform: uppercase;
}

.need-card-topline strong {
  color: var(--graphite);
  font-size: 0.82rem;
  text-align: right;
}

.need-card h3 {
  margin: 18px 0;
  font-size: 1.22rem;
  line-height: 1.28;
}

.need-field {
  margin-top: 14px;
}

.need-field strong {
  display: block;
  color: var(--command);
  font-size: 0.72rem;
  font-weight: 820;
  text-transform: uppercase;
}

.need-field p {
  margin: 5px 0 0;
  color: var(--muted);
  font-size: 0.92rem;
}

.need-field code {
  color: var(--ink);
  font-family: inherit;
  font-weight: 760;
}

.need-card-footer {
  display: flex;
  flex-wrap: wrap;
  gap: 10px 18px;
  margin-top: 18px;
  padding-top: 16px;
  border-top: 1px solid rgba(215, 220, 210, 0.78);
}

.archive-row {
  display: grid;
  grid-template-columns: 210px minmax(0, 1fr) 50px;
  align-items: center;
  gap: 24px;
  padding: 20px 22px;
}

.archive-list {
  display: grid;
  gap: 8px;
}

.archive-entry {
  display: grid;
  grid-template-columns: 64px minmax(0, 1fr) auto;
  align-items: center;
  gap: 24px;
  border-block: 1px solid var(--hairline);
  padding: 28px 4px;
}

.archive-entry:hover strong,
.archive-entry:hover em {
  color: var(--command);
}

.archive-entry-index {
  color: var(--verify);
  font-size: 1.55rem;
  font-weight: 820;
  font-variant-numeric: tabular-nums;
}

.archive-entry strong {
  display: block;
  color: var(--ink);
  font-size: 1.24rem;
}

.archive-entry p {
  max-width: 760px;
  margin: 7px 0 0;
  color: var(--muted);
  font-size: 0.94rem;
  line-height: 1.58;
}

.archive-entry em {
  color: var(--graphite);
  font-size: 0.86rem;
  font-style: normal;
  font-weight: 780;
  white-space: nowrap;
}

.archive-hero {
  border-bottom: 1px solid var(--hairline);
  background: #eef1ec;
  padding: 104px 0 72px;
}

.archive-hero-inner h1 {
  max-width: 900px;
  margin: 14px 0 0;
  font-size: clamp(3.4rem, 7vw, 6.8rem);
  line-height: 0.98;
}

.archive-hero-inner > p:not(.eyebrow) {
  max-width: 720px;
  margin: 26px 0 0;
  color: var(--graphite);
  font-size: 1.18rem;
  font-weight: 620;
  line-height: 1.58;
}

.archive-hero-inner small {
  display: block;
  max-width: 760px;
  margin-top: 16px;
  color: var(--muted);
  font-size: 0.9rem;
  line-height: 1.55;
}

.archive-index-inner {
  display: grid;
  grid-template-columns: 220px minmax(0, 1fr);
  gap: 48px;
  align-items: start;
}

.archive-index-heading {
  position: sticky;
  top: calc(var(--scroll-target-offset, 92px) + 12px);
}

.archive-index-heading span {
  color: var(--verify);
  font-size: 0.74rem;
  font-weight: 840;
}

.archive-index-heading h2 {
  margin: 12px 0 0;
  font-size: 1.65rem;
  line-height: 1.18;
}

.archive-index-list {
  border-top: 1px solid var(--hairline);
}

.archive-index-card {
  display: grid;
  grid-template-columns: minmax(150px, 0.46fr) minmax(0, 1.54fr) 126px;
  gap: 28px;
  align-items: start;
  border-bottom: 1px solid var(--hairline);
  padding: 26px 0;
}

.archive-index-card-title span {
  color: var(--verify);
  font-size: 0.72rem;
  font-weight: 840;
}

.archive-index-card-title h3 {
  margin: 8px 0 0;
  font-size: 1.2rem;
  line-height: 1.18;
}

.archive-index-card-title em {
  display: block;
  margin-top: 9px;
  color: var(--muted);
  font-size: 0.78rem;
  font-style: normal;
  line-height: 1.4;
}

.archive-index-card dl,
.archive-index-card dl div,
.archive-index-card dd {
  margin: 0;
}

.archive-index-card dl {
  display: grid;
  gap: 14px;
}

.archive-index-card dt {
  color: var(--graphite);
  font-size: 0.72rem;
  font-weight: 820;
}

.archive-index-card dd {
  margin-top: 4px;
  color: var(--muted);
  font-size: 0.9rem;
  line-height: 1.56;
}

.archive-index-card > a {
  align-self: center;
  font-size: 0.84rem;
  text-align: right;
}

.archive-row-title,
.archive-row-copy {
  min-width: 0;
}

.archive-row span,
.related-card span {
  color: var(--muted);
  font-size: 0.8rem;
  font-weight: 760;
  text-transform: uppercase;
}

.archive-row h3,
.archive-row p {
  margin: 4px 0 0;
}

.archive-row p {
  color: var(--muted);
}

.archive-row-copy p {
  margin: 0;
  color: var(--graphite);
  font-weight: 620;
}

.archive-row-copy small {
  display: block;
  margin-top: 5px;
  color: var(--muted);
  font-size: 0.84rem;
}

.technical-product-row {
  display: grid;
  grid-template-columns: 180px minmax(0, 0.8fr) minmax(0, 1.2fr) 72px;
  align-items: start;
  gap: 20px;
  margin-top: 16px;
  border-block: 1px solid var(--hairline);
  padding: 20px 4px;
}

.technical-product-row span {
  color: var(--muted);
  font-size: 0.76rem;
  font-weight: 760;
}

.technical-product-row h3,
.technical-product-row p {
  margin: 4px 0 0;
}

.technical-product-row p {
  color: var(--muted);
  font-size: 0.9rem;
}

.technical-product-row p strong {
  display: block;
  margin-bottom: 4px;
  color: var(--graphite);
}

.writeup-index {
  display: grid;
  gap: 10px;
}

.writeup-row {
  display: grid;
  grid-template-columns: 180px 190px minmax(0, 1fr) 64px;
  align-items: start;
  gap: 18px;
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  background: var(--surface);
  padding: 16px 18px;
}

.writeup-row strong,
.writeup-row em {
  font-style: normal;
  font-weight: 760;
}

.writeup-row span {
  color: var(--muted);
  font-size: 0.9rem;
}

.writeup-row p {
  margin: 0;
  color: var(--muted);
}

.writeup-row em {
  color: var(--command);
  text-align: right;
}

.writeup-case-index {
  margin-top: 34px;
  padding-top: 28px;
  border-top: 1px solid rgba(45, 49, 42, 0.1);
}

.writeup-case-label {
  margin: 0 0 12px;
  color: var(--muted);
  font-size: 0.76rem;
  font-weight: 840;
  text-transform: uppercase;
}

.case-writeup-row {
  background: rgba(255, 255, 255, 0.68);
}

.closing-band {
  background: var(--ink);
  color: #ffffff;
}

.closing-inner {
  max-width: 900px;
}

.closing-inner > p:not(.eyebrow) {
  max-width: 680px;
  margin: 18px 0 0;
  color: rgba(255, 255, 255, 0.72);
  font-size: 1.04rem;
}

.closing-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin-top: 28px;
}

.button-on-dark {
  border-color: rgba(255, 255, 255, 0.3);
  background: transparent;
  color: #ffffff;
}

.button-on-dark:hover {
  border-color: rgba(255, 255, 255, 0.68);
  background: rgba(255, 255, 255, 0.08);
}

.product-header {
  border-bottom: 1px solid var(--hairline);
  background: var(--surface);
  padding: 70px 0 46px;
}

.product-header h1 {
  max-width: 920px;
  margin: 0;
  font-size: 4.8rem;
  line-height: 0.98;
}

.product-one-line {
  max-width: 860px;
  margin: 20px 0 0;
  color: var(--graphite);
  font-size: 1.25rem;
  font-weight: 620;
}

.metadata-row {
  margin-top: 22px;
}

.product-public-scope {
  max-width: 900px;
  margin: 14px 0 0;
  border-left: 3px solid var(--hairline);
  padding-left: 12px;
  color: var(--muted);
  font-size: 0.82rem;
}

.product-public-scope strong {
  display: inline-block;
  margin-right: 8px;
  color: var(--ink);
}

.code-evidence-panel {
  display: grid;
  grid-template-columns: minmax(0, 1.45fr) minmax(280px, 0.75fr);
  align-items: center;
  gap: 24px;
  max-width: 960px;
  margin-top: 24px;
  border: 1px solid var(--hairline);
  border-radius: 6px;
  background: rgba(255, 255, 255, 0.72);
  padding: 18px;
}

.code-evidence-panel-open-source {
  border-color: rgba(21, 23, 19, 0.24);
}

.code-evidence-panel-public-sample {
  border-color: rgba(49, 92, 255, 0.28);
  background: rgba(245, 247, 255, 0.78);
}

.code-evidence-panel-copy {
  display: grid;
  grid-template-columns: auto minmax(0, 1fr);
  align-items: start;
  gap: 14px;
}

.code-evidence-panel-copy strong {
  display: block;
  font-size: 0.98rem;
  line-height: 1.35;
}

.code-evidence-panel-copy p {
  margin: 6px 0 0;
  color: var(--muted);
  font-size: 0.84rem;
  line-height: 1.55;
}

.code-evidence-panel-actions {
  display: flex;
  min-width: 0;
  flex-direction: column;
  align-items: flex-start;
  gap: 10px;
}

.code-evidence-panel-actions nav {
  display: flex;
  flex-wrap: wrap;
  gap: 6px 12px;
}

.code-evidence-panel-actions nav a {
  color: var(--ink);
  font-size: 0.72rem;
  font-weight: 720;
}

.code-evidence-panel-actions nav a:hover {
  color: var(--command);
  text-decoration: underline;
}

.code-evidence-badge {
  display: inline-flex;
  align-items: center;
  width: max-content;
  min-height: 22px;
  border: 1px solid currentColor;
  border-radius: 4px;
  padding: 3px 7px;
  font-size: 0.64rem;
  font-weight: 880;
  line-height: 1;
  text-transform: uppercase;
}

.card-topline .code-evidence-badge {
  margin-left: auto;
}

.code-evidence-badge-open-source {
  border-color: var(--ink);
  background: var(--ink);
  color: #ffffff;
}

.code-evidence-badge-public-sample {
  border-color: rgba(49, 92, 255, 0.4);
  background: rgba(49, 92, 255, 0.08);
  color: var(--command);
}

.code-evidence-card-scope {
  width: max-content;
  max-width: 100%;
  margin: 0;
  border-left: 3px solid var(--ink);
  padding-left: 8px;
  color: var(--graphite);
  font-size: 0.74rem;
  font-weight: 760;
}

.code-evidence-card-scope-public-sample {
  border-left-color: var(--command);
}

.code-source-link-open-source {
  color: var(--ink);
}

.code-source-link-public-sample {
  color: var(--ink);
}

.case-header {
  background:
    linear-gradient(135deg, rgba(255, 255, 255, 0.98), rgba(241, 243, 239, 0.96));
}

.artifact-header {
  background:
    radial-gradient(circle at 84% 18%, rgba(22, 138, 90, 0.12), transparent 26%),
    linear-gradient(135deg, rgba(255, 255, 255, 0.98), rgba(241, 243, 239, 0.96));
}

.artifact-meta-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 12px;
  max-width: 920px;
  margin-top: 26px;
}

.artifact-meta-grid div {
  min-width: 0;
  border: 1px solid rgba(215, 220, 210, 0.9);
  border-radius: var(--radius);
  background: rgba(255, 255, 255, 0.68);
  padding: 14px;
}

.artifact-meta-grid strong {
  display: block;
  color: var(--verify);
  font-size: 0.72rem;
  font-weight: 840;
  text-transform: uppercase;
}

.artifact-meta-grid span {
  display: block;
  margin-top: 6px;
  color: var(--graphite);
  font-size: 0.94rem;
  line-height: 1.4;
}

.detail-shell {
  padding-top: 64px;
}

.detail-flow {
  width: min(920px, calc(100vw - 64px));
}

.detail-remote {
  position: fixed;
  top: 50%;
  right: max(20px, calc((100vw - 1200px) / 2 - 96px));
  z-index: 40;
  display: grid;
  width: 112px;
  transform: translateY(-50%);
  gap: 6px;
  border: 1px solid rgba(215, 220, 210, 0.9);
  border-radius: var(--radius);
  background: rgba(255, 255, 255, 0.84);
  box-shadow: 0 16px 40px rgba(21, 23, 19, 0.09);
  padding: 8px;
  backdrop-filter: blur(16px);
}

.detail-remote span {
  padding: 2px 4px 4px;
  color: var(--muted);
  font-size: 0.68rem;
  font-weight: 820;
  line-height: 1.12;
  text-transform: uppercase;
}

.detail-remote button {
  position: relative;
  min-height: 30px;
  border: 0;
  border-radius: 6px;
  background: transparent;
  color: var(--graphite);
  cursor: pointer;
  font: inherit;
  font-size: 0.78rem;
  font-weight: 720;
  line-height: 1.1;
  padding: 0 8px;
  text-align: left;
}

.detail-remote button:hover {
  background: rgba(49, 92, 255, 0.09);
  color: var(--command);
}

.detail-remote button.is-prominent {
  color: var(--command);
}

.detail-main {
  min-width: 0;
}

.detail-section,
.markdown-body,
.feature-markdown,
.feature-block,
.overview-block {
  min-width: 0;
  overflow-wrap: anywhere;
}

.detail-section {
  scroll-margin-top: var(--scroll-target-offset, 92px);
  margin-bottom: 68px;
}

.detail-section > h2 {
  margin: 0 0 22px;
  font-size: 2.65rem;
  line-height: 1.12;
}

.detail-lede {
  margin: 0 0 56px;
  border-left: 3px solid var(--command);
  padding: 4px 0 4px 22px;
}

.detail-lede span {
  display: block;
  margin-bottom: 8px;
  color: var(--command);
  font-size: 0.78rem;
  font-weight: 800;
  text-transform: uppercase;
}

.detail-lede p {
  max-width: 820px;
  margin: 0;
  color: var(--ink);
  font-size: 1.42rem;
  font-weight: 680;
  line-height: 1.44;
}

.product-screens-section {
  margin-block: 86px 94px;
  border-block: 1px solid var(--hairline);
  padding-block: 42px 16px;
}

.product-screens-heading {
  max-width: 780px;
  margin-bottom: 34px;
}

.product-screens-heading > span {
  display: block;
  margin-bottom: 10px;
  color: var(--verify);
  font-size: 0.72rem;
  font-weight: 840;
  text-transform: uppercase;
}

.product-screens-heading h2 {
  margin: 0;
  font-size: 2.55rem;
  line-height: 1.14;
}

.product-screens-heading p {
  max-width: 720px;
  margin: 16px 0 0;
  color: var(--muted);
  font-size: 1rem;
  line-height: 1.72;
}

.product-screen-list {
  border-top: 1px solid var(--hairline);
}

.product-screen-item {
  display: grid;
  grid-template-columns: minmax(250px, 340px) minmax(0, 1fr);
  gap: 36px;
  margin: 0;
  border-bottom: 1px solid var(--hairline);
  padding-block: 30px;
}

.product-screen-item:first-child {
  grid-template-columns: minmax(280px, 390px) minmax(0, 1fr);
}

.product-screen-media {
  position: relative;
  display: block;
  width: 100%;
  min-width: 0;
  overflow: hidden;
  border: 1px solid rgba(21, 23, 19, 0.12);
  border-radius: 6px;
  background: #e9ece8;
  box-shadow: 0 18px 42px rgba(21, 23, 19, 0.1);
  padding: 0;
  cursor: zoom-in;
}

.product-screen-media img {
  display: block;
  width: 100%;
  height: 100%;
  object-fit: cover;
}

.product-screen-item-mobile-browser .product-screen-media {
  aspect-ratio: 3 / 5;
}

.product-screen-item-mobile-browser .product-screen-media img {
  object-position: 50% 55%;
}

.product-screen-item-wide .product-screen-media {
  aspect-ratio: 16 / 9;
}

.product-screen-item-evaluation-top .product-screen-media {
  aspect-ratio: 16 / 10;
}

.product-screen-item-evaluation-top .product-screen-media img {
  object-position: 50% 0;
}

.product-screen-media > span {
  position: absolute;
  right: 10px;
  bottom: 10px;
  border: 1px solid rgba(255, 255, 255, 0.3);
  border-radius: 5px;
  background: rgba(21, 23, 19, 0.82);
  color: #fff;
  padding: 7px 9px;
  font-size: 0.7rem;
  font-weight: 760;
  opacity: 0;
  transform: translateY(3px);
  transition: opacity 160ms ease, transform 160ms ease;
}

.product-screen-media:hover > span,
.product-screen-media:focus-visible > span {
  opacity: 1;
  transform: translateY(0);
}

.product-screen-item figcaption {
  display: grid;
  grid-template-columns: 44px minmax(0, 1fr);
  align-self: center;
  gap: 14px;
}

.product-screen-count {
  color: var(--verify);
  font-size: 0.7rem;
  font-weight: 840;
}

.product-screen-item figcaption small {
  display: block;
  color: var(--muted);
  font-size: 0.67rem;
  font-weight: 800;
  line-height: 1.35;
}

.product-screen-item figcaption h3 {
  margin: 9px 0 0;
  font-size: 1.42rem;
  line-height: 1.34;
}

.product-screen-item figcaption p {
  margin: 12px 0 0;
  color: var(--muted);
  font-size: 0.92rem;
  line-height: 1.65;
}

.product-screen-boundary {
  border-left: 2px solid var(--verify);
  padding-left: 12px;
}

.product-screen-boundary strong {
  display: block;
  margin-bottom: 3px;
  color: var(--verify);
  font-size: 0.7rem;
}

.product-screens-wide-stack .product-screen-item,
.product-screens-wide-stack .product-screen-item:first-child {
  grid-template-columns: 1fr;
  gap: 20px;
}

.product-screens-wide-stack .product-screen-item figcaption {
  max-width: 760px;
}

.product-screen-dialog {
  width: min(1100px, calc(100vw - 32px));
  max-height: calc(100vh - 32px);
  overflow: auto;
  border: 0;
  border-radius: 8px;
  background: var(--surface);
  box-shadow: 0 28px 90px rgba(21, 23, 19, 0.32);
  padding: 0;
}

.product-screen-dialog::backdrop {
  background: rgba(21, 23, 19, 0.72);
  backdrop-filter: blur(6px);
}

.product-screen-dialog-shell {
  padding: 18px;
}

.product-screen-dialog header {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 24px;
  margin-bottom: 16px;
}

.product-screen-dialog header span {
  display: block;
  color: var(--verify);
  font-size: 0.68rem;
  font-weight: 820;
}

.product-screen-dialog header h2 {
  margin: 6px 0 0;
  font-size: 1.25rem;
  line-height: 1.35;
}

.product-screen-dialog header button {
  min-width: 58px;
  min-height: 38px;
  border: 1px solid var(--hairline);
  border-radius: 6px;
  background: #fff;
  color: var(--ink);
  cursor: pointer;
  font: inherit;
  font-size: 0.78rem;
  font-weight: 760;
}

.product-screen-dialog-media {
  display: grid;
  min-height: 240px;
  place-items: center;
  overflow: hidden;
  background: #e5e8e4;
}

.product-screen-dialog-media img {
  display: block;
  width: 100%;
  max-height: calc(100vh - 230px);
  object-fit: contain;
}

.product-screen-dialog-media[data-crop="mobile-browser"] {
  width: min(440px, 100%);
  aspect-ratio: 3 / 5;
  margin-inline: auto;
}

.product-screen-dialog-media[data-crop="mobile-browser"] img {
  height: 100%;
  max-height: none;
  object-fit: cover;
  object-position: 50% 55%;
}

.product-screen-dialog-media[data-crop="evaluation-top"] {
  aspect-ratio: 16 / 10;
}

.product-screen-dialog-media[data-crop="evaluation-top"] img {
  height: 100%;
  max-height: none;
  object-fit: cover;
  object-position: 50% 0;
}

.product-screen-dialog footer {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 0.8fr);
  gap: 24px;
  margin-top: 16px;
}

.product-screen-dialog footer p {
  margin: 0;
  color: var(--muted);
  font-size: 0.84rem;
  line-height: 1.55;
}

.product-screen-dialog-boundary {
  border-left: 2px solid var(--verify);
  padding-left: 14px;
}

.case-lede {
  border-left-color: var(--verify);
}

.case-lede span,
.artifact-lede span {
  color: var(--verify);
}

.artifact-lede {
  border-left-color: var(--verify);
}

.case-summary-panel {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 14px;
  margin: -28px 0 60px;
}

.case-summary-field {
  min-width: 0;
  border: 1px solid rgba(215, 220, 210, 0.9);
  border-radius: var(--radius);
  background: rgba(255, 255, 255, 0.68);
  padding: 18px;
}

.case-summary-field strong {
  display: block;
  color: var(--verify);
  font-size: 0.74rem;
  font-weight: 840;
  text-transform: uppercase;
}

.case-summary-field p {
  margin: 8px 0 0;
  color: var(--graphite);
  font-size: 0.95rem;
  line-height: 1.58;
}

.inspect-first-section {
  margin-top: -24px;
  margin-bottom: 54px;
}

.inspect-first-panel {
  border: 1px solid rgba(49, 92, 255, 0.18);
  border-radius: var(--radius);
  background:
    linear-gradient(135deg, rgba(49, 92, 255, 0.06), rgba(255, 255, 255, 0.78));
  padding: 22px;
}

.inspect-first-heading {
  max-width: 760px;
}

.inspect-first-heading span {
  display: block;
  color: var(--command);
  font-size: 0.74rem;
  font-weight: 840;
  text-transform: uppercase;
}

.inspect-first-heading h2 {
  margin: 8px 0 0;
  font-size: 2rem;
  line-height: 1.12;
}

.inspect-first-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 12px;
  margin-top: 18px;
}

.inspect-first-item {
  min-width: 0;
  border: 1px solid rgba(215, 220, 210, 0.82);
  border-radius: var(--radius);
  background: rgba(255, 255, 255, 0.68);
  padding: 15px;
}

.inspect-first-item strong {
  display: block;
  color: var(--verify);
  font-size: 0.72rem;
  font-weight: 840;
  text-transform: uppercase;
}

.inspect-first-item p {
  margin: 7px 0 0;
  color: var(--graphite);
  font-size: 0.94rem;
  line-height: 1.55;
}

.inspect-first-action {
  margin-top: 18px;
}

.quick-proof-section {
  margin-top: -18px;
}

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

.quick-proof-item {
  border: 1px solid rgba(215, 220, 210, 0.9);
  border-radius: var(--radius);
  background: rgba(255, 255, 255, 0.7);
  padding: 18px;
}

.quick-proof-item strong {
  display: block;
  color: var(--verify);
  font-size: 0.74rem;
  font-weight: 840;
  text-transform: uppercase;
}

.quick-proof-item p {
  margin: 8px 0 0;
  color: var(--graphite);
  font-size: 0.95rem;
  line-height: 1.58;
}

.developer-learning-section {
  border-block: 1px solid rgba(215, 220, 210, 0.86);
  padding-block: 30px;
}

.evidence-assets-section {
  margin-top: -22px;
}

.evidence-assets-intro {
  max-width: 760px;
  margin: -8px 0 18px;
  color: var(--muted);
  font-size: 1rem;
}

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

.evidence-asset-card {
  display: block;
  min-width: 0;
  border: 1px solid rgba(215, 220, 210, 0.9);
  border-radius: var(--radius);
  background: rgba(255, 255, 255, 0.72);
  padding: 18px;
}

.evidence-asset-card:hover {
  border-color: rgba(49, 92, 255, 0.34);
  box-shadow: 0 14px 34px rgba(49, 92, 255, 0.08);
}

.evidence-asset-card span {
  display: inline-flex;
  color: var(--verify);
  font-size: 0.72rem;
  font-weight: 840;
  text-transform: uppercase;
}

.evidence-asset-card strong {
  display: block;
  margin-top: 8px;
  color: var(--ink);
  font-size: 1.02rem;
  line-height: 1.24;
}

.evidence-asset-card p {
  margin: 8px 0 0;
  color: var(--muted);
  font-size: 0.92rem;
  line-height: 1.56;
}

.overview-flow {
  display: grid;
  gap: 0;
}

.overview-block h3 {
  margin: 0 0 12px;
  font-size: 1.16rem;
  line-height: 1.25;
}

.overview-block {
  border: 0;
  border-radius: 0;
  background: transparent;
  padding: 0;
}

.flow-block {
  display: grid;
  grid-template-columns: 28px minmax(0, 1fr);
  gap: 18px;
  padding: 0 0 30px;
}

.flow-block:not(:last-child) {
  border-bottom: 1px solid rgba(215, 220, 210, 0.72);
  margin-bottom: 30px;
}

.flow-marker {
  position: relative;
  width: 12px;
  height: 12px;
  margin-top: 7px;
  border: 2px solid var(--command);
  border-radius: 999px;
  background: var(--bg);
}

.flow-copy h3 {
  margin-top: 0;
  font-size: 1.22rem;
}

.markdown-body p {
  margin: 0 0 12px;
  color: var(--graphite);
}

.markdown-body blockquote {
  margin: 20px 0;
  border-left: 3px solid var(--command);
  background: rgba(49, 92, 255, 0.05);
  padding: 14px 18px;
  color: var(--graphite);
  font-weight: 680;
}

.markdown-body ol {
  margin: 16px 0;
  padding-left: 1.4rem;
}

.markdown-body ol li {
  margin-top: 8px;
  padding-left: 4px;
}

.markdown-body a {
  color: var(--command);
  font-weight: 760;
  text-decoration: none;
  border-bottom: 1px solid rgba(49, 92, 255, 0.34);
}

.markdown-body a:hover {
  border-bottom-color: var(--command);
}

.markdown-body ul {
  margin: 0 0 14px;
  padding-left: 1.1rem;
}

.markdown-body li {
  margin: 7px 0;
}

.markdown-body li.nested {
  margin-left: 1rem;
}

.code-block {
  position: relative;
  margin: 0 0 16px;
}

.markdown-body pre {
  max-width: 100%;
  overflow-x: auto;
  border: 1px solid rgba(215, 220, 210, 0.9);
  border-radius: var(--radius);
  background: #151713;
  padding: 46px 16px 16px;
}

.copy-code-button {
  position: absolute;
  top: 10px;
  right: 10px;
  z-index: 2;
  min-height: 28px;
  border: 1px solid rgba(255, 255, 255, 0.24);
  border-radius: 6px;
  background: rgba(255, 255, 255, 0.1);
  color: #ffffff;
  cursor: pointer;
  font: inherit;
  font-size: 0.72rem;
  font-weight: 780;
  padding: 0 9px;
}

.copy-code-button:hover,
.copy-code-button.is-copied {
  background: rgba(255, 255, 255, 0.2);
}

.markdown-body pre code {
  display: block;
  border: 0;
  background: transparent;
  padding: 0;
  color: #f6f7f5;
  font-size: 0.82rem;
  line-height: 1.6;
  white-space: pre;
  overflow-wrap: normal;
}

.artifact-body-section {
  margin-bottom: 56px;
}

.artifact-body > h3 {
  margin: 30px 0 12px;
  color: var(--ink);
  font-size: 1.28rem;
}

.artifact-body h3 + p,
.artifact-body h3 + ul {
  margin-top: 0;
}

.artifact-content-section {
  scroll-margin-top: var(--scroll-target-offset, 92px);
  margin-bottom: 52px;
}

.artifact-content-section:last-child {
  margin-bottom: 0;
}

.artifact-content-section > h2 {
  margin: 0 0 18px;
  font-size: 1.7rem;
  line-height: 1.25;
}

.markdown-body h2[id],
.markdown-body h3[id],
.markdown-body h4[id] {
  scroll-margin-top: var(--scroll-target-offset, 92px);
}

.feature-stack {
  display: grid;
  gap: 26px;
}

.feature-block {
  border: 0;
  border-radius: 0;
  background: transparent;
  padding: 0 0 26px;
  border-bottom: 1px solid rgba(215, 220, 210, 0.86);
}

.feature-block:last-child {
  border-bottom: 0;
}

.feature-block header {
  margin-bottom: 18px;
  padding-bottom: 0;
  border-bottom: 0;
}

.feature-meta-row {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 8px;
  margin-bottom: 10px;
}

.feature-block h3 {
  margin: 0 0 14px;
  color: var(--ink);
  font-size: 1.55rem;
  font-weight: 820;
  line-height: 1.22;
}

.feature-keyword {
  display: inline-flex;
  color: var(--artifact);
  font-size: 0.76rem;
  font-weight: 800;
  line-height: 1.25;
  text-transform: uppercase;
}

.dx-point-small {
  min-height: 22px;
  padding: 2px 7px;
  font-size: 0.66rem;
}

.feature-block header p {
  margin: 0;
  color: var(--muted);
  font-weight: 620;
}

.feature-markdown > ul {
  display: block;
  padding-left: 1.1rem;
}

.feature-markdown strong {
  color: var(--ink);
  font-weight: 840;
}

.table-wrap {
  overflow-x: auto;
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  background: var(--surface);
}

.system-snapshot-section {
  border-block: 1px solid rgba(215, 220, 210, 0.86);
  padding-block: 30px;
}

.snapshot-copy {
  max-width: 760px;
  margin: -8px 0 22px;
  color: var(--muted);
  font-size: 1rem;
}

.snapshot-flow {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.snapshot-flow li {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  min-width: 0;
  color: var(--graphite);
  font-size: 0.88rem;
  font-weight: 720;
}

.snapshot-flow li:not(:last-child)::after {
  color: var(--command);
  content: "->";
  font-weight: 820;
}

.snapshot-flow span {
  display: inline-flex;
  align-items: center;
  min-height: 30px;
  border: 1px solid rgba(45, 49, 42, 0.12);
  border-radius: 999px;
  background: rgba(255, 255, 255, 0.72);
  padding: 5px 10px;
}

table {
  width: 100%;
  border-collapse: collapse;
  min-width: 640px;
}

th,
td {
  border-bottom: 1px solid var(--hairline);
  padding: 12px 14px;
  text-align: left;
  vertical-align: top;
}

th {
  background: var(--surface-alt);
  font-size: 0.82rem;
  text-transform: uppercase;
}

tr:last-child td {
  border-bottom: 0;
}

.related-card {
  display: block;
  padding: 18px;
}

.related-card strong {
  display: block;
  margin-top: 8px;
  font-size: 1.08rem;
}

.related-card p {
  margin: 8px 0 0;
  color: var(--muted);
  font-size: 0.9rem;
}

.not-found {
  min-height: 60vh;
}

.inspectable-scope-intro {
  max-width: 760px;
  margin: -8px 0 24px;
  color: var(--muted);
  font-size: 1rem;
}

.inspectable-scope-list {
  border-top: 1px solid var(--hairline);
}

.inspectable-scope-row {
  display: grid;
  grid-template-columns: 132px minmax(0, 1fr) 184px;
  align-items: center;
  gap: 20px;
  border-bottom: 1px solid var(--hairline);
  padding: 20px 4px;
}

.inspectable-scope-row:hover {
  background: rgba(49, 92, 255, 0.04);
}

.inspectable-scope-type {
  color: var(--verify);
  font-size: 0.74rem;
  font-weight: 840;
  text-transform: uppercase;
}

.inspectable-scope-row h3,
.inspectable-scope-row p {
  margin: 0;
}

.inspectable-scope-row h3 {
  font-size: 1.08rem;
  line-height: 1.3;
}

.inspectable-scope-row p {
  margin-top: 5px;
  color: var(--muted);
  font-size: 0.92rem;
}

.inspectable-scope-row em {
  color: var(--command);
  font-size: 0.86rem;
  font-style: normal;
  font-weight: 780;
  text-align: right;
  white-space: nowrap;
}

.inspectable-scope-boundary {
  margin: 20px 0 0;
  border-left: 3px solid var(--verify);
  background: rgba(22, 138, 90, 0.05);
  padding: 14px 16px;
  color: var(--muted);
  font-size: 0.9rem;
}

.inspectable-scope-boundary strong,
.demo-boundary strong,
.demo-limit-note strong {
  display: block;
  margin-bottom: 4px;
  color: var(--verify);
  font-size: 0.74rem;
  font-weight: 840;
  text-transform: uppercase;
}

.demo-page {
  background: var(--bg);
}

.demo-hero {
  border-bottom: 1px solid var(--hairline);
  background: #e9efea;
}

.demo-hero-inner {
  padding: 76px 0 54px;
}

.demo-hero h1 {
  max-width: 980px;
  margin: 0;
  font-size: 4rem;
  line-height: 1.02;
  overflow-wrap: normal;
  word-break: keep-all;
}

.demo-hero-summary {
  max-width: 820px;
  margin: 22px 0 0;
  color: var(--graphite);
  font-size: 1.22rem;
  font-weight: 620;
}

.demo-boundary {
  max-width: 880px;
  margin: 24px 0 0;
  border-left: 3px solid var(--verify);
  padding: 3px 0 3px 16px;
  color: var(--muted);
  font-size: 0.92rem;
}

.demo-route-strip {
  display: grid;
  grid-template-columns: repeat(6, minmax(0, 1fr));
  gap: 0;
  max-width: 980px;
  margin: 32px 0 0;
  border-block: 1px solid rgba(45, 49, 42, 0.14);
  padding: 0;
  list-style: none;
}

.demo-route-strip li {
  min-width: 0;
  padding: 16px 18px;
  color: var(--graphite);
  font-size: 0.9rem;
  font-weight: 720;
}

.demo-route-strip li:not(:last-child) {
  border-right: 1px solid rgba(45, 49, 42, 0.14);
}

.demo-route-strip span {
  display: block;
  margin-bottom: 5px;
  color: var(--command);
  font-size: 0.7rem;
  font-weight: 860;
}

.demo-inner {
  width: min(1040px, calc(100vw - 64px));
}

.demo-section .section-header {
  max-width: 860px;
}

.demo-input-grid {
  display: grid;
  grid-template-columns: minmax(0, 0.72fr) minmax(0, 1.28fr);
  gap: 24px;
  margin-bottom: 34px;
  border-block: 1px solid var(--hairline);
  padding: 24px 0;
}

.demo-input-block,
.demo-source-block {
  min-width: 0;
}

.demo-input-block > span,
.demo-source-block > span,
.demo-output-label,
.demo-meaning-panel span,
.demo-prompt-panel > span {
  color: var(--verify);
  font-size: 0.74rem;
  font-weight: 840;
  text-transform: uppercase;
}

.demo-input-block blockquote {
  margin: 12px 0 0;
  color: var(--ink);
  font-size: 1.35rem;
  font-weight: 720;
  line-height: 1.45;
}

.demo-run-context {
  display: grid;
  grid-template-columns: minmax(0, 0.9fr) minmax(0, 1.1fr);
  gap: 36px;
  border-block: 1px solid var(--hairline);
  padding: 28px 0;
}

.demo-run-prompt {
  align-self: start;
}

.demo-run-facts {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0;
  margin: 0;
  border-top: 1px solid var(--hairline);
}

.demo-run-facts > div {
  min-width: 0;
  border-bottom: 1px solid var(--hairline);
  padding: 14px 12px 14px 0;
}

.demo-run-facts > div:nth-child(odd) {
  padding-right: 20px;
}

.demo-run-facts dt {
  color: var(--muted);
  font-size: 0.74rem;
  font-weight: 780;
}

.demo-run-facts dd {
  margin: 6px 0 0;
  color: var(--ink);
  font-size: 0.94rem;
  font-weight: 680;
}

.demo-origin-separation {
  max-width: 900px;
  margin: 22px 0 0;
  border-left: 3px solid var(--artifact);
  padding: 3px 0 3px 16px;
  color: var(--muted);
  font-size: 0.9rem;
}

.demo-origin-separation strong,
.demo-boundary strong,
.demo-limit-note strong {
  display: block;
  margin-bottom: 4px;
  color: var(--graphite);
}

.demo-next-link {
  display: inline-block;
  margin-top: 24px;
  font-weight: 760;
}

.demo-intent-grid {
  margin: 0;
  border-top: 1px solid var(--hairline);
  padding: 0;
  list-style: none;
}

.demo-intent-grid li {
  display: grid;
  grid-template-columns: 54px minmax(0, 1fr);
  gap: 18px;
  border-bottom: 1px solid var(--hairline);
  padding: 18px 4px;
}

.demo-intent-grid li > span {
  color: var(--command);
  font-size: 0.74rem;
  font-weight: 860;
}

.demo-intent-grid h3 {
  margin: 0;
  font-size: 1.02rem;
}

.demo-intent-grid p {
  margin: 5px 0 0;
  color: var(--muted);
}

.demo-intent-note {
  display: grid;
  grid-template-columns: 160px minmax(0, 1fr);
  gap: 18px;
  margin-top: 22px;
  border-left: 3px solid var(--verify);
  padding: 3px 0 3px 16px;
}

.demo-intent-note strong {
  font-size: 0.88rem;
}

.demo-intent-note p {
  margin: 0;
  color: var(--muted);
  font-size: 0.9rem;
}

.demo-checkpoint-tabs {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  background: var(--surface);
  padding: 4px;
}

.demo-checkpoint-tabs button {
  min-width: 0;
  min-height: 72px;
  border: 0;
  border-radius: 6px;
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  font: inherit;
  font-size: 0.88rem;
  font-weight: 720;
  line-height: 1.35;
  padding: 10px 14px;
  text-align: left;
}

.demo-checkpoint-tabs button span {
  display: block;
  margin-bottom: 3px;
  color: var(--command);
  font-size: 0.68rem;
  font-weight: 840;
}

.demo-checkpoint-tabs button.is-active {
  background: var(--command);
  color: #ffffff;
}

.demo-checkpoint-tabs button.is-active span {
  color: rgba(255, 255, 255, 0.78);
}

.demo-checkpoint-panel {
  padding-top: 28px;
}

.demo-checkpoint-heading {
  max-width: 840px;
}

.demo-checkpoint-heading > span {
  color: var(--verify);
  font-size: 0.74rem;
  font-weight: 840;
}

.demo-checkpoint-heading h3 {
  margin: 6px 0 0;
  font-size: 1.55rem;
  line-height: 1.25;
}

.demo-checkpoint-heading p {
  margin: 10px 0 0;
  color: var(--muted);
}

.demo-checkpoint-output-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 14px;
  margin-top: 24px;
}

.demo-checkpoint-output {
  min-width: 0;
  min-height: 252px;
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  background: var(--surface);
  padding: 18px;
}

.demo-checkpoint-output > span {
  color: var(--command);
  font-size: 0.72rem;
  font-weight: 840;
}

.demo-checkpoint-output blockquote {
  margin: 16px 0 0;
  color: var(--graphite);
  font-size: 0.96rem;
  font-weight: 620;
  line-height: 1.68;
}

.demo-checkpoint-output > p {
  margin: 18px 0 0;
  border-top: 1px solid var(--hairline);
  padding-top: 12px;
  color: var(--muted);
  font-size: 0.84rem;
}

.demo-checkpoint-output > p strong {
  display: block;
  margin-bottom: 3px;
  color: var(--verify);
  font-size: 0.7rem;
}

.demo-checkpoint-output.is-answer {
  border-color: rgba(22, 138, 90, 0.48);
  box-shadow: 0 0 0 3px rgba(22, 138, 90, 0.08);
}

.demo-checkpoint-choice {
  margin: 26px 0 0;
  border: 0;
  border-top: 1px solid var(--hairline);
  padding: 20px 0 0;
}

.demo-checkpoint-choice legend {
  margin-bottom: 12px;
  font-size: 1rem;
  font-weight: 790;
}

.demo-checkpoint-choice > div {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}

.demo-checkpoint-choice label {
  cursor: pointer;
}

.demo-checkpoint-choice input {
  position: absolute;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip: rect(0 0 0 0);
  clip-path: inset(50%);
  white-space: nowrap;
}

.demo-checkpoint-choice label span {
  display: inline-flex;
  min-height: 38px;
  align-items: center;
  border: 1px solid var(--hairline);
  border-radius: 6px;
  background: var(--surface);
  color: var(--graphite);
  padding: 7px 14px;
  font-size: 0.88rem;
  font-weight: 720;
}

.demo-checkpoint-choice label:hover span,
.demo-checkpoint-choice label.is-selected span {
  border-color: var(--command);
  color: var(--command);
}

.demo-checkpoint-choice input:focus-visible + span {
  outline: 3px solid rgba(49, 92, 255, 0.28);
  outline-offset: 3px;
}

.demo-checkpoint-conclusion {
  margin: 16px 0 0;
  border-left: 3px solid var(--verify);
  padding: 3px 0 3px 16px;
  color: var(--graphite);
  font-weight: 680;
}

.demo-source-block ul {
  margin: 10px 0 0;
  padding-left: 1.1rem;
  color: var(--muted);
  font-size: 0.9rem;
}

.demo-source-block li {
  margin-top: 5px;
}

.demo-output-fieldset {
  margin: 0;
  border: 0;
  padding: 0;
}

.demo-output-fieldset legend {
  margin-bottom: 14px;
  font-size: 1.12rem;
  font-weight: 820;
}

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

.demo-output-card {
  display: block;
  min-width: 0;
  min-height: 330px;
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  background: var(--surface);
  padding: 20px;
  cursor: pointer;
}

.demo-output-card:hover {
  border-color: rgba(49, 92, 255, 0.36);
}

.demo-output-card.is-selected {
  border-color: var(--command);
  box-shadow: 0 0 0 3px rgba(49, 92, 255, 0.1);
}

.demo-output-card input {
  width: 18px;
  height: 18px;
  margin: 0 8px 0 0;
  accent-color: var(--command);
  vertical-align: middle;
}

.demo-output-card > p {
  margin: 20px 0 0;
  color: var(--graphite);
  line-height: 1.75;
}

.demo-output-groups {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 14px;
  margin-top: 20px;
}

.demo-output-groups section {
  min-width: 0;
  border-top: 2px solid rgba(49, 92, 255, 0.26);
  padding-top: 10px;
}

.demo-output-groups strong {
  font-size: 0.82rem;
}

.demo-output-groups ul {
  margin: 7px 0 0;
  padding-left: 1rem;
  color: var(--muted);
  font-size: 0.84rem;
}

.demo-output-groups li {
  margin-top: 4px;
}

.demo-evaluate-bar {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 16px;
  margin-top: 20px;
}

.demo-evaluation-feedback {
  min-height: 64px;
  margin: 14px 0 0;
  border-left: 3px solid var(--hairline);
  background: rgba(255, 255, 255, 0.56);
  padding: 13px 16px;
  color: var(--muted);
  font-size: 0.94rem;
}

.demo-evaluation-feedback.is-warning {
  border-left-color: var(--artifact);
  color: #755013;
}

.demo-evaluation-feedback.is-evaluated {
  border-left-color: var(--command);
  color: var(--graphite);
  font-weight: 640;
}

.demo-evaluation-feedback.is-correct {
  border-left-color: var(--verify);
}

.demo-rubric-head,
.demo-rubric-row {
  display: grid;
  grid-template-columns: minmax(170px, 0.9fr) 76px 76px 76px minmax(240px, 1.25fr);
  align-items: center;
  gap: 18px;
}

.demo-rubric-head {
  border-bottom: 1px solid var(--hairline);
  padding: 0 12px 10px;
  color: var(--muted);
  font-size: 0.72rem;
  font-weight: 820;
  text-transform: uppercase;
}

.demo-rubric-row {
  border-bottom: 1px solid var(--hairline);
  padding: 18px 12px;
}

.demo-rubric-row > strong {
  font-size: 0.96rem;
}

.demo-rubric-row > p {
  margin: 0;
  color: var(--muted);
  font-size: 0.88rem;
}

.demo-fit {
  display: inline-flex;
  width: fit-content;
  min-height: 26px;
  align-items: center;
  border: 1px solid var(--hairline);
  border-radius: 999px;
  padding: 3px 9px;
  font-size: 0.74rem;
  font-weight: 780;
}

.demo-fit-pass {
  border-color: rgba(22, 138, 90, 0.26);
  background: rgba(22, 138, 90, 0.08);
  color: var(--verify);
}

.demo-fit-mixed {
  border-color: rgba(184, 107, 0, 0.28);
  background: rgba(184, 107, 0, 0.08);
  color: #8d5700;
}

.demo-fit-fail {
  border-color: rgba(194, 65, 45, 0.26);
  background: rgba(194, 65, 45, 0.08);
  color: var(--boundary);
}

.demo-fit.is-selected-model {
  box-shadow: 0 0 0 3px rgba(49, 92, 255, 0.16);
}

.demo-rubric-conclusion {
  margin-top: 22px;
  border-left: 3px solid var(--command);
  padding: 3px 0 3px 16px;
}

.demo-rubric-conclusion strong {
  font-size: 1.12rem;
}

.demo-rubric-conclusion p {
  margin: 6px 0 0;
  color: var(--muted);
}

.demo-rubric-conclusion code {
  font-family: inherit;
  font-weight: 760;
}

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

.demo-result-card {
  min-width: 0;
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  background: var(--surface);
  padding: 20px;
}

.demo-result-b {
  border-color: rgba(49, 92, 255, 0.42);
  box-shadow: inset 0 3px 0 var(--command);
}

.demo-result-identity > span,
.demo-recommendation > span,
.demo-subsection-heading > span {
  color: var(--command);
  font-size: 0.72rem;
  font-weight: 840;
}

.demo-result-identity h3 {
  margin: 5px 0 0;
  font-size: 1.1rem;
}

.demo-result-score {
  display: flex;
  align-items: baseline;
  gap: 8px;
  margin-top: 20px;
  font-size: 2.5rem;
  line-height: 1;
}

.demo-result-score span {
  color: var(--muted);
  font-size: 0.72rem;
  font-weight: 720;
}

.demo-result-card dl {
  display: grid;
  gap: 7px;
  margin: 18px 0 0;
  border-top: 1px solid var(--hairline);
  padding-top: 14px;
}

.demo-result-card dl > div {
  display: flex;
  justify-content: space-between;
  gap: 12px;
}

.demo-result-card dt,
.demo-result-card dd {
  font-size: 0.82rem;
}

.demo-result-card dt {
  color: var(--muted);
}

.demo-result-card dd {
  margin: 0;
  color: var(--graphite);
  font-weight: 720;
  text-align: right;
}

.demo-result-card > p {
  margin: 16px 0 0;
  color: var(--muted);
  font-size: 0.88rem;
}

.demo-result-rubric {
  margin-top: 32px;
}

.demo-recommendation {
  display: grid;
  grid-template-columns: 150px 220px minmax(0, 1fr);
  align-items: start;
  gap: 20px;
  margin-top: 28px;
  border-left: 3px solid var(--command);
  background: rgba(49, 92, 255, 0.04);
  padding: 20px;
}

.demo-recommendation h3 {
  margin: 0;
  font-size: 1.25rem;
}

.demo-recommendation em {
  display: block;
  margin-top: 4px;
  color: var(--muted);
  font-size: 0.76rem;
  font-style: normal;
}

.demo-recommendation p {
  margin: 0;
  color: var(--graphite);
}

.demo-meaning-section {
  margin-top: 64px;
  border-top: 1px solid var(--hairline);
  padding-top: 42px;
  scroll-margin-top: var(--scroll-target-offset, 96px);
}

.demo-subsection-heading {
  max-width: 760px;
  margin-bottom: 22px;
}

.demo-subsection-heading h3 {
  margin: 7px 0 0;
  font-size: 1.8rem;
  line-height: 1.2;
}

.demo-subsection-heading p {
  margin: 10px 0 0;
  color: var(--muted);
}

.demo-term-tabs {
  display: inline-flex;
  max-width: 100%;
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  background: var(--surface);
  padding: 4px;
}

.demo-term-tabs button {
  min-height: 36px;
  border: 0;
  border-radius: 6px;
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  font: inherit;
  font-size: 0.9rem;
  font-weight: 720;
  padding: 0 16px;
}

.demo-term-tabs button.is-active {
  background: var(--command);
  color: #ffffff;
}

.demo-meaning-panel {
  margin-top: 22px;
  border-block: 1px solid var(--hairline);
  padding: 24px 0;
}

.demo-meaning-intent strong {
  display: block;
  margin-top: 7px;
  font-size: 1.2rem;
}

.demo-meaning-models {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 16px;
  margin-top: 24px;
}

.demo-meaning-models article {
  min-width: 0;
  border-left: 3px solid rgba(49, 92, 255, 0.24);
  padding-left: 14px;
}

.demo-meaning-models p,
.demo-meaning-diagnosis p {
  margin: 7px 0 0;
  color: var(--graphite);
}

.demo-meaning-diagnosis,
.demo-meaning-wording {
  display: grid;
  grid-template-columns: 160px minmax(0, 1fr);
  gap: 18px;
  margin-top: 22px;
  border-top: 1px solid rgba(215, 220, 210, 0.72);
  padding-top: 18px;
}

.demo-meaning-wording code {
  display: block;
  padding: 10px 12px;
  color: var(--ink);
  font-size: 0.9rem;
}

.demo-limit-note {
  margin: 18px 0 0;
  color: var(--muted);
  font-size: 0.88rem;
}

.demo-prompt-grid {
  display: grid;
  grid-template-columns: minmax(0, 0.8fr) minmax(0, 1.2fr);
  gap: 16px;
}

.demo-prompt-panel {
  min-width: 0;
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  background: var(--surface);
  padding: 20px;
}

.demo-prompt-panel-revised {
  border-color: rgba(49, 92, 255, 0.32);
}

.demo-prompt-panel h3 {
  margin: 8px 0 14px;
  font-size: 1.12rem;
}

.demo-prompt-panel pre {
  max-width: 100%;
  margin: 0;
  overflow-x: auto;
  white-space: pre-wrap;
}

.demo-prompt-panel pre code {
  display: block;
  border: 0;
  background: transparent;
  padding: 0;
  color: var(--graphite);
  font-family: inherit;
  font-size: 0.94rem;
  line-height: 1.7;
}

.demo-copy-block {
  margin: 0;
}

.demo-copy-block pre {
  min-height: 220px;
  border: 1px solid rgba(215, 220, 210, 0.9);
  border-radius: var(--radius);
  background: #151713;
  padding: 46px 16px 16px;
}

.demo-copy-block pre code {
  color: #f6f7f5;
}

.demo-preservation-check {
  margin-top: 24px;
  border-top: 1px solid var(--hairline);
  padding-top: 20px;
}

.demo-preservation-check h3 {
  margin: 0;
  font-size: 1.05rem;
}

.demo-preservation-check ul {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 8px 24px;
  margin: 14px 0 0;
  padding-left: 1.1rem;
  color: var(--muted);
}

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

.demo-expansion-list li {
  display: grid;
  grid-template-columns: 54px minmax(0, 1fr);
  gap: 18px;
  border-bottom: 1px solid var(--hairline);
  padding: 16px 4px;
}

.demo-expansion-list span {
  color: var(--command);
  font-size: 0.74rem;
  font-weight: 860;
}

.demo-expansion-list p {
  margin: 0;
  color: var(--graphite);
  font-weight: 620;
}

.demo-implementation-map {
  margin-top: 48px;
  border-top: 1px solid var(--hairline);
  padding-top: 34px;
}

.demo-implementation-heading {
  max-width: 760px;
}

.demo-implementation-heading > span {
  color: var(--verify);
  font-size: 0.74rem;
  font-weight: 840;
  text-transform: uppercase;
}

.demo-implementation-heading h3 {
  margin: 8px 0 0;
  font-size: 1.8rem;
  line-height: 1.2;
}

.demo-implementation-heading p {
  margin: 10px 0 0;
  color: var(--muted);
}

.demo-implementation-list {
  margin-top: 22px;
  border-top: 1px solid var(--hairline);
}

.demo-implementation-list article {
  display: grid;
  grid-template-columns: 44px 230px minmax(0, 1fr);
  align-items: start;
  gap: 18px;
  border-bottom: 1px solid var(--hairline);
  padding: 16px 4px;
}

.demo-implementation-list article > span {
  color: var(--command);
  font-size: 0.72rem;
  font-weight: 860;
}

.demo-implementation-list code {
  width: fit-content;
  color: var(--ink);
  font-size: 0.82rem;
  font-weight: 720;
}

.demo-implementation-list p {
  margin: 0;
  color: var(--muted);
  font-size: 0.9rem;
}

.demo-ending-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin-top: 28px;
}

.demo-limit-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0 28px;
  border-top: 1px solid var(--hairline);
}

.demo-limit-grid article {
  min-width: 0;
  border-bottom: 1px solid var(--hairline);
  padding: 20px 4px;
}

.demo-limit-grid h3 {
  margin: 0;
  font-size: 1rem;
}

.demo-limit-grid p {
  margin: 7px 0 0;
  color: var(--muted);
  font-size: 0.88rem;
}

.sr-only {
  position: absolute;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
}

.inspectable-scope-row small {
  display: block;
  margin-top: 8px;
  color: var(--muted);
  font-size: 0.78rem;
  line-height: 1.5;
}

.detail-proof-bridge {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 24px;
  margin: -42px 0 68px;
  border-block: 1px solid var(--hairline);
  background: rgba(49, 92, 255, 0.035);
  padding: 20px 22px;
}

.detail-proof-bridge div {
  min-width: 0;
}

.detail-proof-bridge span {
  display: block;
  color: var(--verify);
  font-size: 0.72rem;
  font-weight: 820;
}

.detail-proof-bridge strong {
  display: block;
  margin-top: 4px;
  font-size: 0.96rem;
}

.detail-proof-bridge .text-link {
  flex: 0 0 auto;
}

.inline-proof {
  margin: 34px 0 48px;
  border-block: 1px solid var(--hairline);
  background: transparent;
  padding: 28px 0;
  scroll-margin-top: var(--scroll-target-offset, 92px);
}

.inline-proof-heading {
  display: grid;
  grid-template-columns: 164px minmax(0, 1fr);
  align-items: start;
  gap: 22px;
  margin-bottom: 24px;
}

.inline-proof-heading h3 {
  margin: 0;
  font-size: 1.42rem;
  line-height: 1.25;
}

.inline-proof-heading p {
  max-width: 720px;
  margin: 8px 0 0;
  color: var(--muted);
}

.proof-status {
  width: fit-content;
  border: 1px solid currentColor;
  border-radius: 999px;
  padding: 6px 9px;
  font-size: 0.72rem;
  font-weight: 820;
  line-height: 1.15;
}

.proof-status-actual {
  color: var(--verify);
}

.proof-status-sample {
  color: var(--graphite);
}

.proof-status-history {
  color: var(--artifact);
}

.charge-trace,
.app-anatomy {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 12px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.charge-trace-step {
  position: relative;
  min-height: 264px;
  border-top: 3px solid var(--hairline);
  background: var(--surface);
  padding: 18px;
}

.charge-trace-step.trace-pass {
  border-top-color: var(--verify);
}

.charge-trace-step.trace-fail {
  border-top-color: var(--boundary);
}

.charge-trace-step.trace-repair {
  border-top-color: var(--artifact);
}

.charge-trace-step.trace-blocked {
  border-top-color: var(--graphite);
}

.trace-index {
  color: #899087;
  font-family: "SF Mono", ui-monospace, monospace;
  font-size: 0.72rem;
  font-weight: 800;
}

.trace-step-head {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 8px;
  margin: 12px 0 16px;
}

.trace-step-head strong {
  font-size: 1rem;
}

.trace-step-head em {
  color: var(--muted);
  font-size: 0.72rem;
  font-style: normal;
  text-align: right;
}

.charge-trace-step p {
  margin: 0;
  border-top: 1px solid rgba(215, 220, 210, 0.76);
  padding: 10px 0;
  color: var(--graphite);
  font-size: 0.82rem;
}

.charge-trace-step p span {
  display: block;
  margin-bottom: 3px;
  color: #747b71;
  font-size: 0.68rem;
  font-weight: 760;
}

.charge-trace-step > a {
  display: inline-block;
  margin-top: 12px;
  color: var(--command);
  font-size: 0.78rem;
  font-weight: 760;
}

.inline-proof-boundary {
  margin: 24px 0 0;
  border-top: 1px solid var(--hairline);
  padding-top: 18px;
  color: var(--muted);
  font-size: 0.84rem;
}

.inline-proof-boundary strong {
  display: block;
  margin-bottom: 5px;
  color: var(--ink);
}

.inline-proof-followup {
  margin-top: 30px;
}

.supporting-proof-section > .inline-proof + .inline-proof {
  margin-top: 64px;
}

.checkpoint-layout {
  display: grid;
  grid-template-columns: minmax(0, 1.08fr) minmax(320px, 0.92fr);
  gap: 28px;
}

.checkpoint-states {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
}

.checkpoint-states section {
  min-height: 176px;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  padding: 18px;
}

.checkpoint-states h4,
.checkpoint-timeline h4 {
  margin: 0 0 10px;
  font-size: 0.88rem;
}

.checkpoint-states ul {
  margin: 0;
  padding-left: 18px;
}

.checkpoint-states li,
.checkpoint-states p {
  margin: 4px 0;
  color: var(--muted);
  font-size: 0.8rem;
}

.checkpoint-timeline {
  min-width: 0;
}

.checkpoint-timeline .table-scroll {
  margin: 0;
}

.checkpoint-timeline table {
  min-width: 0;
  font-size: 0.8rem;
}

.app-anatomy li {
  display: grid;
  grid-template-columns: 34px minmax(0, 1fr);
  gap: 10px;
  min-height: 126px;
  border-top: 1px solid var(--hairline);
  padding: 16px 4px;
}

.app-anatomy li > span {
  color: var(--command);
  font-family: "SF Mono", ui-monospace, monospace;
  font-size: 0.72rem;
  font-weight: 820;
}

.app-anatomy strong {
  font-size: 0.92rem;
}

.app-anatomy p {
  margin: 7px 0 0;
  color: var(--muted);
  font-size: 0.8rem;
}

.inline-proof-links {
  display: flex;
  flex-wrap: wrap;
  gap: 8px 16px;
  margin-top: 22px;
}

.inline-proof-links a {
  color: var(--command);
  font-size: 0.82rem;
  font-weight: 740;
}

.qc-trace-hero {
  border-bottom: 1px solid var(--hairline);
  background: #edf1eb;
}

.qc-trace-hero-inner {
  padding: 78px 0 54px;
}

.qc-trace-hero h1 {
  max-width: 820px;
  margin: 0;
  font-size: clamp(3rem, 5vw, 5.2rem);
  line-height: 1.02;
  letter-spacing: 0;
}

.qc-trace-summary {
  max-width: 800px;
  margin: 24px 0 0;
  font-size: 1.18rem;
  font-weight: 620;
}

.qc-trace-boundary {
  max-width: 820px;
  margin: 26px 0 0;
  border-left: 3px solid var(--verify);
  background: rgba(255, 255, 255, 0.6);
  padding: 16px 18px;
  color: var(--muted);
  font-size: 0.9rem;
}

.qc-trace-boundary strong {
  display: block;
  margin-bottom: 4px;
  color: var(--ink);
}

.qc-route-strip {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  max-width: 900px;
  margin: 38px 0 0;
  border-block: 1px solid rgba(45, 49, 42, 0.14);
  padding: 0;
  list-style: none;
}

.qc-route-strip li {
  min-width: 0;
  border-right: 1px solid rgba(45, 49, 42, 0.14);
  padding: 15px;
  font-size: 0.78rem;
  font-weight: 720;
}

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

.qc-route-strip span {
  display: block;
  margin-bottom: 4px;
  color: var(--verify);
  font-size: 0.68rem;
}

.qc-trace-section[id] {
  scroll-margin-top: var(--scroll-target-offset, 92px);
}

.qc-trace-inner {
  width: min(980px, calc(100vw - 64px));
}

.qc-request-copy blockquote {
  max-width: 820px;
  margin: 0 0 30px;
  border-left: 3px solid var(--command);
  background: var(--surface);
  padding: 24px;
  font-size: 1.2rem;
  font-weight: 620;
}

.qc-verdict-panel {
  display: grid;
  grid-template-columns: minmax(300px, 0.75fr) minmax(0, 1.25fr);
  gap: 32px;
  align-items: start;
  border-block: 1px solid var(--hairline);
  padding: 32px 0;
}

.qc-verdict-panel blockquote {
  margin: 0;
  color: var(--boundary);
  font-size: 2rem;
  font-weight: 820;
  line-height: 1.12;
}

.qc-verdict-contrast {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  margin-top: 28px;
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
}

.qc-verdict-contrast div {
  min-height: 112px;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  padding: 16px;
}

.qc-verdict-contrast span,
.qc-verdict-contrast strong {
  display: block;
}

.qc-verdict-contrast span {
  color: var(--muted);
  font-size: 0.72rem;
}

.qc-verdict-contrast strong {
  margin-top: 8px;
  font-size: 0.9rem;
}

.qc-repair-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
}

.qc-repair-card {
  min-width: 0;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  background: rgba(255, 255, 255, 0.62);
  padding: 24px;
}

.qc-repair-card-head {
  display: flex;
  align-items: baseline;
  gap: 12px;
}

.qc-repair-card-head span {
  color: var(--command);
  font-family: "SF Mono", ui-monospace, monospace;
  font-size: 0.72rem;
  font-weight: 820;
}

.qc-repair-card h3 {
  margin: 0;
  font-size: 1.2rem;
}

.qc-repair-card dl {
  margin: 18px 0 0;
}

.qc-repair-card dl div {
  border-top: 1px solid rgba(215, 220, 210, 0.8);
  padding: 13px 0;
}

.qc-repair-card dt {
  color: var(--muted);
  font-size: 0.7rem;
  font-weight: 780;
}

.qc-repair-card dd {
  margin: 5px 0 0;
  font-size: 0.9rem;
}

.qc-repair-card dl div:last-child dd {
  color: #0f6542;
  font-weight: 680;
}

.qc-before-after {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 48px minmax(0, 1fr);
  align-items: stretch;
  gap: 14px;
}

.qc-before-after article {
  border: 1px solid var(--hairline);
  background: var(--surface);
  padding: 24px;
}

.qc-before-after article:last-child {
  border-color: rgba(22, 138, 90, 0.42);
}

.qc-before-after span {
  color: var(--muted);
  font-size: 0.72rem;
  font-weight: 780;
}

.qc-before-after p {
  margin: 12px 0 0;
  font-size: 1rem;
  font-weight: 620;
}

.qc-change-arrow {
  display: grid;
  place-items: center;
  color: var(--verify);
  font-size: 1.6rem;
}

.qc-change-list,
.qc-limitations {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0 28px;
  margin: 28px 0 0;
  border-top: 1px solid var(--hairline);
  padding: 0;
  list-style: none;
}

.qc-change-list li,
.qc-limitations li {
  border-bottom: 1px solid var(--hairline);
  padding: 16px 2px;
  font-size: 0.88rem;
}

.qc-result-links {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
}

.qc-result-links a {
  display: grid;
  grid-template-columns: 34px minmax(0, 1fr);
  gap: 8px 12px;
  min-height: 126px;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  background: var(--surface);
  padding: 20px;
}

.qc-result-links a:hover {
  background: rgba(49, 92, 255, 0.04);
}

.qc-result-links span {
  grid-row: 1 / span 2;
  color: var(--command);
  font-size: 0.72rem;
  font-weight: 820;
}

.qc-result-links strong {
  font-size: 0.96rem;
}

.qc-result-links em {
  color: var(--muted);
  font-size: 0.72rem;
  font-style: normal;
}

.visual-demo-hero {
  border-bottom: 1px solid var(--hairline);
  background: #eef2ed;
}

.visual-demo-hero h1 {
  max-width: 980px;
}

.visual-route-strip {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  max-width: 900px;
  margin: 36px 0 0;
  border-block: 1px solid rgba(45, 49, 42, 0.14);
  padding: 0;
  list-style: none;
}

.visual-route-strip li {
  border-right: 1px solid rgba(45, 49, 42, 0.14);
  padding: 15px;
  font-size: 0.8rem;
  font-weight: 740;
}

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

.visual-route-strip span {
  display: block;
  margin-bottom: 4px;
  color: var(--command);
  font-size: 0.68rem;
}

.visual-demo-section[id],
#flat-extraction,
#document-map,
#public-boundary {
  scroll-margin-top: var(--scroll-target-offset, 94px);
}

.visual-demo-inner {
  width: min(1080px, calc(100vw - 64px));
}

.visual-demo-wide {
  width: min(1320px, calc(100vw - 48px));
  margin: 0 auto;
}

.visual-source-intro {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1fr) auto;
  align-items: center;
  gap: 18px;
  margin-bottom: 28px;
  border-block: 1px solid var(--hairline);
  padding: 16px 2px;
}

.visual-source-intro div span,
.visual-source-intro div strong {
  display: block;
}

.visual-source-intro div span {
  color: var(--muted);
  font-size: 0.7rem;
  font-weight: 760;
}

.visual-source-intro div strong {
  margin-top: 4px;
  font-size: 0.9rem;
}

.visual-page-gallery {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 14px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.visual-page-gallery li {
  min-width: 0;
}

.visual-page-gallery button,
.visual-source-stage {
  position: relative;
  display: block;
  width: 100%;
  overflow: hidden;
  border: 1px solid var(--hairline);
  border-radius: 5px;
  background: #f3f5f1;
  padding: 0;
  cursor: zoom-in;
}

.visual-page-gallery button {
  aspect-ratio: 16 / 9;
}

.visual-page-gallery button:hover,
.visual-source-stage:hover {
  border-color: rgba(49, 92, 255, 0.55);
}

.visual-page-gallery button:focus-visible,
.visual-source-stage:focus-visible,
.visual-page-tabs button:focus-visible,
.visual-verification-list button:focus-visible,
.visual-source-dialog button:focus-visible {
  outline: 3px solid rgba(49, 92, 255, 0.3);
  outline-offset: 3px;
}

.visual-page-gallery img,
.visual-source-stage img {
  display: block;
  width: 100%;
  height: 100%;
  object-fit: contain;
}

.visual-page-gallery button > span,
.visual-source-zoom {
  position: absolute;
  right: 8px;
  bottom: 8px;
  border-radius: 999px;
  background: rgba(24, 27, 24, 0.88);
  padding: 5px 8px;
  color: #fff;
  font-size: 0.66rem;
  font-weight: 760;
}

.visual-page-gallery li > div {
  padding: 14px 2px 0;
}

.visual-page-gallery em,
.visual-page-gallery strong {
  display: block;
}

.visual-page-gallery em {
  color: var(--command);
  font-size: 0.68rem;
  font-style: normal;
  font-weight: 820;
}

.visual-page-gallery strong {
  margin-top: 6px;
  font-size: 0.92rem;
}

.visual-page-gallery p {
  margin: 5px 0 0;
  color: var(--muted);
  font-size: 0.78rem;
}

.visual-synthetic-note,
.visual-comparison-boundary {
  margin: 28px 0 0;
  border-left: 3px solid var(--command);
  background: rgba(49, 92, 255, 0.045);
  padding: 14px 16px;
  color: var(--muted);
  font-size: 0.82rem;
}

.visual-synthetic-note strong,
.visual-comparison-boundary strong {
  display: block;
  margin-bottom: 4px;
  color: var(--ink);
}

.visual-page-tabs {
  display: inline-flex;
  margin-bottom: 16px;
  border: 1px solid var(--hairline);
  border-radius: 6px;
  background: var(--surface);
  padding: 3px;
}

.visual-page-tabs button {
  min-height: 42px;
  border: 0;
  border-radius: 4px;
  background: transparent;
  padding: 9px 16px;
  color: var(--muted);
  font: inherit;
  font-size: 0.82rem;
  font-weight: 760;
  cursor: pointer;
}

.visual-page-tabs button.is-active {
  background: var(--ink);
  color: #fff;
}

.visual-comparison-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
}

.visual-comparison-pane {
  min-width: 0;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  background: rgba(255, 255, 255, 0.74);
  padding: 22px;
}

.visual-pane-heading {
  min-height: 158px;
}

.visual-pane-heading > span {
  color: var(--command);
  font-size: 0.68rem;
  font-weight: 840;
}

.visual-pane-heading h2 {
  margin: 9px 0 0;
  font-size: 1.18rem;
  line-height: 1.28;
}

.visual-pane-heading p {
  margin: 8px 0 0;
  color: var(--muted);
  font-size: 0.8rem;
}

.visual-source-stage {
  aspect-ratio: 16 / 9;
}

.visual-source-highlight {
  position: absolute;
  z-index: 2;
  border: 3px solid var(--boundary);
  border-radius: 4px;
  background: rgba(180, 58, 53, 0.18);
  pointer-events: none;
}

.visual-verify-current {
  min-height: 58px;
  margin: 14px 0 0;
  color: var(--muted);
  font-size: 0.76rem;
}

.visual-verify-current strong {
  display: block;
  margin-bottom: 3px;
  color: var(--ink);
}

.visual-extraction-output {
  height: 370px;
  margin: 0;
  overflow: auto;
  border: 1px solid #d8dcd5;
  border-radius: 5px;
  background: #202420;
  padding: 18px;
  white-space: pre-wrap;
  color: #eef1eb;
  font: 0.75rem/1.62 "SF Mono", ui-monospace, monospace;
}

.visual-extraction-output code {
  border: 0;
  background: transparent;
  padding: 0;
  color: inherit;
  font: inherit;
}

.visual-loss-list {
  margin: 18px 0 0;
  padding: 0;
  list-style: none;
}

.visual-loss-list li {
  border-top: 1px solid var(--hairline);
  padding: 10px 0;
  color: var(--muted);
  font-size: 0.77rem;
}

.visual-map-flow {
  margin: 0;
  padding: 0;
  list-style: none;
}

.visual-map-flow li {
  position: relative;
  display: grid;
  grid-template-columns: 32px minmax(0, 1fr);
  gap: 10px;
  min-height: 92px;
  border-top: 1px solid var(--hairline);
  padding: 14px 0;
}

.visual-map-flow li:not(:last-child)::after {
  position: absolute;
  bottom: -4px;
  left: 12px;
  color: var(--command);
  content: "↓";
  font-weight: 820;
}

.visual-map-flow li > span {
  color: var(--command);
  font-family: "SF Mono", ui-monospace, monospace;
  font-size: 0.7rem;
  font-weight: 820;
}

.visual-map-flow strong {
  font-size: 0.86rem;
}

.visual-map-flow p,
.visual-map-exception p,
.visual-map-boundary p,
.visual-map-note {
  margin: 5px 0 0;
  color: var(--muted);
  font-size: 0.77rem;
}

.visual-map-exception,
.visual-map-boundary {
  margin-top: 12px;
  border-left: 3px solid var(--artifact);
  background: rgba(176, 106, 23, 0.06);
  padding: 12px 14px;
}

.visual-map-boundary {
  border-left-color: var(--boundary);
  background: rgba(180, 58, 53, 0.05);
}

.visual-map-exception span,
.visual-map-boundary span {
  font-size: 0.68rem;
  font-weight: 820;
}

.visual-map-note {
  margin-top: 16px;
  border-top: 1px solid var(--hairline);
  padding-top: 14px;
}

.visual-verification-list {
  border-top: 1px solid var(--hairline);
}

.visual-verification-list button {
  display: grid;
  grid-template-columns: 44px minmax(0, 1fr) 160px;
  align-items: center;
  gap: 16px;
  width: 100%;
  border: 0;
  border-bottom: 1px solid var(--hairline);
  background: transparent;
  padding: 22px 2px;
  text-align: left;
  cursor: pointer;
}

.visual-verification-list button:hover,
.visual-verification-list button[aria-pressed="true"] {
  background: rgba(49, 92, 255, 0.035);
}

.visual-verification-list button > span {
  color: var(--command);
  font-family: "SF Mono", ui-monospace, monospace;
  font-size: 0.72rem;
  font-weight: 820;
}

.visual-verification-list strong,
.visual-verification-list em,
.visual-verification-list b {
  display: block;
}

.visual-verification-list strong {
  font-size: 0.94rem;
}

.visual-verification-list p {
  margin: 5px 0;
  color: var(--muted);
  font-size: 0.82rem;
}

.visual-verification-list em {
  color: #737a72;
  font-size: 0.72rem;
  font-style: normal;
}

.visual-verification-list b {
  color: var(--command);
  font-size: 0.78rem;
  text-align: right;
}

.visual-file-contract {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
}

.visual-file-contract > div {
  min-height: 106px;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  background: rgba(255, 255, 255, 0.68);
  padding: 18px;
}

.visual-file-contract code {
  color: var(--command);
  font-size: 0.78rem;
  font-weight: 760;
}

.visual-file-contract p {
  margin: 10px 0 0;
  color: var(--muted);
  font-size: 0.82rem;
}

.visual-implementation-links {
  display: flex;
  flex-wrap: wrap;
  gap: 10px 22px;
  margin-top: 24px;
}

.visual-implementation-links a {
  color: var(--command);
  font-size: 0.82rem;
  font-weight: 760;
}

.visual-limitations {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0 28px;
  margin: 0;
  border-top: 1px solid var(--hairline);
  padding: 0;
  list-style: none;
}

.visual-limitations li {
  border-bottom: 1px solid var(--hairline);
  padding: 18px 2px;
  color: var(--muted);
  font-size: 0.88rem;
}

.visual-source-dialog {
  width: min(1320px, calc(100vw - 48px));
  max-width: none;
  max-height: calc(100vh - 48px);
  overflow: auto;
  border: 1px solid var(--hairline);
  border-radius: 7px;
  background: #f5f7f2;
  padding: 0;
  color: var(--ink);
}

.visual-source-dialog::backdrop {
  background: rgba(18, 21, 18, 0.72);
}

.visual-dialog-shell {
  padding: 20px;
}

.visual-dialog-head {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 24px;
  margin-bottom: 16px;
}

.visual-dialog-head span {
  color: var(--command);
  font-size: 0.68rem;
  font-weight: 820;
}

.visual-dialog-head h2 {
  margin: 5px 0 0;
  font-size: 1.25rem;
}

.visual-dialog-head button {
  min-width: 52px;
  min-height: 38px;
  border: 1px solid var(--hairline);
  border-radius: 5px;
  background: #fff;
  color: var(--ink);
  font: inherit;
  font-size: 0.78rem;
  font-weight: 760;
  cursor: pointer;
}

.visual-dialog-stage {
  position: relative;
  overflow: hidden;
  border: 1px solid var(--hairline);
  background: #fff;
}

.visual-dialog-stage img {
  display: block;
  width: 100%;
  height: auto;
}

.visual-dialog-reading {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 24px;
  border-bottom: 1px solid var(--hairline);
  padding: 18px 2px 4px;
}

.visual-dialog-reading span {
  color: var(--muted);
  font-size: 0.68rem;
  font-weight: 820;
}

.visual-dialog-reading p {
  margin: 6px 0 14px;
  font-size: 0.84rem;
}

.worldlim-evidence-page {
  background: var(--bg);
}

.worldlim-evidence-hero {
  border-bottom: 1px solid var(--hairline);
  background: #eef2ed;
}

.worldlim-evidence-hero-inner {
  padding: 76px 0 56px;
}

.worldlim-evidence-hero h1 {
  max-width: 900px;
  margin: 0;
  font-size: clamp(3.1rem, 5.4vw, 5.45rem);
  line-height: 1.01;
  letter-spacing: 0;
}

.worldlim-evidence-summary {
  max-width: 850px;
  margin: 24px 0 0;
  font-size: 1.18rem;
  font-weight: 620;
  line-height: 1.58;
}

.worldlim-evidence-boundary {
  display: grid;
  grid-template-columns: 150px minmax(0, 1fr);
  gap: 20px;
  max-width: 940px;
  margin-top: 28px;
  border-left: 3px solid var(--verify);
  background: rgba(255, 255, 255, 0.66);
  padding: 18px 20px;
}

.worldlim-evidence-boundary > strong {
  font-size: 0.82rem;
}

.worldlim-evidence-boundary .markdown-body p {
  margin: 0;
  color: var(--muted);
  font-size: 0.84rem;
}

.worldlim-evidence-boundary .markdown-body p + p {
  margin-top: 8px;
}

.worldlim-route-strip {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  max-width: 920px;
  margin: 38px 0 0;
  border-block: 1px solid rgba(45, 49, 42, 0.15);
  padding: 0;
  list-style: none;
}

.worldlim-route-strip li {
  min-width: 0;
  border-right: 1px solid rgba(45, 49, 42, 0.15);
  padding: 15px;
  font-size: 0.8rem;
  font-weight: 740;
}

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

.worldlim-route-strip span {
  display: block;
  margin-bottom: 4px;
  color: var(--verify);
  font-size: 0.68rem;
}

.worldlim-legend-band {
  border-bottom: 1px solid var(--hairline);
  background: var(--surface);
  padding: 46px 0;
}

.worldlim-evidence-inner {
  width: min(1040px, calc(100vw - 64px));
}

.worldlim-evidence-legend-head {
  display: grid;
  grid-template-columns: 190px minmax(0, 1fr);
  align-items: end;
  gap: 24px;
}

.worldlim-evidence-legend-head .section-kicker {
  margin: 0;
}

.worldlim-evidence-legend-head h2 {
  max-width: 720px;
  margin: 0;
  font-size: 1.42rem;
  line-height: 1.28;
}

.worldlim-evidence-legend {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  margin: 28px 0 0;
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
  padding: 0;
  list-style: none;
}

.worldlim-evidence-legend li {
  min-height: 148px;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  padding: 16px;
}

.worldlim-evidence-legend span,
.worldlim-evidence-legend strong {
  display: block;
}

.worldlim-evidence-legend span {
  color: var(--command);
  font-size: 0.68rem;
  font-weight: 820;
}

.worldlim-evidence-legend strong {
  margin-top: 9px;
  font-size: 0.88rem;
}

.worldlim-evidence-legend p {
  margin: 7px 0 0;
  color: var(--muted);
  font-size: 0.76rem;
}

.worldlim-evidence-section[id] {
  scroll-margin-top: var(--scroll-target-offset, 92px);
}

.worldlim-evidence-section .section-header {
  max-width: 900px;
}

.worldlim-evidence-section .section-header h2 {
  max-width: 900px;
  font-size: clamp(2.25rem, 4vw, 3.55rem);
}

.worldlim-evidence-actual .section-kicker {
  color: var(--verify);
}

.worldlim-evidence-repair .section-kicker {
  color: var(--artifact);
}

.worldlim-evidence-runtime .section-kicker {
  color: var(--command);
}

.worldlim-evidence-public .section-kicker {
  color: var(--graphite);
}

.worldlim-metric-grid {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
}

.worldlim-metric-grid article {
  min-width: 0;
  min-height: 180px;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  background: rgba(255, 255, 255, 0.64);
  padding: 19px;
}

.worldlim-metric-grid span,
.worldlim-metric-grid strong {
  display: block;
}

.worldlim-metric-grid span {
  min-height: 36px;
  color: var(--muted);
  font-size: 0.72rem;
  font-weight: 760;
}

.worldlim-metric-grid strong {
  margin-top: 10px;
  color: #0f6542;
  font-size: 1.9rem;
  line-height: 1;
}

.worldlim-metric-grid p {
  margin: 14px 0 0;
  color: var(--muted);
  font-size: 0.76rem;
}

.worldlim-lineage-block,
.worldlim-caution-block,
.worldlim-count-explanation,
.worldlim-context-layout,
.worldlim-public-trace-heading,
.worldlim-public-boundary {
  margin-top: 52px;
  border-top: 1px solid var(--hairline);
  padding-top: 28px;
}

.worldlim-lineage-block h3,
.worldlim-caution-block h3,
.worldlim-count-explanation h3,
.worldlim-context-layout h3,
.worldlim-public-trace-heading h3,
.worldlim-public-boundary h3 {
  margin: 0;
  font-size: 1.45rem;
  line-height: 1.25;
}

.worldlim-lineage {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin: 24px 0 0;
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
  padding: 0;
  list-style: none;
}

.worldlim-lineage li {
  position: relative;
  min-height: 116px;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  background: var(--surface);
  padding: 17px;
}

.worldlim-lineage li:not(:last-child)::after {
  position: absolute;
  z-index: 2;
  top: 42px;
  right: -12px;
  display: grid;
  width: 24px;
  height: 24px;
  place-items: center;
  border: 1px solid var(--hairline);
  border-radius: 50%;
  background: var(--surface);
  color: var(--verify);
  content: "→";
  font-size: 0.74rem;
}

.worldlim-lineage span {
  display: block;
  color: var(--verify);
  font-size: 0.68rem;
  font-weight: 820;
}

.worldlim-lineage strong {
  display: block;
  margin-top: 8px;
  font-size: 0.85rem;
  line-height: 1.45;
}

.worldlim-lineage-copy {
  max-width: 840px;
  margin-top: 22px;
}

.worldlim-lineage-copy p,
.worldlim-repair-copy p,
.worldlim-runtime-copy p,
.worldlim-toy-copy p,
.worldlim-limitations-copy p {
  color: var(--muted);
}

.worldlim-caution-block ul,
.worldlim-public-boundary ul,
.worldlim-limitations-list {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0 28px;
  margin: 20px 0 0;
  border-top: 1px solid var(--hairline);
  padding: 0;
  list-style: none;
}

.worldlim-caution-block li,
.worldlim-public-boundary li,
.worldlim-limitations-list li {
  border-bottom: 1px solid var(--hairline);
  padding: 16px 2px;
  font-size: 0.86rem;
}

.worldlim-repair-trace {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin: 0;
  padding: 0;
  list-style: none;
}

.worldlim-repair-step {
  min-width: 0;
  min-height: 224px;
  border-top: 4px solid var(--hairline);
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  background: rgba(255, 255, 255, 0.72);
  padding: 18px;
}

.worldlim-repair-step:first-child {
  border-left: 1px solid var(--hairline);
}

.worldlim-repair-step-1,
.worldlim-repair-step-2 {
  border-top-color: var(--artifact);
}

.worldlim-repair-step-3,
.worldlim-repair-step-4 {
  border-top-color: var(--verify);
}

.worldlim-repair-step span,
.worldlim-repair-step strong,
.worldlim-repair-step em {
  display: block;
}

.worldlim-repair-step span {
  color: var(--muted);
  font-size: 0.68rem;
  font-weight: 780;
}

.worldlim-repair-step strong {
  margin-top: 13px;
  font-size: 1.8rem;
  line-height: 1;
}

.worldlim-repair-step p {
  min-height: 52px;
  margin: 16px 0 0;
  font-size: 0.8rem;
}

.worldlim-repair-step em {
  margin-top: 14px;
  border-top: 1px solid var(--hairline);
  padding-top: 12px;
  color: var(--muted);
  font-size: 0.72rem;
  font-style: normal;
}

.worldlim-repair-copy {
  max-width: 820px;
  margin-top: 24px;
}

.worldlim-count-explanation {
  display: grid;
  grid-template-columns: 260px minmax(0, 1fr);
  gap: 30px;
}

.worldlim-count-explanation .section-kicker {
  grid-column: 1 / -1;
  margin-bottom: -18px;
}

.worldlim-count-explanation .markdown-body p,
.worldlim-count-explanation .markdown-body li {
  color: var(--muted);
  font-size: 0.88rem;
}

.worldlim-runtime-flow {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  margin: 0;
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
  padding: 0;
  list-style: none;
}

.worldlim-runtime-flow li {
  min-height: 112px;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  background: var(--surface);
  padding: 17px;
}

.worldlim-runtime-flow span {
  display: block;
  color: var(--command);
  font-size: 0.68rem;
  font-weight: 820;
}

.worldlim-runtime-flow strong {
  display: block;
  margin-top: 9px;
  font-size: 0.86rem;
  line-height: 1.44;
}

.worldlim-context-layout {
  display: grid;
  grid-template-columns: minmax(0, 1.1fr) minmax(300px, 0.9fr);
  gap: 36px;
}

.worldlim-context-fields {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0 24px;
  margin: 22px 0 0;
  border-top: 1px solid var(--hairline);
  padding: 0;
  list-style: none;
}

.worldlim-context-fields li {
  border-bottom: 1px solid var(--hairline);
  padding: 13px 2px;
  font-size: 0.82rem;
}

.worldlim-runtime-copy {
  border-left: 3px solid var(--command);
  background: rgba(49, 92, 255, 0.045);
  padding: 18px;
}

.worldlim-runtime-copy p:first-child {
  margin-top: 0;
}

.worldlim-runtime-copy p:last-child {
  margin-bottom: 0;
}

.worldlim-boundary-callout {
  display: grid;
  grid-template-columns: 210px minmax(0, 1fr);
  gap: 26px;
  margin-top: 42px;
  border-top: 1px solid var(--hairline);
  padding-top: 24px;
}

.worldlim-boundary-callout > strong {
  font-size: 0.86rem;
}

.worldlim-boundary-callout .markdown-body p {
  margin: 0;
  color: var(--muted);
  font-size: 0.88rem;
}

.worldlim-toy-summary {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
}

.worldlim-toy-summary div {
  min-height: 108px;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  background: rgba(255, 255, 255, 0.66);
  padding: 17px;
}

.worldlim-toy-summary span,
.worldlim-toy-summary strong {
  display: block;
}

.worldlim-toy-summary span {
  color: var(--muted);
  font-size: 0.7rem;
  font-weight: 760;
}

.worldlim-toy-summary strong {
  margin-top: 9px;
  font-size: 1.65rem;
}

.worldlim-toy-copy {
  max-width: 800px;
  margin-top: 22px;
}

.worldlim-public-trace-heading {
  display: flex;
  align-items: end;
  justify-content: space-between;
  gap: 24px;
}

.worldlim-repo-link ul {
  margin: 0;
  padding: 0;
  list-style: none;
}

.worldlim-repo-link a,
.worldlim-public-trace a {
  color: var(--command);
  font-weight: 740;
}

.worldlim-public-trace {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 12px;
  margin: 24px 0 0;
  padding: 0;
  list-style: none;
}

.worldlim-public-trace > li {
  min-width: 0;
  min-height: 250px;
  border-top: 3px solid var(--graphite);
  background: var(--surface);
  padding: 18px;
}

.worldlim-public-trace > li:nth-child(3),
.worldlim-public-trace > li:nth-child(4),
.worldlim-public-trace > li:nth-child(5) {
  border-top-color: var(--artifact);
}

.worldlim-public-trace > li:nth-child(6) {
  border-top-color: var(--verify);
}

.worldlim-public-trace > li > span {
  color: var(--muted);
  font-size: 0.68rem;
  font-weight: 820;
}

.worldlim-public-trace h4 {
  min-height: 48px;
  margin: 10px 0 14px;
  font-size: 1rem;
  line-height: 1.35;
}

.worldlim-public-trace .markdown-body ul {
  margin: 0;
  padding: 0;
  list-style: none;
}

.worldlim-public-trace .markdown-body li,
.worldlim-public-trace .markdown-body p {
  margin: 0;
  border-top: 1px solid rgba(215, 220, 210, 0.78);
  padding: 10px 0;
  color: var(--muted);
  font-size: 0.76rem;
}

.worldlim-public-boundary {
  border-top-color: rgba(184, 107, 0, 0.42);
}

.worldlim-writing-panel {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  align-items: center;
  gap: 42px;
  border-block: 1px solid var(--hairline);
  background: rgba(255, 255, 255, 0.52);
  padding: 32px 0;
}

.worldlim-writing-panel > div > span {
  color: var(--command);
  font-size: 0.7rem;
  font-weight: 820;
}

.worldlim-writing-panel h3 {
  margin: 9px 0 0;
  font-size: 1.72rem;
}

.worldlim-writing-panel .markdown-body {
  max-width: 760px;
  margin-top: 16px;
}

.worldlim-writing-panel .markdown-body p {
  color: var(--muted);
}

.worldlim-limitations-list {
  margin-bottom: 24px;
}

.worldlim-limitations-copy {
  max-width: 820px;
  margin: 0 0 28px;
}

.prend-evidence-page {
  background: var(--bg);
}

.prend-evidence-inner {
  width: min(1080px, calc(100vw - 64px));
}

.prend-evidence-section[id] {
  scroll-margin-top: var(--scroll-target-offset, 92px);
}

.prend-evidence-page .copy-code-button {
  display: none;
}

.prend-evidence-page pre,
.prend-evidence-page pre code {
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}

.prend-evidence-section .section-header {
  max-width: 920px;
}

.prend-evidence-section .section-header h2 {
  max-width: 900px;
  font-size: 2.625rem;
  line-height: 1.12;
}

.prend-evidence-hero {
  border-bottom: 1px solid var(--hairline);
  background: #eef1ed;
}

.prend-evidence-hero-inner {
  padding: 70px 0 48px;
}

.prend-evidence-hero h1 {
  max-width: 880px;
  margin: 0;
  font-size: 4rem;
  line-height: 1.03;
  letter-spacing: 0;
}

.prend-evidence-summary {
  max-width: 820px;
  margin: 22px 0 0;
  font-size: 1.16rem;
  font-weight: 620;
  line-height: 1.58;
}

.prend-evidence-boundary {
  display: grid;
  grid-template-columns: 150px minmax(0, 1fr);
  gap: 20px;
  max-width: 940px;
  margin-top: 26px;
  border-left: 3px solid var(--verify);
  background: rgba(255, 255, 255, 0.68);
  padding: 17px 20px;
}

.prend-evidence-boundary > strong {
  font-size: 0.82rem;
}

.prend-evidence-boundary .markdown-body p {
  margin: 0;
  color: var(--muted);
  font-size: 0.84rem;
}

.prend-evidence-boundary .markdown-body p + p {
  margin-top: 8px;
}

.prend-route-strip {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  max-width: 940px;
  margin: 32px 0 0;
  border-top: 1px solid rgba(45, 49, 42, 0.16);
  border-left: 1px solid rgba(45, 49, 42, 0.16);
  padding: 0;
  list-style: none;
}

.prend-route-strip li {
  min-width: 0;
  min-height: 112px;
  border-right: 1px solid rgba(45, 49, 42, 0.16);
  border-bottom: 1px solid rgba(45, 49, 42, 0.16);
  padding: 14px;
}

.prend-route-strip span,
.prend-route-strip strong {
  display: block;
}

.prend-route-strip span {
  color: var(--command);
  font-size: 0.67rem;
  font-weight: 820;
}

.prend-route-strip strong {
  margin-top: 6px;
  font-size: 0.84rem;
}

.prend-route-strip p {
  margin: 5px 0 0;
  color: var(--muted);
  font-size: 0.72rem;
}

.prend-legend-band {
  border-bottom: 1px solid var(--hairline);
  background: var(--surface);
  padding: 44px 0;
}

.prend-legend-heading {
  display: grid;
  grid-template-columns: 190px minmax(0, 1fr);
  align-items: end;
  gap: 24px;
}

.prend-legend-heading .section-kicker {
  margin: 0;
}

.prend-legend-heading h2 {
  max-width: 740px;
  margin: 0;
  font-size: 1.45rem;
  line-height: 1.28;
}

.prend-evidence-legend {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  margin-top: 26px;
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
}

.prend-evidence-state {
  min-height: 146px;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  padding: 17px;
}

.prend-evidence-state span {
  display: block;
  font-size: 0.78rem;
  font-weight: 820;
}

.prend-evidence-state p {
  margin: 10px 0 0;
  color: var(--muted);
  font-size: 0.78rem;
}

.prend-evidence-state-actual span {
  color: var(--verify);
}

.prend-evidence-state-fixture span {
  color: var(--command);
}

.prend-evidence-state-public span {
  color: var(--graphite);
}

.prend-claim-section .section-kicker {
  color: var(--boundary);
}

.prend-claim-comparison {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
}

.prend-claim-pane {
  min-width: 0;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  background: rgba(255, 255, 255, 0.7);
  padding: 24px;
}

.prend-claim-planned {
  background: #f5f3f0;
}

.prend-pane-label {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 16px;
  min-height: 42px;
}

.prend-pane-label span,
.prend-pane-label b {
  font-size: 0.72rem;
  font-weight: 800;
}

.prend-pane-label span {
  color: var(--muted);
}

.prend-claim-original .prend-pane-label b {
  color: var(--verify);
}

.prend-claim-planned .prend-pane-label b {
  color: var(--boundary);
}

.prend-claim-original blockquote {
  min-height: 152px;
  margin: 18px 0 0;
  border-left: 3px solid var(--verify);
  padding: 20px;
  font-size: 1.35rem;
  font-weight: 720;
  line-height: 1.45;
}

.prend-claim-original dl {
  margin: 22px 0 0;
  border-top: 1px solid var(--hairline);
}

.prend-claim-original dl > div {
  display: grid;
  grid-template-columns: 108px minmax(0, 1fr);
  gap: 14px;
  border-bottom: 1px solid var(--hairline);
  padding: 11px 0;
}

.prend-claim-original dt {
  color: var(--muted);
  font-size: 0.72rem;
  font-weight: 780;
}

.prend-claim-original dd {
  margin: 0;
  font-size: 0.82rem;
}

.prend-pseudo-slide {
  display: flex;
  aspect-ratio: 16 / 9;
  min-height: 0;
  flex-direction: column;
  margin-top: 18px;
  border: 1px solid #cdd1c9;
  border-radius: 4px;
  background: #fff;
  padding: 20px;
}

.prend-pseudo-slide header span,
.prend-pseudo-slide header strong {
  display: block;
}

.prend-pseudo-slide header span {
  color: var(--command);
  font-size: 0.61rem;
  font-weight: 820;
}

.prend-pseudo-slide header strong {
  margin-top: 5px;
  font-size: 1.08rem;
}

.prend-pseudo-slide > p {
  margin: 10px 0 0;
  color: var(--muted);
  font-size: 0.72rem;
}

.prend-pseudo-chart {
  display: flex;
  flex: 1;
  align-items: end;
  gap: 9px;
  margin: 12px 0 10px;
  border-bottom: 1px solid #d7dcd2;
  padding: 0 8px;
}

.prend-pseudo-chart i {
  display: block;
  width: 20%;
  background: #c9d3ff;
}

.prend-pseudo-chart i:nth-child(1) {
  height: 38%;
}

.prend-pseudo-chart i:nth-child(2) {
  height: 62%;
}

.prend-pseudo-chart i:nth-child(3) {
  height: 78%;
  background: #9eb2ff;
}

.prend-pseudo-slide footer {
  display: flex;
  justify-content: space-between;
  gap: 12px;
  font-size: 0.62rem;
}

.prend-pseudo-slide footer span {
  color: var(--muted);
}

.prend-pseudo-slide footer b {
  color: var(--boundary);
}

.prend-claim-conclusion {
  display: grid;
  grid-template-columns: 150px minmax(0, 1fr);
  gap: 24px;
  margin-top: 28px;
  border-left: 3px solid var(--command);
  background: rgba(49, 92, 255, 0.045);
  padding: 20px;
}

.prend-claim-conclusion > strong {
  font-size: 0.82rem;
}

.prend-claim-conclusion .markdown-body p {
  margin: 0;
  color: var(--muted);
  font-size: 0.88rem;
}

.prend-fixture-section .section-kicker {
  color: var(--command);
}

.prend-fixture-steps {
  margin: 0;
  border-top: 1px solid var(--hairline);
  padding: 0;
  list-style: none;
}

.prend-fixture-step {
  display: grid;
  grid-template-columns: 72px minmax(0, 1fr) 150px;
  gap: 22px;
  align-items: start;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
  background: rgba(255, 255, 255, 0.7);
  padding: 22px;
}

.prend-fixture-index {
  color: var(--command);
  font-family: "SF Mono", ui-monospace, monospace;
  font-size: 0.74rem;
  font-weight: 820;
}

.prend-fixture-copy h3 {
  margin: 0 0 12px;
  font-size: 1.18rem;
}

.prend-fixture-copy .markdown-body ul {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0 22px;
  margin: 0;
  border-top: 1px solid var(--hairline);
  padding: 0;
  list-style: none;
}

.prend-fixture-copy .markdown-body li {
  border-bottom: 1px solid var(--hairline);
  padding: 9px 0;
  color: var(--muted);
  font-size: 0.79rem;
}

.prend-fixture-copy .markdown-body pre {
  margin: 0 0 14px;
  border-radius: 4px;
}

.prend-fixture-copy .markdown-body > p {
  color: var(--muted);
  font-size: 0.82rem;
}

.prend-fixture-status {
  min-height: 30px;
  border: 1px solid var(--hairline);
  border-radius: 4px;
  padding: 7px 10px;
  color: var(--graphite);
  font-size: 0.72rem;
  text-align: center;
}

.prend-fixture-step-3,
.prend-fixture-step-4 {
  border-left: 3px solid rgba(194, 65, 45, 0.7);
}

.prend-fixture-step-3 .prend-fixture-status,
.prend-fixture-step-4 .prend-fixture-status {
  border-color: rgba(194, 65, 45, 0.42);
  background: rgba(194, 65, 45, 0.06);
  color: var(--boundary);
}

.prend-fixture-step-5 {
  border-left: 3px solid var(--graphite);
}

.prend-implementation-section .section-kicker {
  color: var(--verify);
}

.prend-implementation-grid {
  border-top: 1px solid var(--hairline);
}

.prend-implementation-row {
  display: grid;
  grid-template-columns: 220px minmax(0, 1fr);
  gap: 28px;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
  background: rgba(255, 255, 255, 0.68);
  padding: 24px;
}

.prend-implementation-row header span {
  color: var(--verify);
  font-size: 0.68rem;
  font-weight: 820;
}

.prend-implementation-row header h3 {
  margin: 8px 0 0;
  font-size: 1.2rem;
}

.prend-implementation-copy .markdown-body {
  color: var(--muted);
  font-size: 0.82rem;
}

.prend-implementation-copy,
.prend-implementation-row > header {
  min-width: 0;
}

.prend-implementation-copy .markdown-body .table-wrap {
  margin: 0;
}

.prend-implementation-copy table {
  min-width: 0;
  font-size: 0.77rem;
}

.prend-implementation-flow {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  margin: 0 0 18px;
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
  padding: 0;
  list-style: none;
}

.prend-implementation-flow li {
  min-height: 92px;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  padding: 12px;
}

.prend-implementation-flow span,
.prend-implementation-flow strong {
  display: block;
}

.prend-implementation-flow span {
  color: var(--verify);
  font-size: 0.64rem;
}

.prend-implementation-flow strong {
  margin-top: 6px;
  font-size: 0.73rem;
  line-height: 1.42;
}

.prend-source-map {
  display: grid;
  grid-template-columns: 220px minmax(0, 1fr);
  gap: 28px;
  margin-top: 24px;
  border-left: 3px solid var(--verify);
  background: rgba(22, 138, 90, 0.045);
  padding: 20px;
}

.prend-source-map > strong {
  font-size: 0.82rem;
}

.prend-source-map ul {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 10px 18px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.prend-source-map code {
  display: block;
  font-size: 0.7rem;
}

.prend-workflow-section .section-kicker {
  color: var(--artifact);
}

.prend-workflow-flow {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  margin: 0;
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
  padding: 0;
  list-style: none;
}

.prend-workflow-flow li {
  position: relative;
  min-height: 116px;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  background: var(--surface);
  padding: 16px;
}

.prend-workflow-flow li.is-focus {
  border-top: 4px solid var(--command);
  background: rgba(49, 92, 255, 0.045);
  padding-top: 12px;
}

.prend-workflow-flow span,
.prend-workflow-flow strong {
  display: block;
}

.prend-workflow-flow span {
  color: var(--artifact);
  font-size: 0.66rem;
  font-weight: 820;
}

.prend-workflow-flow li.is-focus span {
  color: var(--command);
}

.prend-workflow-flow strong {
  margin-top: 8px;
  font-size: 0.8rem;
  line-height: 1.45;
}

.prend-workflow-explanations {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  margin: 20px 0 0;
  padding: 0;
  list-style: none;
}

.prend-workflow-explanations li {
  min-width: 0;
  border-right: 1px solid var(--hairline);
  padding: 4px 14px 12px;
}

.prend-workflow-explanations li:last-child {
  border-right: 0;
}

.prend-workflow-explanations span {
  color: var(--muted);
  font-size: 0.64rem;
  font-weight: 820;
}

.prend-workflow-explanations p {
  margin: 7px 0 0;
  color: var(--muted);
  font-size: 0.74rem;
}

.prend-runtime-boundary {
  display: grid;
  grid-template-columns: 240px minmax(0, 1fr);
  gap: 28px;
  margin-top: 34px;
  border-left: 3px solid var(--boundary);
  background: rgba(194, 65, 45, 0.045);
  padding: 20px;
}

.prend-runtime-boundary > strong {
  font-size: 0.84rem;
}

.prend-runtime-boundary ul {
  margin: 0;
  padding-left: 18px;
}

.prend-runtime-boundary li {
  color: var(--muted);
  font-size: 0.8rem;
}

.prend-runtime-boundary li + li {
  margin-top: 8px;
}

.prend-human-section .section-kicker {
  color: var(--verify);
}

.prend-human-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  border-top: 1px solid var(--hairline);
  border-left: 1px solid var(--hairline);
}

.prend-human-grid article {
  min-width: 0;
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  background: rgba(255, 255, 255, 0.68);
  padding: 24px;
}

.prend-human-grid header span {
  color: var(--verify);
  font-size: 0.68rem;
  font-weight: 820;
}

.prend-human-grid header h3 {
  margin: 8px 0 20px;
  font-size: 1.38rem;
}

.prend-human-grid .markdown-body ul {
  margin: 0;
  border-top: 1px solid var(--hairline);
  padding: 0;
  list-style: none;
}

.prend-human-grid .markdown-body li {
  border-bottom: 1px solid var(--hairline);
  padding: 12px 0;
  color: var(--muted);
  font-size: 0.8rem;
}

.prend-human-grid .markdown-body > p {
  margin: 20px 0 0;
  color: var(--muted);
  font-size: 0.8rem;
}

.prend-limitations-section {
  min-height: calc(100vh + 24px);
}

.prend-limitations-section .section-kicker {
  color: var(--boundary);
}

.prend-limitations-list {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0 28px;
  margin: 0 0 26px;
  border-top: 1px solid var(--hairline);
  padding: 0;
  list-style: none;
}

.prend-limitations-list li {
  border-bottom: 1px solid var(--hairline);
  padding: 16px 2px;
  color: var(--muted);
  font-size: 0.85rem;
}

.prend-limitations-copy {
  max-width: 820px;
  margin-bottom: 28px;
}

.prend-limitations-copy p {
  color: var(--muted);
}

@media (max-width: 1180px) {
  .detail-remote {
    display: none;
  }
}

@media (max-width: 1100px) {
  .prend-evidence-hero h1 {
    font-size: 3.25rem;
  }
}

@media (max-width: 1023px) {
  .proof-grid,
  .product-grid-hero,
  .product-grid-compact,
  .product-grid-section,
  .product-grid-representative,
  .product-grid-supporting,
  .start-here-grid,
  .technical-content-grid,
  .related-grid,
  .need-grid,
  .principle-grid,
  .enablement-grid {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .operational-products-head {
    grid-template-columns: 1fr;
    gap: 12px;
  }

  .archive-index-inner {
    grid-template-columns: 1fr;
    gap: 28px;
  }

  .archive-index-heading {
    position: static;
  }

  .technical-product-row {
    grid-template-columns: 150px minmax(0, 1fr) minmax(0, 1fr);
  }

  .technical-product-row > a {
    grid-column: 2;
  }

  .detail-flow {
    width: min(920px, calc(100vw - 48px));
  }

  .detail-remote {
    display: none;
  }

  .writeup-row {
    grid-template-columns: 150px 160px minmax(0, 1fr);
  }

  .writeup-row em {
    display: none;
  }

  .artifact-panel {
    width: 300px;
  }

  .panel-trace {
    right: 10vw;
  }

  .inspectable-scope-row {
    grid-template-columns: 116px minmax(0, 1fr) 176px;
    gap: 14px;
  }

  .demo-input-grid,
  .demo-output-grid,
  .demo-prompt-grid,
  .demo-run-context,
  .demo-checkpoint-output-grid,
  .demo-result-grid {
    grid-template-columns: 1fr;
  }

  .technical-content-group-head {
    grid-template-columns: 1fr;
    gap: 6px;
    margin-bottom: 12px;
  }

  .demo-output-card {
    min-height: 0;
  }

  .demo-rubric-head {
    display: none;
  }

  .demo-rubric-row {
    grid-template-columns: minmax(0, 1fr) 82px 82px 82px;
  }

  .demo-rubric-row > p {
    grid-column: 1 / -1;
  }

  .demo-checkpoint-output {
    min-height: 0;
  }

  .demo-recommendation {
    grid-template-columns: 140px minmax(0, 1fr);
  }

  .demo-recommendation p {
    grid-column: 1 / -1;
  }

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

  .charge-trace,
  .app-anatomy,
  .visual-page-gallery,
  .visual-file-contract,
  .visual-limitations {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .checkpoint-layout,
  .qc-verdict-panel,
  .visual-comparison-grid {
    grid-template-columns: 1fr;
  }

  .qc-route-strip {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }

  .qc-route-strip li:nth-child(3) {
    border-right: 0;
  }

  .qc-route-strip li:nth-child(-n + 3) {
    border-bottom: 1px solid rgba(45, 49, 42, 0.14);
  }

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

  .visual-source-intro > a {
    grid-column: 1 / -1;
  }

  .visual-pane-heading {
    min-height: 0;
    margin-bottom: 22px;
  }

  .visual-extraction-output {
    height: auto;
    max-height: 440px;
  }
}

@media (max-width: 767px) {
  .nav-inner,
  .product-nav-inner,
  .section-inner {
    width: min(var(--max), calc(100vw - 32px));
  }

  .site-nav nav,
  .product-nav nav {
    width: 100%;
    overflow-x: auto;
    flex-wrap: nowrap;
    justify-content: flex-start;
    gap: 3px;
    max-width: none;
    padding-bottom: 2px;
    font-size: 0.8rem;
    scrollbar-width: none;
    white-space: nowrap;
  }

  .site-nav nav::-webkit-scrollbar,
  .product-nav nav::-webkit-scrollbar {
    display: none;
  }

  .site-nav nav a,
  .product-nav nav a {
    padding: 5px 4px;
  }

  .nav-inner,
  .product-nav-inner {
    align-items: flex-start;
    flex-direction: column;
    gap: 2px;
    padding: 8px 0;
  }

  .language-switch {
    position: absolute;
    top: 7px;
    right: 0;
  }

  .brand,
  .back-link {
    max-width: calc(100% - 86px);
    overflow: hidden;
    text-overflow: ellipsis;
    white-space: nowrap;
  }

  .section-band {
    padding: 56px 0;
  }

  .hero-workbench,
  .hero-content {
    min-height: auto;
  }

  .hero-content {
    padding: 70px 0 44px;
  }

  .hero-content h1 {
    font-size: 2.08rem;
    line-height: 1.12;
  }

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

  .section-header h2,
  .closing-inner h2 {
    font-size: 2rem;
  }

  .hero-actions,
  .closing-actions,
  .button {
    width: 100%;
  }

  .button {
    justify-content: center;
  }

  .artifact-panel {
    display: none;
  }

  .panel-schema {
    top: 72px;
    right: -72px;
  }

  .panel-trace {
    right: -38px;
    bottom: 72px;
  }

  .panel-qa {
    top: 250px;
    right: -92px;
  }

  .proof-grid,
  .product-grid-hero,
  .product-grid-compact,
  .product-grid-section,
  .product-grid-representative,
  .product-grid-supporting,
  .start-here-grid,
  .technical-content-grid,
  .related-grid,
  .need-grid,
  .case-summary-panel,
  .artifact-meta-grid,
  .inspect-first-grid,
  .quick-proof-grid,
  .evidence-asset-grid,
  .principle-grid,
  .enablement-grid {
    grid-template-columns: 1fr;
  }

  .product-grid-representative .product-card:last-child {
    grid-column: auto;
  }

  .case-summary-panel {
    margin: -18px 0 48px;
  }

  .proof-grid {
    gap: 12px;
  }

  .proof-item {
    border: 1px solid rgba(45, 49, 42, 0.1);
    min-height: 0;
    padding: 22px;
  }

  .proof-item:last-child {
    border-bottom: 1px solid rgba(45, 49, 42, 0.1);
  }

  .product-card-hero,
  .product-card-compact,
  .product-card-section,
  .product-card-representative,
  .product-card-supporting {
    min-height: auto;
  }

  .archive-row {
    grid-template-columns: 1fr;
    align-items: start;
    gap: 10px;
  }

  .archive-entry {
    grid-template-columns: 42px minmax(0, 1fr);
    gap: 14px;
    padding: 22px 0;
  }

  .archive-entry-index {
    align-self: start;
    font-size: 1.2rem;
  }

  .archive-entry em {
    grid-column: 2;
    white-space: normal;
  }

  .archive-hero {
    padding: 64px 0 48px;
  }

  .archive-hero-inner h1 {
    font-size: 3rem;
  }

  .archive-hero-inner > p:not(.eyebrow) {
    font-size: 1rem;
  }

  .archive-index-card {
    grid-template-columns: 1fr;
    gap: 18px;
    padding: 24px 0;
  }

  .archive-index-card > a {
    justify-self: start;
    text-align: left;
  }

  .operational-product-grid,
  .technical-product-row {
    grid-template-columns: 1fr;
    gap: 14px;
  }

  .technical-product-row > a {
    grid-column: auto;
  }

  .operational-product-grid {
    border-left: 0;
    gap: 0;
  }

  .operational-product-card {
    border-left: 1px solid var(--hairline);
  }

  .writeup-row {
    grid-template-columns: 1fr;
    gap: 6px;
  }

  .product-header {
    padding: 52px 0 38px;
  }

  .product-header h1 {
    font-size: 3rem;
  }

  .code-evidence-panel {
    grid-template-columns: 1fr;
    gap: 16px;
  }

  .code-evidence-panel-copy {
    grid-template-columns: 1fr;
    gap: 10px;
  }

  .code-evidence-panel-actions,
  .code-evidence-panel-actions .button {
    width: 100%;
  }

  .detail-section > h2 {
    font-size: 2rem;
  }

  .product-one-line {
    font-size: 1.08rem;
  }

  .detail-flow {
    width: min(100%, calc(100vw - 32px));
  }

  .detail-shell {
    padding-top: 44px;
  }

  .detail-section {
    margin-bottom: 52px;
    scroll-margin-top: var(--scroll-target-offset, 126px);
  }

  .section-band[id],
  .product-header[id],
  .proof-strip[id] {
    scroll-margin-top: var(--scroll-target-offset, 126px);
  }

  .detail-lede {
    margin-bottom: 44px;
    padding-left: 16px;
  }

  .inspect-first-section {
    margin-top: -18px;
    margin-bottom: 44px;
  }

  .inspect-first-panel {
    padding: 18px;
  }

  .card-actions {
    gap: 8px 12px;
  }

  .flow-block {
    grid-template-columns: 18px minmax(0, 1fr);
    gap: 12px;
  }

  table {
    min-width: 560px;
  }

  #detail-system-structure .table-wrap {
    overflow: visible;
    border-top: 1px solid var(--hairline);
  }

  #detail-system-structure table,
  #detail-system-structure tbody,
  #detail-system-structure tr {
    display: block;
    width: 100%;
    min-width: 0;
  }

  #detail-system-structure thead {
    position: absolute;
    width: 1px;
    height: 1px;
    overflow: hidden;
    clip: rect(0, 0, 0, 0);
    white-space: nowrap;
  }

  #detail-system-structure tr {
    border-bottom: 1px solid var(--hairline);
    padding: 18px 0;
  }

  #detail-system-structure td {
    display: grid;
    grid-template-columns: 64px minmax(0, 1fr);
    gap: 12px;
    border: 0;
    padding: 5px 0;
    font-size: 0.88rem;
  }

  #detail-system-structure td::before {
    color: var(--verify);
    font-size: 0.68rem;
    font-weight: 820;
  }

  #detail-system-structure td::before {
    content: attr(data-label);
  }

  .inspectable-scope-row {
    grid-template-columns: 1fr;
    gap: 6px;
    padding: 18px 2px;
  }

  .inspectable-scope-row em {
    margin-top: 4px;
    text-align: left;
  }

  .demo-hero-inner {
    padding: 54px 0 42px;
  }

  .demo-nav nav {
    width: 100%;
    overflow-x: auto;
    flex-wrap: nowrap;
    padding-bottom: 2px;
    white-space: nowrap;
  }

  .demo-nav nav a {
    flex: 0 0 auto;
  }

  .qc-nav nav {
    width: 100%;
    overflow-x: auto;
    flex-wrap: nowrap;
    padding-bottom: 2px;
    white-space: nowrap;
  }

  .qc-nav nav a {
    flex: 0 0 auto;
  }

  .demo-hero h1 {
    font-size: 2.34rem;
    line-height: 1.08;
  }

  .demo-hero-summary {
    font-size: 1.04rem;
  }

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

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

  .demo-route-strip li:nth-child(4),
  .demo-route-strip li:nth-child(6) {
    border-right: 0;
  }

  .demo-route-strip li:nth-child(-n + 4) {
    border-bottom: 1px solid rgba(45, 49, 42, 0.14);
  }

  .demo-inner {
    width: min(100%, calc(100vw - 32px));
  }

  .demo-input-block blockquote {
    font-size: 1.14rem;
  }

  .demo-run-facts,
  .demo-limit-grid {
    grid-template-columns: 1fr;
  }

  .demo-run-facts > div:nth-child(odd) {
    padding-right: 0;
  }

  .demo-intent-note,
  .demo-recommendation {
    grid-template-columns: 1fr;
    gap: 7px;
  }

  .demo-recommendation p {
    grid-column: auto;
  }

  .demo-checkpoint-tabs {
    display: flex;
    max-width: 100%;
    overflow-x: auto;
  }

  .demo-checkpoint-tabs button {
    min-width: 210px;
    flex: 0 0 210px;
  }

  .demo-output-groups,
  .demo-meaning-models,
  .demo-preservation-check ul {
    grid-template-columns: 1fr;
  }

  .demo-evaluate-bar {
    align-items: stretch;
    flex-direction: column;
  }

  .demo-rubric-row {
    grid-template-columns: minmax(0, 1fr) auto auto auto;
    gap: 10px;
    padding-inline: 2px;
  }

  .demo-fit {
    padding-inline: 7px;
    font-size: 0.68rem;
  }

  .demo-rubric-model-a::before {
    content: "A · ";
  }

  .demo-rubric-model-b::before {
    content: "B · ";
  }

  .demo-rubric-model-c::before {
    content: "C · ";
  }

  .demo-term-tabs {
    display: flex;
    width: 100%;
  }

  .demo-term-tabs button {
    min-width: 0;
    flex: 1;
    min-height: 44px;
    line-height: 1.25;
    padding-inline: 8px;
  }

  .demo-meaning-diagnosis,
  .demo-meaning-wording {
    grid-template-columns: 1fr;
    gap: 7px;
  }

  .demo-ending-actions,
  .demo-ending-actions .button {
    width: 100%;
  }

  .demo-implementation-list article {
    grid-template-columns: 36px minmax(0, 1fr);
    gap: 10px;
  }

  .demo-implementation-list p {
    grid-column: 2;
  }

  .detail-proof-bridge {
    align-items: flex-start;
    flex-direction: column;
    gap: 12px;
    margin: -28px 0 52px;
    padding: 17px;
  }

  .inline-proof {
    margin: 26px 0 42px;
    padding: 20px 0;
    scroll-margin-top: var(--scroll-target-offset, 128px);
  }

  .inline-proof-heading {
    grid-template-columns: 1fr;
    gap: 12px;
  }

  .charge-trace,
  .app-anatomy,
  .checkpoint-states,
  .qc-verdict-contrast,
  .qc-repair-grid,
  .qc-change-list,
  .qc-limitations,
  .qc-result-links,
  .visual-page-gallery,
  .visual-file-contract,
  .visual-limitations,
  .visual-dialog-reading {
    grid-template-columns: 1fr;
  }

  .charge-trace-step {
    min-height: 0;
  }

  .checkpoint-states section {
    min-height: 0;
  }

  .qc-trace-hero-inner {
    padding: 54px 0 42px;
  }

  .qc-trace-hero h1 {
    font-size: 2.42rem;
    line-height: 1.06;
  }

  .qc-trace-summary {
    font-size: 1.02rem;
  }

  .qc-route-strip,
  .visual-route-strip {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .qc-route-strip li,
  .visual-route-strip li {
    border-bottom: 1px solid rgba(45, 49, 42, 0.14);
  }

  .qc-route-strip li:nth-child(even),
  .visual-route-strip li:nth-child(even) {
    border-right: 0;
  }

  .qc-route-strip li:last-child {
    grid-column: 1 / -1;
    border-right: 0;
    border-bottom: 0;
  }

  .visual-route-strip li:nth-last-child(-n + 2) {
    border-bottom: 0;
  }

  .qc-before-after {
    grid-template-columns: 1fr;
  }

  .qc-change-arrow {
    min-height: 36px;
    transform: rotate(90deg);
  }

  .qc-trace-inner,
  .visual-demo-inner,
  .visual-demo-wide {
    width: min(100%, calc(100vw - 32px));
  }

  .visual-demo-section[id],
  #flat-extraction,
  #document-map,
  #public-boundary {
    scroll-margin-top: var(--scroll-target-offset, 130px);
  }

  .visual-source-intro {
    grid-template-columns: 1fr;
  }

  .visual-source-intro > a {
    grid-column: auto;
  }

  .visual-page-gallery {
    gap: 28px;
  }

  .visual-page-tabs {
    display: flex;
    width: 100%;
  }

  .visual-page-tabs button {
    min-width: 0;
    flex: 1;
    padding-inline: 8px;
  }

  .visual-comparison-pane {
    padding: 17px;
  }

  .visual-extraction-output {
    max-height: 390px;
    padding: 14px;
    font-size: 0.7rem;
  }

  .visual-verification-list button {
    grid-template-columns: 36px minmax(0, 1fr);
    gap: 10px;
    padding: 18px 2px;
  }

  .visual-verification-list b {
    grid-column: 2;
    text-align: left;
  }

  .visual-implementation-links {
    align-items: flex-start;
    flex-direction: column;
  }

  .visual-source-dialog {
    width: calc(100vw - 20px);
    max-height: calc(100vh - 20px);
  }

  .visual-dialog-shell {
    padding: 12px;
  }

  .visual-dialog-head {
    gap: 12px;
  }

  .visual-dialog-head h2 {
    font-size: 1rem;
  }
}

@media (max-width: 1023px) {
  .worldlim-evidence-legend,
  .worldlim-metric-grid,
  .worldlim-repair-trace,
  .worldlim-public-trace {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .worldlim-evidence-legend li,
  .worldlim-metric-grid article,
  .worldlim-repair-step,
  .worldlim-public-trace > li {
    min-height: 0;
  }

  .worldlim-lineage,
  .worldlim-runtime-flow {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .worldlim-lineage li:nth-child(2)::after {
    display: none;
  }

  .worldlim-context-layout,
  .worldlim-count-explanation {
    grid-template-columns: 1fr;
  }

  .worldlim-count-explanation .section-kicker {
    grid-column: auto;
    margin-bottom: -18px;
  }

  .worldlim-toy-summary {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }
}

@media (max-width: 767px) {
  .worldlim-evidence-nav nav {
    width: 100%;
    overflow-x: auto;
    flex-wrap: nowrap;
    padding-bottom: 3px;
    scrollbar-width: thin;
  }

  .worldlim-evidence-nav nav a {
    flex: 0 0 auto;
  }

  .worldlim-evidence-hero-inner {
    padding: 52px 0 42px;
  }

  .worldlim-evidence-hero h1 {
    font-size: 2.45rem;
    line-height: 1.06;
  }

  .worldlim-evidence-summary {
    font-size: 1rem;
  }

  .worldlim-evidence-boundary,
  .worldlim-evidence-legend-head,
  .worldlim-boundary-callout {
    grid-template-columns: 1fr;
    gap: 9px;
  }

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

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

  .worldlim-route-strip li:nth-child(-n + 2) {
    border-bottom: 1px solid rgba(45, 49, 42, 0.15);
  }

  .worldlim-evidence-inner {
    width: min(1040px, calc(100vw - 32px));
  }

  .worldlim-evidence-legend,
  .worldlim-metric-grid,
  .worldlim-lineage,
  .worldlim-repair-trace,
  .worldlim-runtime-flow,
  .worldlim-public-trace,
  .worldlim-caution-block ul,
  .worldlim-public-boundary ul,
  .worldlim-limitations-list,
  .worldlim-context-fields,
  .worldlim-writing-panel {
    grid-template-columns: 1fr;
  }

  .worldlim-evidence-legend li,
  .worldlim-metric-grid article {
    min-height: 0;
  }

  .worldlim-metric-grid span {
    min-height: 0;
  }

  .worldlim-lineage li:not(:last-child)::after {
    top: auto;
    right: 50%;
    bottom: -12px;
    transform: translateX(50%) rotate(90deg);
  }

  .worldlim-lineage li:nth-child(2)::after {
    display: grid;
  }

  .worldlim-repair-step p,
  .worldlim-public-trace h4 {
    min-height: 0;
  }

  .worldlim-context-layout {
    gap: 28px;
  }

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

  .worldlim-toy-summary div:last-child {
    grid-column: 1 / -1;
  }

  .worldlim-public-trace-heading {
    align-items: flex-start;
    flex-direction: column;
  }

  .worldlim-writing-panel {
    gap: 24px;
  }

  .worldlim-writing-panel .button {
    width: 100%;
  }
}

@media (max-width: 1023px) {
  .prend-evidence-hero h1 {
    font-size: 3.25rem;
  }

  .prend-claim-comparison {
    grid-template-columns: 1fr;
  }

  .prend-claim-original blockquote {
    min-height: 0;
  }

  .prend-fixture-step {
    grid-template-columns: 56px minmax(0, 1fr) 126px;
    gap: 16px;
  }

  .prend-implementation-row,
  .prend-source-map {
    grid-template-columns: 180px minmax(0, 1fr);
    gap: 22px;
  }

  .prend-implementation-flow {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }

  .prend-workflow-flow {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }

  .prend-workflow-explanations {
    grid-template-columns: repeat(2, minmax(0, 1fr));
    gap: 18px 0;
  }

  .prend-workflow-explanations li:nth-child(2n) {
    border-right: 0;
  }
}

@media (max-width: 767px) {
  .prend-evidence-nav nav {
    display: grid;
    grid-template-columns: repeat(3, minmax(0, 1fr));
    width: 100%;
    overflow-x: visible;
    gap: 2px 6px;
    padding-bottom: 0;
    white-space: normal;
  }

  .prend-evidence-nav nav a {
    min-width: 0;
    padding: 4px 6px;
    text-align: left;
  }

  .prend-evidence-nav {
    overflow-x: clip;
  }

  .prend-evidence-inner {
    width: min(1080px, calc(100vw - 32px));
  }

  .prend-evidence-hero-inner {
    padding: 24px 0 14px;
  }

  .prend-evidence-hero h1 {
    font-size: 2.625rem;
    line-height: 1.06;
  }

  .prend-evidence-summary {
    margin-top: 16px;
    font-size: 1rem;
  }

  .prend-evidence-boundary {
    margin-top: 18px;
  }

  .prend-evidence-boundary,
  .prend-legend-heading,
  .prend-claim-conclusion,
  .prend-runtime-boundary,
  .prend-source-map,
  .prend-implementation-row {
    grid-template-columns: 1fr;
    gap: 9px;
  }

  .prend-route-strip {
    grid-template-columns: repeat(2, minmax(0, 1fr));
    margin-top: 18px;
  }

  .prend-route-strip li {
    min-height: 86px;
    padding: 11px;
  }

  .prend-evidence-legend,
  .prend-human-grid,
  .prend-limitations-list,
  .prend-fixture-copy .markdown-body ul,
  .prend-source-map ul {
    grid-template-columns: 1fr;
  }

  .prend-evidence-state {
    min-height: 0;
  }

  .prend-legend-band {
    padding: 20px 0 40px;
  }

  .prend-evidence-section .section-header h2 {
    font-size: 1.875rem;
  }

  .prend-claim-pane {
    padding: 18px;
  }

  .prend-pane-label {
    align-items: flex-start;
    flex-direction: column;
    gap: 5px;
  }

  .prend-claim-original blockquote {
    padding: 16px;
    font-size: 1.08rem;
  }

  .prend-claim-original dl > div {
    grid-template-columns: 92px minmax(0, 1fr);
  }

  .prend-pseudo-slide {
    min-height: 0;
    padding: 14px;
  }

  .prend-pseudo-slide header strong {
    font-size: 0.92rem;
  }

  .prend-fixture-step {
    grid-template-columns: 42px minmax(0, 1fr);
    gap: 12px;
    padding: 18px 15px;
  }

  .prend-fixture-copy,
  .prend-fixture-status {
    grid-column: 2;
  }

  .prend-fixture-status {
    width: fit-content;
    min-width: 108px;
  }

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

  .prend-implementation-row {
    padding: 18px;
  }

  .prend-implementation-copy table {
    width: 100%;
    min-width: 0;
    table-layout: fixed;
    font-size: 0.7rem;
  }

  .prend-implementation-copy .table-wrap {
    width: 100%;
    max-width: 100%;
    overflow-x: hidden;
  }

  .prend-workflow-flow,
  .prend-workflow-explanations {
    grid-template-columns: 1fr;
  }

  .prend-workflow-flow li,
  .prend-workflow-explanations li {
    min-height: 0;
    border-right: 1px solid var(--hairline);
    border-bottom: 1px solid var(--hairline);
    padding: 15px;
  }

  .prend-workflow-explanations li:nth-child(2n) {
    border-right: 1px solid var(--hairline);
  }

  .prend-human-grid article {
    padding: 18px;
  }
}

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

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

@media (max-width: 767px) {
  .product-screens-section {
    margin-block: 64px 72px;
    padding-top: 30px;
  }

  .product-screens-heading {
    margin-bottom: 26px;
  }

  .product-screens-heading h2 {
    font-size: 2rem;
  }

  .product-screen-item,
  .product-screen-item:first-child {
    grid-template-columns: 1fr;
    gap: 20px;
    padding-block: 24px;
  }

  .product-screen-item-mobile-browser .product-screen-media {
    width: min(100%, 360px);
    margin-inline: auto;
  }

  .product-screen-item figcaption {
    grid-template-columns: 48px minmax(0, 1fr);
    gap: 10px;
  }

  .product-screen-item figcaption h3 {
    font-size: 1.24rem;
  }

  .product-screen-media > span {
    width: 32px;
    height: 32px;
    padding: 0;
    font-size: 0;
    line-height: 32px;
    text-align: center;
    opacity: 1;
    transform: none;
  }

  .product-screen-media > span::after {
    content: "↗";
    font-size: 0.9rem;
  }

  .product-screen-dialog {
    width: calc(100vw - 16px);
    max-height: calc(100vh - 16px);
  }

  .product-screen-dialog-shell {
    padding: 12px;
  }

  .product-screen-dialog header {
    gap: 12px;
  }

  .product-screen-dialog header h2 {
    font-size: 1rem;
  }

  .product-screen-dialog-media[data-crop="mobile-browser"] {
    width: min(100%, 390px);
  }

  .product-screen-dialog footer {
    grid-template-columns: 1fr;
    gap: 10px;
  }
}