:root {
  --page-width: 1540px;
  --rail-width: 226px;
  --section-space: clamp(3.4rem, 7vw, 6.4rem);
}

* {
  box-sizing: border-box;
  scrollbar-color: var(--line, #d5dcd9) var(--recessed, #eceff0);
  scrollbar-width: thin;
}

::selection { background: var(--teal, #0e7a6e); color: var(--canvas, #f4f6f3); }
::-webkit-scrollbar { width: 10px; height: 10px; }
::-webkit-scrollbar-track { background: var(--recessed, #eceff0); }
::-webkit-scrollbar-thumb {
  border: 2px solid var(--recessed, #eceff0);
  border-radius: var(--radius-chip);
  background: var(--line, #d5dcd9);
}
::-webkit-scrollbar-thumb:hover { background: var(--teal, #0e7a6e); }

html {
  scroll-behavior: smooth;
  scroll-padding-top: 1.25rem;
}

body {
  margin: 0;
  background: var(--canvas, #f4f6f3);
  color: var(--ink-2, #33424a);
  font-family: var(--sans, -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif);
  font-size: 16px;
  line-height: 1.58;
  text-rendering: optimizeLegibility;
}

button,
input,
select { font: inherit; }

input { caret-color: var(--teal, #0e7a6e); }

button { cursor: pointer; }

a {
  color: var(--teal, #0e7a6e);
  text-underline-offset: 0.19em;
  text-decoration-thickness: 1px;
}

a:hover { text-decoration-thickness: 2px; }

:focus-visible {
  outline: 2px solid var(--focus, #0e7a6e);
  outline-offset: 3px;
}

.skip-link {
  position: fixed;
  z-index: 30;
  top: 0.75rem;
  left: 0.75rem;
  transform: translateY(-180%);
  border-radius: var(--radius-document);
  background: var(--ink, #131c21);
  color: var(--canvas, #f4f6f3);
  padding: 0.55rem 0.8rem;
}

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

.page-shell {
  display: grid;
  grid-template-columns: var(--rail-width) minmax(0, 1fr);
  width: min(100%, var(--page-width));
  margin-inline: auto;
}

.rail {
  position: sticky;
  top: 0;
  align-self: start;
  height: 100vh;
  overflow-y: auto;
  border-right: 1px solid var(--line, #d5dcd9);
  background: var(--paper, #fff);
  padding: 1.2rem 1rem 2rem;
}

.wordmark {
  display: inline-flex;
  align-items: baseline;
  gap: 0.5rem;
  color: var(--ink, #131c21);
  font-family: var(--serif, Georgia, serif);
  font-size: 1.18rem;
  font-weight: 500;
  text-decoration: none;
}

.wordmark span,
.rail-meta,
.nav-label,
.status,
.receipt,
.table-note,
.shape-number,
.method-count,
.copy-button,
.theme-button,
.table-tools label,
code,
pre {
  font-family: var(--mono, ui-monospace, "SF Mono", Menlo, Consolas, monospace);
  font-variant-numeric: tabular-nums;
}

.wordmark span {
  color: var(--teal, #0e7a6e);
  font-size: 0.64rem;
  font-weight: 700;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.rail-meta {
  margin: 0.55rem 0 1.35rem;
  color: var(--ink-3, #55666e);
  font-size: 0.68rem;
  line-height: 1.55;
}

.nav-label {
  margin: 1.1rem 0 0.35rem;
  color: var(--ink-3, #55666e);
  font-size: 0.6rem;
  font-weight: 700;
  letter-spacing: 0.11em;
  text-transform: uppercase;
}

.rail nav a {
  display: grid;
  grid-template-columns: 1.45rem 1fr;
  gap: 0.3rem;
  color: var(--ink-2, #33424a);
  padding: 0.33rem 0;
  font-size: 0.82rem;
  line-height: 1.35;
  text-decoration: none;
}

.rail nav a span {
  color: var(--teal, #0e7a6e);
  font-family: var(--mono, monospace);
  font-size: 0.7rem;
}

.rail nav a:hover { color: var(--ink, #131c21); }

.theme-button {
  width: 100%;
  margin-top: 1.4rem;
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-control);
  background: transparent;
  color: var(--ink-2, #33424a);
  padding: 0.55rem 0.7rem;
  font-size: 0.7rem;
  text-align: left;
}

.theme-button:hover { border-color: var(--teal, #0e7a6e); }

main {
  min-width: 0;
  padding: clamp(1.4rem, 3vw, 3.2rem) clamp(1.2rem, 4vw, 4.5rem) 8rem;
}

.intro {
  display: grid;
  grid-template-columns: minmax(0, 1.3fr) minmax(18rem, 0.7fr);
  gap: clamp(1.6rem, 4vw, 4rem);
  align-items: end;
  padding-bottom: 2.2rem;
  border-bottom: 1px solid var(--line, #d5dcd9);
}

h1,
h2,
h3,
h4 {
  color: var(--ink, #131c21);
  font-family: var(--serif, Georgia, serif);
  font-weight: 500;
}

h1 {
  max-width: 19ch;
  margin: 0;
  font-size: clamp(2.15rem, 4.4vw, 3.25rem);
  line-height: 1.04;
  letter-spacing: -0.018em;
  text-wrap: balance;
}

.intro-lead {
  max-width: 70ch;
  margin: 1.1rem 0 0;
  color: var(--ink-2, #33424a);
  font-size: clamp(1rem, 1.4vw, 1.1rem);
  line-height: 1.62;
  text-wrap: pretty;
}

.receipt {
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-document);
  background: var(--paper, #fff);
  color: var(--ink-2, #33424a);
  font-size: 0.73rem;
  line-height: 1.55;
}

.receipt-row {
  display: grid;
  grid-template-columns: minmax(7rem, 0.65fr) minmax(0, 1.35fr);
  gap: 0.8rem;
  padding: 0.56rem 0.7rem;
  border-bottom: 1px solid var(--line-soft, #e4e8e6);
}

.receipt-row:last-child { border-bottom: 0; }
.receipt-row dt { color: var(--ink-3, #55666e); }
.receipt-row dd { margin: 0; color: var(--ink, #131c21); overflow-wrap: anywhere; }

section {
  margin-top: var(--section-space);
  scroll-margin-top: 1.4rem;
}

.section-heading {
  display: grid;
  grid-template-columns: minmax(0, 0.9fr) minmax(18rem, 0.7fr);
  gap: 1.8rem;
  align-items: end;
  margin-bottom: 1.35rem;
}

.section-heading h2 {
  max-width: 29ch;
  margin: 0;
  font-size: clamp(1.62rem, 2.8vw, 2.2rem);
  line-height: 1.14;
  text-wrap: balance;
}

.section-heading p {
  max-width: 58ch;
  margin: 0;
  color: var(--ink-2, #33424a);
  text-wrap: pretty;
}

.status {
  display: inline-flex;
  align-items: center;
  width: fit-content;
  border: 1px solid currentColor;
  border-radius: var(--radius-chip);
  padding: 0.18rem 0.55rem;
  font-size: 0.6rem;
  font-weight: 700;
  letter-spacing: 0.075em;
  line-height: 1.35;
  text-transform: uppercase;
  white-space: nowrap;
}

.status--current { color: var(--teal, #0e7a6e); background: var(--teal-soft, #eaf6f3); }
.status--partial { color: var(--amber, #a16308); background: var(--amber-soft, #f8f1e5); }
.status--limit { color: var(--red, #9c2f2f); background: var(--red-soft, #f8eaea); }
.status--neutral { color: var(--ink-3, #55666e); background: var(--recessed, #eceff0); }

.system-answer {
  margin-top: 1.3rem;
  border: 1px solid var(--teal, #0e7a6e);
  border-radius: var(--radius-panel);
  background: var(--teal-soft, #eaf6f3);
  padding: 1.1rem 1.25rem;
}

.system-answer strong { color: var(--ink, #131c21); }
.system-answer p { max-width: 90ch; margin: 0.25rem 0 0; }

.shape-instrument {
  overflow: hidden;
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-panel);
  background: var(--paper, #fff);
}

.shape-path {
  display: grid;
  grid-template-columns: repeat(8, minmax(7rem, 1fr));
  overflow-x: auto;
  border-bottom: 1px solid var(--line, #d5dcd9);
  background: var(--recessed, #eceff0);
  scrollbar-width: thin;
}

.path-node {
  min-height: 4.2rem;
  display: grid;
  place-items: center;
  padding: 0.6rem;
  border-right: 1px solid var(--line, #d5dcd9);
  color: var(--ink-3, #55666e);
  font-family: var(--mono, monospace);
  font-size: 0.64rem;
  line-height: 1.35;
  text-align: center;
}

.path-node:last-child { border-right: 0; }
.path-node[data-active="true"] { background: var(--teal-soft, #eaf6f3); color: var(--teal, #0e7a6e); font-weight: 700; }

.shape-body {
  display: grid;
  grid-template-columns: minmax(12rem, 0.38fr) minmax(0, 1.62fr);
  min-height: 30rem;
}

.shape-list {
  margin: 0;
  padding: 0;
  border-right: 1px solid var(--line, #d5dcd9);
  list-style: none;
}

.shape-list li { border-bottom: 1px solid var(--line-soft, #e4e8e6); }

.shape-select {
  width: 100%;
  min-height: 3.65rem;
  display: grid;
  grid-template-columns: 1.8rem 1fr;
  gap: 0.45rem;
  align-items: center;
  border: 0;
  background: transparent;
  color: var(--ink-2, #33424a);
  padding: 0.65rem 0.8rem;
  text-align: left;
}

.shape-select:hover { background: var(--recessed, #eceff0); }
.shape-select[aria-pressed="true"] { background: var(--teal-soft, #eaf6f3); color: var(--ink, #131c21); }

.shape-number { color: var(--ink-3, #55666e); font-size: 0.64rem; }
.shape-label { font-size: 0.82rem; line-height: 1.28; }

.shape-readout {
  display: grid;
  grid-template-columns: minmax(0, 1.15fr) minmax(15rem, 0.85fr);
  gap: 1.5rem;
  padding: clamp(1.2rem, 3vw, 2rem);
}

.shape-readout h3 {
  margin: 0.65rem 0 0.6rem;
  font-size: clamp(1.42rem, 2.2vw, 1.9rem);
  line-height: 1.16;
}

.shape-readout p { max-width: 62ch; margin: 0; }

.shape-spec {
  margin: 1.2rem 0 0;
  border-top: 1px solid var(--line, #d5dcd9);
}

.shape-spec div {
  display: grid;
  grid-template-columns: 7.5rem minmax(0, 1fr);
  gap: 0.7rem;
  padding: 0.58rem 0;
  border-bottom: 1px solid var(--line-soft, #e4e8e6);
}

.shape-spec dt {
  color: var(--ink-3, #55666e);
  font-family: var(--mono, monospace);
  font-size: 0.68rem;
}

.shape-spec dd { margin: 0; color: var(--ink, #131c21); font-size: 0.86rem; }

.shape-code,
.code-block {
  min-width: 0;
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-document);
  background: var(--recessed, #eceff0);
  overflow: hidden;
}

.shape-code { align-self: start; }

.shape-code header,
.code-block header {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  align-items: center;
  padding: 0.52rem 0.7rem;
  border-bottom: 1px solid var(--line, #d5dcd9);
  color: var(--ink-3, #55666e);
  font-family: var(--mono, monospace);
  font-size: 0.64rem;
}

pre {
  margin: 0;
  overflow-x: auto;
  padding: 0.85rem;
  color: var(--ink, #131c21);
  font-size: 0.72rem;
  line-height: 1.58;
  white-space: pre;
  overflow-wrap: normal;
}

code { color: var(--ink, #131c21); font-size: 0.84em; }

:not(pre) > code {
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-document);
  background: var(--recessed, #eceff0);
  padding: 0.08rem 0.3rem;
}

.copy-button {
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-document);
  background: var(--paper, #fff);
  color: var(--ink-2, #33424a);
  padding: 0.28rem 0.48rem;
  font-size: 0.62rem;
}

.copy-button:hover { border-color: var(--teal, #0e7a6e); color: var(--teal, #0e7a6e); }

.table-wrap {
  width: 100%;
  overflow-x: auto;
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-document);
  background: var(--paper, #fff);
}

.seam-table,
.data-table {
  width: 100%;
  border-collapse: collapse;
  background: var(--paper, #fff);
  font-size: 0.86rem;
}

.seam-table { min-width: 900px; }
.data-table { min-width: 760px; }
#method-table { min-width: 1040px; }

th,
td {
  padding: 0.7rem 0.76rem;
  border-bottom: 1px solid var(--line, #d5dcd9);
  vertical-align: top;
  text-align: left;
}

th {
  background: var(--recessed, #eceff0);
  color: var(--ink-3, #55666e);
  font-family: var(--mono, monospace);
  font-size: 0.62rem;
  font-weight: 700;
  letter-spacing: 0.07em;
  text-transform: uppercase;
}

tbody tr:last-child td { border-bottom: 0; }
tbody tr:hover td { background: var(--teal-soft, #eaf6f3); }
td strong { color: var(--ink, #131c21); }

.seam-table td:first-child,
.data-table td:first-child { color: var(--ink, #131c21); font-weight: 600; }

.table-note { margin: 0.65rem 0 0; color: var(--ink-3, #55666e); font-size: 0.68rem; }

.table-tools {
  display: flex;
  flex-wrap: wrap;
  gap: 0.65rem;
  align-items: end;
  justify-content: space-between;
  margin-bottom: 0.75rem;
}

.table-tools .controls { display: flex; flex-wrap: wrap; gap: 0.6rem; }

.table-tools label {
  display: grid;
  gap: 0.25rem;
  color: var(--ink-3, #55666e);
  font-size: 0.62rem;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.table-tools input,
.table-tools select {
  min-height: 2.35rem;
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-control);
  background: var(--paper, #fff);
  color: var(--ink, #131c21);
  padding: 0.42rem 0.65rem;
  font-family: var(--sans, sans-serif);
  font-size: 0.84rem;
  text-transform: none;
}

#method-search { width: min(24rem, 70vw); }
.method-count { color: var(--ink-3, #55666e); font-size: 0.7rem; }
.method-name { white-space: nowrap; }
.method-location { color: var(--ink-3, #55666e); font-size: 0.78rem; }

.empty-result {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  align-items: center;
  margin-top: 0.7rem;
  border: 1px solid var(--amber, #a16308);
  border-radius: var(--radius-document);
  background: var(--amber-soft, #f8f1e5);
  padding: 0.7rem 0.8rem;
  color: var(--ink, #131c21);
  font-size: 0.84rem;
}

.empty-result button {
  border: 1px solid var(--amber, #a16308);
  border-radius: var(--radius-control);
  background: var(--paper, #fff);
  color: var(--amber, #a16308);
  padding: 0.38rem 0.65rem;
  font-family: var(--mono, monospace);
  font-size: 0.66rem;
  white-space: nowrap;
}

.command-pair {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1rem;
  margin-bottom: 1rem;
}

.command-ledger,
.workflow-ledger,
.status-ledger {
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-document);
  background: var(--paper, #fff);
}

.command-ledger h3,
.workflow-row h3,
.status-row h3 { margin: 0; font-size: 1.12rem; }

.command-ledger header { padding: 0.9rem; border-bottom: 1px solid var(--line, #d5dcd9); }
.command-ledger ul { margin: 0; padding: 0; list-style: none; }

.command-ledger li {
  display: grid;
  grid-template-columns: minmax(7rem, 0.42fr) minmax(0, 1fr);
  gap: 0.7rem;
  padding: 0.58rem 0.9rem;
  border-bottom: 1px solid var(--line-soft, #e4e8e6);
  font-size: 0.82rem;
}

.command-ledger li:last-child { border-bottom: 0; }
.command-ledger li code { white-space: nowrap; }

.workflow-row,
.status-row {
  display: grid;
  grid-template-columns: minmax(12rem, 0.5fr) minmax(0, 1.5fr);
  gap: 1.2rem;
  padding: 1rem;
  border-bottom: 1px solid var(--line, #d5dcd9);
}

.workflow-row:last-child,
.status-row:last-child { border-bottom: 0; }

.workflow-meta { display: flex; flex-wrap: wrap; gap: 0.45rem; margin-top: 0.55rem; }
.workflow-row p { margin: 0 0 0.6rem; max-width: 72ch; }

details { border-top: 1px solid var(--line-soft, #e4e8e6); padding-top: 0.55rem; }

summary {
  color: var(--teal, #0e7a6e);
  cursor: pointer;
  font-family: var(--mono, monospace);
  font-size: 0.7rem;
}

details ul { margin: 0.7rem 0 0.2rem; padding-left: 1.2rem; columns: 2 18rem; }
details li { break-inside: avoid; margin: 0.25rem 0; }

.state-map {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-panel);
  overflow: hidden;
  background: var(--paper, #fff);
}

.state-column { padding: 1.1rem; border-right: 1px solid var(--line, #d5dcd9); }
.state-column:last-child { border-right: 0; }
.state-column h3 { margin: 0 0 0.7rem; font-size: 1.18rem; }
.state-column p { margin: 0; font-size: 0.86rem; }
.state-column ul { margin: 0.8rem 0 0; padding-left: 1.15rem; font-size: 0.82rem; }
.state-column li { margin: 0.35rem 0; }

.cycle-strip {
  display: grid;
  grid-template-columns: repeat(7, minmax(7rem, 1fr));
  overflow-x: auto;
  margin-top: 1rem;
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-document);
  background: var(--recessed, #eceff0);
}

.cycle-step { min-height: 5.3rem; padding: 0.75rem; border-right: 1px solid var(--line, #d5dcd9); }
.cycle-step:last-child { border-right: 0; }
.cycle-step span { display: block; color: var(--teal, #0e7a6e); font-family: var(--mono, monospace); font-size: 0.62rem; }
.cycle-step strong { display: block; margin-top: 0.3rem; color: var(--ink, #131c21); font-size: 0.8rem; line-height: 1.35; }

.trust-verdict {
  display: grid;
  grid-template-columns: minmax(12rem, 0.43fr) minmax(0, 1.57fr);
  gap: 1.3rem;
  margin-bottom: 1rem;
  border: 1px solid var(--teal, #0e7a6e);
  border-radius: var(--radius-panel);
  background: var(--teal-soft, #eaf6f3);
  padding: 1.1rem;
}

.trust-verdict h3 { margin: 0.55rem 0 0; font-size: 1.35rem; }
.trust-verdict p { margin: 0; max-width: 78ch; }

.gap-list {
  margin: 1rem 0 0;
  padding: 0;
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-document);
  background: var(--paper, #fff);
  list-style: none;
  counter-reset: gap;
}

.gap-list li {
  counter-increment: gap;
  display: grid;
  grid-template-columns: 2rem minmax(12rem, 0.45fr) minmax(0, 1.55fr);
  gap: 0.8rem;
  padding: 0.72rem 0.8rem;
  border-bottom: 1px solid var(--line, #d5dcd9);
  font-size: 0.84rem;
}

.gap-list li:last-child { border-bottom: 0; }
.gap-list li::before { content: counter(gap, decimal-leading-zero); color: var(--teal, #0e7a6e); font-family: var(--mono, monospace); font-size: 0.66rem; }
.gap-list strong { color: var(--ink, #131c21); }

.build-ledger {
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-document);
  background: var(--paper, #fff);
}

.build-row {
  display: grid;
  grid-template-columns: minmax(13rem, 0.55fr) minmax(0, 1.35fr) minmax(11rem, 0.55fr);
  gap: 1.2rem;
  align-items: center;
  padding: 1rem;
  border-bottom: 1px solid var(--line, #d5dcd9);
}

.build-row:last-child { border-bottom: 0; }
.build-row h3 { margin: 0.55rem 0 0; font-size: 1.14rem; }
.build-row p { margin: 0; max-width: 74ch; }
.build-row > div:last-child { color: var(--ink-3, #55666e); text-align: right; }
.build-row > div:last-child code { white-space: nowrap; }

.build-tools {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1rem;
  margin-top: 1rem;
}

.network-effect {
  margin-top: 2rem;
  border: 1px solid var(--teal, #0e7a6e);
  border-radius: var(--radius-panel);
  background: var(--teal-soft, #eaf6f3);
  padding: clamp(1.1rem, 3vw, 1.7rem);
}

.network-effect h3 {
  max-width: 34ch;
  margin: 0.7rem 0 0.6rem;
  font-size: 1.46rem;
  line-height: 1.18;
}

.network-effect > div > p { max-width: 86ch; margin: 0; }

.network-path {
  display: grid;
  grid-template-columns: repeat(5, minmax(9rem, 1fr));
  margin: 1.2rem 0 0;
  padding: 0;
  overflow-x: auto;
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-document);
  background: var(--paper, #fff);
  list-style: none;
}

.network-path li {
  min-height: 6.2rem;
  padding: 0.75rem;
  border-right: 1px solid var(--line, #d5dcd9);
}

.network-path li:last-child { border-right: 0; }
.network-path span { color: var(--teal, #0e7a6e); font-family: var(--mono, monospace); font-size: 0.62rem; }
.network-path strong { display: block; margin-top: 0.4rem; color: var(--ink, #131c21); font-size: 0.8rem; line-height: 1.35; }
.network-close { max-width: 98ch; margin: 1rem 0 0; }

.metering-grid {
  display: grid;
  grid-template-columns: minmax(0, 1.1fr) minmax(18rem, 0.9fr);
  gap: 1rem;
}

.metering-note {
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-document);
  background: var(--paper, #fff);
  padding: 1rem;
}

.metering-note h3 { margin: 0.65rem 0; font-size: 1.2rem; }
.metering-note p { margin: 0.55rem 0; }

.atom-row {
  display: grid;
  grid-template-columns: 8.5rem minmax(0, 1fr);
  gap: 0.7rem;
  padding: 0.55rem 0;
  border-top: 1px solid var(--line-soft, #e4e8e6);
  font-size: 0.82rem;
}

.atom-row code { white-space: nowrap; }
.status-row p { margin: 0; max-width: 76ch; }
.status-row ul { margin: 0.5rem 0 0; padding-left: 1.15rem; }

.source-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.7rem 1.4rem;
  margin-top: 1.2rem;
}

.source-link {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 0.7rem;
  padding: 0.7rem 0;
  border-bottom: 1px solid var(--line, #d5dcd9);
  text-decoration: none;
}

.source-link strong { color: var(--ink, #131c21); font-size: 0.86rem; }
.source-link span { color: var(--ink-3, #55666e); font-family: var(--mono, monospace); font-size: 0.63rem; }

.page-footer {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  margin-top: var(--section-space);
  padding-top: 1.2rem;
  border-top: 1px solid var(--line, #d5dcd9);
  color: var(--ink-3, #55666e);
  font-family: var(--mono, monospace);
  font-size: 0.67rem;
}

.rail nav a {
  display: block;
  padding: 0.28rem 0;
}

.section-state,
.detail-kicker,
.example-provenance,
.source-pointer,
.back-link,
.compiler-stage,
.code-example summary small,
.doc-reader-status,
.doc-outline {
  font-family: var(--mono, ui-monospace, "SF Mono", Menlo, Consolas, monospace);
  font-variant-numeric: tabular-nums;
}

.section-state,
.detail-kicker {
  margin: 0 0 0.45rem;
  color: var(--teal, #0e7a6e);
  font-size: 0.66rem;
  font-weight: 700;
  letter-spacing: 0.09em;
  text-transform: uppercase;
}

.example-provenance {
  width: fit-content;
  margin: -0.55rem 0 1rem;
  border-left: 2px solid var(--teal, #0e7a6e);
  color: var(--ink-3, #55666e);
  padding-left: 0.55rem;
  font-size: 0.64rem;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.state-example > .example-provenance {
  margin: 0;
  border-bottom: 1px solid var(--line, #d5dcd9);
  border-left: 0;
  padding: 0.55rem 0.7rem;
}

.catalog-workbench {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(23rem, 0.72fr);
  gap: 1rem;
  align-items: start;
}

.catalog-master { min-width: 0; }

.estate-heading {
  display: grid;
  grid-template-columns: minmax(16rem, 0.8fr) minmax(0, 1.2fr);
  gap: 1.5rem;
  align-items: end;
  margin: 2.4rem 0 1rem;
  padding-top: 1.5rem;
  border-top: 1px solid var(--line, #d5dcd9);
}

.estate-heading h3 { margin: 0; font-size: 1.35rem; }
.estate-heading p:last-child { max-width: 68ch; margin: 0; }
.estate-scroll { max-height: min(62vh, 44rem); }

.load-more {
  width: 100%;
  margin-top: 0.55rem;
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-control);
  background: var(--paper, #fff);
  color: var(--teal, #0e7a6e);
  padding: 0.55rem 0.8rem;
  font-family: var(--mono, ui-monospace, "SF Mono", Menlo, Consolas, monospace);
  font-size: 0.68rem;
}

.load-more:hover { border-color: var(--teal, #0e7a6e); }

.catalog-scroll {
  max-height: min(68vh, 52rem);
  overflow: auto;
}

.catalog-scroll thead {
  position: sticky;
  z-index: 2;
  top: 0;
  background: var(--paper, #fff);
}

.catalog-table { min-width: 680px; }
.catalog-table th:first-child { width: 31%; }
.catalog-table td:nth-child(2) { width: 16%; }
.catalog-table tr { cursor: pointer; }
.catalog-table tr.is-selected { background: var(--teal-soft, #eaf6f3); }
.catalog-table tr:hover { background: var(--recessed, #eceff0); }

.catalog-select {
  width: 100%;
  border: 0;
  background: transparent;
  color: var(--ink, #131c21);
  padding: 0;
  text-align: left;
}

.catalog-select code {
  color: inherit;
  font-size: 0.74rem;
  white-space: normal;
  overflow-wrap: anywhere;
}

.catalog-select-name {
  font-family: var(--sans, -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif);
  font-size: 0.82rem;
  font-weight: 650;
  line-height: 1.3;
}

.catalog-select[aria-current="true"] {
  color: var(--teal, #0e7a6e);
  text-decoration: underline;
  text-decoration-thickness: 2px;
  text-underline-offset: 0.22em;
}

.detail-pane {
  position: sticky;
  top: 1.25rem;
  max-height: calc(100vh - 2.5rem);
  overflow: auto;
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-document);
  background: var(--paper, #fff);
  padding: 1rem;
}

.detail-pane h3 {
  margin: 0;
  font-size: clamp(1.35rem, 2.2vw, 1.8rem);
  line-height: 1.12;
  text-wrap: balance;
}

.detail-pane h4 {
  margin: 1.35rem 0 0.55rem;
  font-size: 1rem;
}

.detail-lead { margin: 0.65rem 0; color: var(--ink, #131c21); }

.back-link {
  display: none;
  margin-bottom: 0.7rem;
  font-size: 0.68rem;
}

.detail-facts { margin: 1rem 0 0; }
.detail-facts > div { padding: 0.55rem 0; border-top: 1px solid var(--line-soft, #e4e8e6); }
.detail-facts dt { color: var(--ink-3, #55666e); font-family: var(--mono, monospace); font-size: 0.64rem; letter-spacing: 0.04em; text-transform: uppercase; }
.detail-facts dd { margin: 0.2rem 0 0; color: var(--ink, #131c21); font-size: 0.84rem; }

.detail-code-pair { display: grid; gap: 0.7rem; margin-top: 0.9rem; }
.compact-code pre { max-height: 18rem; font-size: 0.68rem; line-height: 1.48; }
.source-pointer { margin: 0.9rem 0 0; color: var(--ink-3, #55666e); font-size: 0.65rem; }
.source-pointer span { margin-right: 0.45rem; color: var(--teal, #0e7a6e); font-weight: 700; text-transform: uppercase; }
.source-pointer code { overflow-wrap: anywhere; }

.workflow-graph,
.compound-timeline {
  margin: 0;
  padding: 0;
  list-style: none;
}

.workflow-graph li {
  display: grid;
  gap: 0.15rem;
  padding: 0.48rem 0;
  border-top: 1px solid var(--line-soft, #e4e8e6);
  font-size: 0.74rem;
}

.workflow-graph small { color: var(--ink-3, #55666e); font-family: var(--mono, monospace); font-size: 0.62rem; }

.compound-timeline { counter-reset: cycle; }
.compound-timeline > li {
  counter-increment: cycle;
  position: relative;
  margin-left: 0.7rem;
  padding: 0 0 1.1rem 1.35rem;
  border-left: 1px solid var(--teal, #0e7a6e);
}
.compound-timeline > li::before {
  content: counter(cycle);
  position: absolute;
  top: 0;
  left: -0.75rem;
  display: grid;
  place-items: center;
  width: 1.45rem;
  height: 1.45rem;
  border: 1px solid var(--teal, #0e7a6e);
  border-radius: 999px;
  background: var(--paper, #fff);
  color: var(--teal, #0e7a6e);
  font-family: var(--mono, monospace);
  font-size: 0.62rem;
}
.compound-timeline h5 { margin: 0; color: var(--ink, #131c21); font-family: var(--sans, sans-serif); font-size: 0.86rem; }
.compound-timeline dl { display: grid; grid-template-columns: 4.5rem minmax(0, 1fr); gap: 0.12rem 0.6rem; margin: 0.4rem 0 0; font-size: 0.72rem; }
.compound-timeline dt { color: var(--ink-3, #55666e); font-family: var(--mono, monospace); }
.compound-timeline dd { margin: 0; }

.state-map { grid-template-columns: repeat(4, minmax(0, 1fr)); }
.state-example { margin-top: 1rem; }

.compiler-heading { align-items: end; }
.compiler-flow {
  display: grid;
  grid-template-columns: repeat(9, minmax(7.5rem, 1fr));
  overflow-x: auto;
  border: 1px solid var(--line, #d5dcd9);
  border-radius: var(--radius-document) var(--radius-document) 0 0;
  background: var(--paper, #fff);
}
.compiler-stage {
  min-height: 5.4rem;
  display: grid;
  align-content: space-between;
  gap: 0.55rem;
  border: 0;
  border-right: 1px solid var(--line, #d5dcd9);
  background: transparent;
  color: var(--ink, #131c21);
  padding: 0.65rem;
  text-align: left;
}
.compiler-stage:last-child { border-right: 0; }
.compiler-stage span { color: var(--teal, #0e7a6e); font-size: 0.6rem; }
.compiler-stage strong { font-family: var(--sans, sans-serif); font-size: 0.76rem; line-height: 1.2; }
.compiler-stage[aria-selected="true"] { background: var(--teal-soft, #eaf6f3); box-shadow: inset 0 -3px 0 var(--teal, #0e7a6e); }
.compiler-workbench {
  display: grid;
  grid-template-columns: minmax(0, 0.8fr) minmax(0, 1.2fr);
  border: 1px solid var(--line, #d5dcd9);
  border-top: 0;
  border-radius: 0 0 var(--radius-document) var(--radius-document);
  background: var(--paper, #fff);
}
.compiler-panel { padding: clamp(1rem, 2.5vw, 1.5rem); }
.compiler-panel h3 { margin: 0; font-size: 1.65rem; }
.compiler-code { margin: 0; border: 0; border-left: 1px solid var(--line, #d5dcd9); border-radius: 0 0 var(--radius-document) 0; }
.compiler-code pre { max-height: 30rem; }

.implementation-examples { margin-top: 1rem; border: 1px solid var(--line, #d5dcd9); border-radius: var(--radius-document); background: var(--paper, #fff); }
.code-example { border-bottom: 1px solid var(--line, #d5dcd9); }
.code-example:last-child { border-bottom: 0; }
.code-example summary { display: grid; grid-template-columns: 2rem minmax(12rem, 0.45fr) minmax(0, 1fr); gap: 0.7rem; align-items: center; padding: 0.85rem; cursor: pointer; }
.code-example summary::marker { color: var(--teal, #0e7a6e); }
.code-example summary > span { color: var(--teal, #0e7a6e); font-family: var(--mono, monospace); font-size: 0.64rem; }
.code-example summary strong { color: var(--ink, #131c21); font-size: 0.86rem; }
.code-example summary small { color: var(--ink-3, #55666e); font-size: 0.67rem; }
.code-example .code-block { margin: 0 0.8rem 0.8rem; }
.code-example pre { max-height: 34rem; }
.plain-example { border: 1px solid var(--line, #d5dcd9); border-radius: var(--radius-document); background: var(--paper, #fff); padding: 1rem; }
.plain-example strong { color: var(--ink, #131c21); }
.plain-example p { margin: 0.5rem 0 0; }

.docs-workbench { display: grid; grid-template-columns: minmax(17rem, 0.38fr) minmax(0, 1.62fr); gap: 1rem; align-items: start; margin-top: 1.2rem; }
.docs-workbench .source-grid { grid-template-columns: 1fr; margin-top: 0; }
.doc-reader { min-width: 0; max-height: 78vh; overflow: auto; border: 1px solid var(--line, #d5dcd9); border-radius: var(--radius-document); background: var(--paper, #fff); padding: clamp(1rem, 2.4vw, 1.5rem); }
.doc-reader-header { display: flex; justify-content: space-between; gap: 1rem; align-items: start; padding-bottom: 0.8rem; border-bottom: 1px solid var(--line, #d5dcd9); }
.doc-reader-header h3 { margin: 0; font-size: 1.55rem; }
.source-open { white-space: nowrap; font-size: 0.76rem; }
#doc-reader-status { margin: 0.7rem 0; color: var(--ink-3, #55666e); font-family: var(--mono, monospace); font-size: 0.66rem; }
.doc-outline { display: flex; gap: 0.35rem 0.8rem; flex-wrap: wrap; margin: 0.8rem 0 1.4rem; padding: 0.65rem 0; border-block: 1px solid var(--line-soft, #e4e8e6); font-size: 0.64rem; }
.doc-outline a[data-level="3"] { color: var(--ink-3, #55666e); }
.markdown-body { color: var(--ink-2, #33424a); font-size: 0.87rem; }
.markdown-body h1 { max-width: none; font-size: 2rem; }
.markdown-body h2 { margin-top: 2rem; font-size: 1.5rem; }
.markdown-body h3 { margin-top: 1.45rem; font-size: 1.15rem; }
.markdown-body p { max-width: 82ch; }
.markdown-body pre { max-height: 32rem; overflow: auto; border: 1px solid var(--line, #d5dcd9); border-radius: var(--radius-control); background: var(--ink, #131c21); color: var(--canvas, #f4f6f3); padding: 0.8rem; font-size: 0.7rem; }
.markdown-body blockquote { margin: 1rem 0; border-left: 3px solid var(--teal, #0e7a6e); padding: 0.3rem 0 0.3rem 1rem; color: var(--ink, #131c21); }
.markdown-body table { width: 100%; border-collapse: collapse; font-size: 0.74rem; }
.markdown-body th, .markdown-body td { padding: 0.5rem; border: 1px solid var(--line, #d5dcd9); text-align: left; vertical-align: top; }

[hidden] { display: none !important; }

@media (max-width: 1080px) {
  .page-shell { grid-template-columns: 1fr; }
  .rail {
    position: sticky;
    z-index: 20;
    top: 0;
    height: auto;
    display: flex;
    align-items: center;
    gap: 1rem;
    overflow-x: auto;
    border-right: 0;
    border-bottom: 1px solid var(--line, #d5dcd9);
    padding: 0.72rem 1rem;
  }
  .rail-meta,
  .nav-label { display: none; }
  .rail nav { display: flex; gap: 0.9rem; flex: 0 0 auto; }
  .rail nav a { display: block; padding: 0; white-space: nowrap; }
  .rail nav a span { display: none; }
  .theme-button { width: auto; margin: 0 0 0 auto; white-space: nowrap; }
  main { padding-top: 2rem; }
  .detail-pane { top: 4.5rem; max-height: calc(100vh - 5.5rem); }
}

@media (max-width: 820px) {
  .intro,
  .section-heading,
  .shape-readout,
  .trust-verdict,
  .metering-grid { grid-template-columns: 1fr; }
  .shape-body { grid-template-columns: 1fr; }
  .shape-list {
    display: flex;
    overflow-x: auto;
    border-right: 0;
    border-bottom: 1px solid var(--line, #d5dcd9);
  }
  .shape-list li { min-width: 12rem; border-right: 1px solid var(--line-soft, #e4e8e6); border-bottom: 0; }
  .command-pair,
  .state-map,
  .source-grid,
  .catalog-workbench,
  .compiler-workbench,
  .docs-workbench,
  .estate-heading { grid-template-columns: 1fr; }
  .detail-pane { position: static; max-height: none; overflow: visible; }
  .back-link { display: inline-block; }
  .compiler-code { border-left: 0; border-top: 1px solid var(--line, #d5dcd9); }
  .doc-reader { max-height: none; }
  .state-column { border-right: 0; border-bottom: 1px solid var(--line, #d5dcd9); }
  .state-column:last-child { border-bottom: 0; }
  .workflow-row,
  .status-row,
  .build-row { grid-template-columns: 1fr; }
  .build-row > div:last-child { text-align: left; }
  .build-tools { grid-template-columns: 1fr; }
  .gap-list li { grid-template-columns: 2rem minmax(0, 1fr); }
  .gap-list li span { grid-column: 2; }
  .code-example summary { grid-template-columns: 2rem minmax(0, 1fr); }
  .code-example summary small { grid-column: 2; }
}

@media (max-width: 560px) {
  main { padding-inline: 1rem; }
  h1 { font-size: 2.25rem; }
  .receipt-row,
  .shape-spec div { grid-template-columns: 1fr; gap: 0.18rem; }
  .table-tools { align-items: stretch; }
  .table-tools .controls { display: grid; width: 100%; }
  #method-search { width: 100%; }
  .page-footer { flex-direction: column; }
}

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

@media print {
  .rail,
  .theme-button,
  .copy-button,
  .table-tools { display: none !important; }
  .page-shell { display: block; }
  main { padding: 0; }
  section { break-inside: avoid; }
  details > * { display: block; }
}