/* UDS · macrostructure: Narrative Workflow told as ledger entries · direction: evidence ledger
 * primary ref: [[design-systems/x.ai]] — monochrome chrome, border-first depth, mono display, sharp corners, dim-on-hover
 * borrow only: [[design-systems/vercel]] negative tracking on headings + tabular figures;
 *              [[design-system-warm-neutral-anti-tech]] canvas temperature (paper, R ≥ G ≥ B)
 * role rule: hue is reserved for recorded outcomes — pass, fail, void — plus the focus ring
 * nav: ledger masthead · footer: closing entry · dials: variance 6 / motion 5 / density 5
 */

:root {
  color-scheme: light dark;

  --paper: oklch(97.4% 0.008 85);
  --paper-sunk: oklch(94.8% 0.011 85);
  --ink: oklch(21% 0.012 70);
  --ink-2: oklch(40% 0.012 70);
  --ink-3: oklch(49% 0.011 70);
  --rule: oklch(21% 0.012 70 / 0.14);
  --rule-strong: oklch(21% 0.012 70 / 0.5);
  --rule-faint: oklch(21% 0.012 70 / 0.055);

  --pass: oklch(47% 0.115 152);
  --pass-wash: oklch(93% 0.045 152);
  --fail: oklch(51% 0.185 29);
  --fail-wash: oklch(93.5% 0.04 29);
  --void: oklch(21% 0.012 70 / 0.2);
  --focus: oklch(55% 0.2 256);

  --font-mono: "IBM Plex Mono", ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;
  --font-sans: "IBM Plex Sans", "Helvetica Neue", Arial, sans-serif;

  --ease-out: cubic-bezier(0.16, 1, 0.3, 1);
  --t-fast: 150ms;
  --t-base: 250ms;
  --t-slow: 400ms;
  --t-stamp: 320ms;

  --wrap: 76rem;
  --gutter: 1rem;
  --section-space: clamp(4.5rem, 3rem + 6vw, 8rem);
  --masthead-height: 3.5rem;
}

@media (prefers-color-scheme: dark) {
  :root {
    --paper: oklch(19.5% 0.008 70);
    --paper-sunk: oklch(16% 0.007 70);
    --ink: oklch(94% 0.008 85);
    --ink-2: oklch(80% 0.01 80);
    --ink-3: oklch(70% 0.01 80);
    --rule: oklch(94% 0.008 85 / 0.14);
    --rule-strong: oklch(94% 0.008 85 / 0.4);
    --rule-faint: oklch(94% 0.008 85 / 0.045);

    --pass: oklch(79% 0.14 152);
    --pass-wash: oklch(29% 0.05 152);
    --fail: oklch(74% 0.155 29);
    --fail-wash: oklch(30% 0.065 29);
    --void: oklch(94% 0.008 85 / 0.22);
    --focus: oklch(75% 0.14 256);
  }
}

@media (min-width: 40rem) {
  :root {
    --gutter: 1.5rem;
  }
}

@media (min-width: 64rem) {
  :root {
    --gutter: 2.5rem;
  }
}

/* ---------- Base ---------- */

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

html {
  -webkit-text-size-adjust: 100%;
  text-size-adjust: 100%;
  scroll-padding-top: calc(var(--masthead-height) + 1rem);
}

@media (prefers-reduced-motion: no-preference) {
  html {
    scroll-behavior: smooth;
  }
}

body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font: 400 1.0625rem / 1.6 var(--font-sans);
  font-kerning: normal;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
}

h1,
h2,
h3,
p,
dl,
dd,
ol,
ul,
figure,
pre {
  margin: 0;
}

ol,
ul {
  padding: 0;
  list-style: none;
}

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

a {
  color: inherit;
  text-decoration-line: underline;
  text-decoration-thickness: 1px;
  text-underline-offset: 0.22em;
  text-decoration-color: var(--rule-strong);
  transition:
    color var(--t-fast) var(--ease-out),
    text-decoration-color var(--t-fast) var(--ease-out);
}

a:hover {
  color: var(--ink-2);
  text-decoration-color: currentColor;
}

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

::selection {
  background: var(--ink);
  color: var(--paper);
}

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

.skip {
  position: absolute;
  top: 0.5rem;
  left: 0.5rem;
  z-index: 20;
  padding: 0.75rem 1rem;
  background: var(--ink);
  color: var(--paper);
  font: 500 0.8125rem / 1 var(--font-mono);
  text-decoration: none;
  transform: translateY(-200%);
}

.skip:focus-visible {
  transform: none;
}

.wrap {
  width: 100%;
  max-width: var(--wrap);
  margin-inline: auto;
  padding-inline: var(--gutter);
}

.muted {
  color: var(--ink-3);
}

/* Controls that only work with the script stay out of the static page. */
html:not(.js) :is(.copy, .replay, .lang) {
  display: none;
}

/* Single-column grids must shrink below their longest code line; wider layouts override this. */
:is(
  .hero__row,
  .hero__cta,
  .section-head,
  .verdicts__list,
  .step,
  .evidence,
  .evidence__card,
  .evidence__replay,
  .tabs__panel,
  .codeblock,
  .closing__row,
  .c-test,
  .why
) {
  grid-template-columns: minmax(0, 1fr);
}

/* ---------- Brand mark: the ideal outcome row, pass · fail · pass ---------- */

.brand {
  display: inline-flex;
  align-items: center;
  gap: 0.625rem;
  min-height: 2.75rem;
  color: var(--ink);
  text-decoration: none;
}

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

.brand__name {
  font: 600 0.9375rem / 1 var(--font-mono);
  letter-spacing: -0.01em;
}

.mark {
  display: inline-grid;
  grid-template-columns: repeat(3, 0.5rem);
  gap: 2px;
}

.mark i {
  display: block;
  height: 0.75rem;
  background: var(--pass);
}

.mark i:nth-child(2) {
  background: var(--fail);
}

/* ---------- Masthead ---------- */

.masthead {
  position: sticky;
  top: 0;
  z-index: 10;
  background: var(--paper);
  border-bottom: 1px solid var(--rule);
}

.masthead__row {
  display: flex;
  align-items: center;
  gap: 1.5rem;
  min-height: var(--masthead-height);
}

.masthead__meta {
  display: none;
  color: var(--ink-3);
  font: 400 0.75rem / 1 var(--font-mono);
  font-variant-numeric: tabular-nums;
}

.masthead__nav {
  display: none;
  gap: 1.5rem;
  margin-inline-start: auto;
}

.masthead__nav a,
.masthead__gh {
  display: inline-flex;
  align-items: center;
  min-height: 2.75rem;
  font: 500 0.8125rem / 1 var(--font-sans);
  text-decoration: none;
}

.masthead__end {
  display: flex;
  align-items: center;
  gap: 1rem;
  margin-inline-start: auto;
}

.masthead__nav + .masthead__end {
  margin-inline-start: 0;
}

.lang {
  display: inline-flex;
  min-width: 0;
  margin: 0;
  padding: 0;
  border: 1px solid var(--rule-strong);
}

.lang button {
  min-width: 2.75rem;
  min-height: 2.25rem;
  padding: 0 0.5rem;
  border: 0;
  background: transparent;
  color: var(--ink-3);
  font: 500 0.75rem / 1 var(--font-mono);
  letter-spacing: 0.06em;
  cursor: pointer;
  transition:
    background-color var(--t-fast) var(--ease-out),
    color var(--t-fast) var(--ease-out);
}

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

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

@media (min-width: 56rem) {
  .masthead__meta {
    display: inline;
  }

  .masthead__nav {
    display: flex;
  }
}

/* ---------- Buttons ---------- */

.btn,
.copy,
.replay {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 0.5rem;
  border: 1px solid var(--rule-strong);
  background: transparent;
  color: var(--ink);
  font: 500 0.75rem / 1 var(--font-mono);
  letter-spacing: 0.07em;
  text-transform: uppercase;
  text-decoration: none;
  white-space: nowrap;
  cursor: pointer;
  transition:
    background-color var(--t-fast) var(--ease-out),
    border-color var(--t-fast) var(--ease-out),
    color var(--t-fast) var(--ease-out);
}

.btn {
  min-height: 2.75rem;
  padding: 0 1.125rem;
  border-color: var(--ink);
  background: var(--ink);
  color: var(--paper);
}

.btn:hover {
  background: color-mix(in oklab, var(--ink) 84%, var(--paper));
  color: var(--paper);
}

.btn__meta {
  color: color-mix(in oklab, var(--paper) 70%, var(--ink));
}

.copy,
.replay {
  min-height: 2.75rem;
  padding: 0 0.75rem;
}

.copy:hover,
.replay:hover {
  border-color: var(--ink);
}

.btn:active,
.copy:active,
.replay:active {
  transform: translateY(1px);
}

.copy[data-state="done"] {
  border-color: var(--ink);
  background: var(--ink);
  color: var(--paper);
}

.copy[data-state="error"] {
  border-style: dashed;
  color: var(--ink-2);
}

:is(.btn, .copy, .replay):disabled {
  opacity: 0.45;
  cursor: not-allowed;
  transform: none;
}

@media (min-width: 56rem) {
  .copy,
  .replay {
    min-height: 2rem;
  }
}

/* ---------- Command line ---------- */

.cmd {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.25rem 0.75rem;
  padding: 0.375rem 0.375rem 0.375rem 0.875rem;
  border: 1.5px solid var(--ink);
  background: var(--paper);
}

.cmd code {
  flex: 1 1 12rem;
  min-width: 0;
  padding-block: 0.5rem;
  font-size: 0.875rem;
  overflow-wrap: anywhere;
}

.cmd__prompt {
  color: var(--ink-3);
  font: 400 0.875rem / 1 var(--font-mono);
}

/* ---------- Hero ---------- */

.hero {
  position: relative;
  isolation: isolate;
  padding-block: clamp(2.5rem, 1.5rem + 3vw, 4.5rem) 0;
}

/* Ledger ruling behind the hero; the table itself sits on an opaque sheet. */
.hero::before {
  content: "";
  position: absolute;
  inset: 0;
  z-index: -1;
  background-image: repeating-linear-gradient(
    to bottom,
    transparent 0 calc(2rem - 1px),
    var(--rule-faint) calc(2rem - 1px) 2rem
  );
  mask-image: linear-gradient(to bottom, #000 55%, transparent);
}

.display {
  max-width: 24ch;
  font: 500 clamp(2.25rem, 1.1rem + 3.9vw, 4.375rem) / 1.04 var(--font-mono);
  letter-spacing: -0.045em;
  text-wrap: balance;
}

.hero__row {
  display: grid;
  gap: 1.75rem;
  margin-top: clamp(1.5rem, 1rem + 1.5vw, 2.25rem);
}

.lede {
  max-width: 38rem;
  color: var(--ink-2);
  font-size: clamp(1.0625rem, 1rem + 0.35vw, 1.25rem);
  line-height: 1.55;
  text-wrap: pretty;
}

.hero__cta {
  display: grid;
  gap: 1rem;
  align-content: start;
}

.hero__links {
  display: flex;
  flex-wrap: wrap;
  gap: 0.25rem 1.5rem;
  font-size: 0.9375rem;
}

.hero__links a {
  display: inline-flex;
  align-items: center;
  min-height: 2.75rem;
}

@media (min-width: 64rem) {
  .hero__row {
    grid-template-columns: minmax(0, 7fr) minmax(0, 5fr);
    gap: 3rem;
    align-items: start;
  }
}

/* ---------- Ledger figure ---------- */

.ledger-fig {
  margin-top: clamp(2rem, 1.5rem + 1.5vw, 2.75rem);
  background: var(--paper);
}

.ledger-fig__bar {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: space-between;
  gap: 0.5rem 1rem;
  padding-bottom: 0.75rem;
}

.ledger-fig__title {
  color: var(--ink-3);
  font: 500 0.75rem / 1.2 var(--font-mono);
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.ledger-fig__title code {
  color: var(--ink);
  font-size: 1em;
  letter-spacing: 0;
  text-transform: none;
}

.ledger-fig figcaption {
  max-width: 44rem;
  margin-top: 0.875rem;
  color: var(--ink-3);
  font-size: 0.875rem;
  line-height: 1.5;
}

.ledger-fig figcaption :where(code) {
  color: var(--ink-2);
}

/* ---------- Ledger table ---------- */

.ledger {
  display: block;
  width: 100%;
  border-collapse: collapse;
  border-top: 2px solid var(--ink);
  border-bottom: 3px double var(--ink);
}

.ledger thead,
.ledger tbody {
  display: block;
}

.ledger tr {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  grid-template-areas:
    "test test test"
    "fixed bug neutral"
    "verdict verdict verdict"
    "why why why";
}

/* :where keeps this reset at class specificity so cell layouts below can override it. */
.ledger :where(th, td) {
  display: block;
  min-width: 0;
  text-align: start;
  font-weight: 400;
}

.ledger thead tr {
  position: absolute;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip-path: inset(50%);
}

.ledger .entry {
  border-bottom: 1px solid var(--rule);
}

.ledger .entry:last-child {
  border-bottom: 0;
}

.h-test,
.c-test {
  grid-area: test;
}

.h-verdict,
.verdict {
  grid-area: verdict;
}

.h-why,
.why {
  grid-area: why;
}

[data-world="fixed"] {
  grid-area: fixed;
}

[data-world="bug"] {
  grid-area: bug;
}

[data-world="neutral"] {
  grid-area: neutral;
}

.h-why {
  position: absolute;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip-path: inset(50%);
}

.c-test {
  display: grid;
  align-content: start;
  gap: 0.375rem;
  padding: 1rem 0 0.75rem;
}

.c-test__name {
  font: 600 0.9375rem / 1.3 var(--font-sans);
}

.c-test__code {
  color: var(--ink-2);
  font-size: 0.78125rem;
  line-height: 1.45;
  overflow-wrap: anywhere;
}

.cell {
  display: grid;
  grid-template-columns: auto minmax(0, 1fr);
  grid-auto-rows: min-content;
  align-content: start;
  gap: 0.375rem 0.5rem;
  padding: 0.625rem 0.625rem 0.75rem;
  box-shadow: inset 1px 0 0 var(--rule);
  transition:
    background-color var(--t-base) var(--ease-out),
    color var(--t-base) var(--ease-out);
}

.cell[data-world="fixed"] {
  box-shadow: none;
}

.cell[data-world="bug"] {
  box-shadow:
    inset 1px 0 0 var(--rule-strong),
    inset -1px 0 0 var(--rule-strong);
}

.cell__world {
  grid-column: 1 / -1;
  color: var(--ink-3);
  font: 500 0.625rem / 1.2 var(--font-mono);
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.cell__out {
  font: 600 0.875rem / 1 var(--font-mono);
}

.cell__note {
  grid-column: 1 / -1;
  color: var(--ink);
  font: 500 0.6875rem / 1.2 var(--font-mono);
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.cell__out,
.cell__note {
  transition: opacity var(--t-base) var(--ease-out);
}

.attempts {
  display: inline-flex;
  gap: 3px;
}

.attempts i {
  display: block;
  width: 0.625rem;
  height: 0.625rem;
  transition:
    background-color var(--t-fast) var(--ease-out),
    box-shadow var(--t-fast) var(--ease-out);
}

.attempts i[data-o="pass"] {
  background: var(--pass);
}

.attempts i[data-o="fail"] {
  background: var(--fail);
}

.attempts i[data-o="void"] {
  box-shadow: inset 0 0 0 1.5px var(--ink-3);
}

.cell[data-result="pass"] {
  background: var(--pass-wash);
  color: var(--pass);
}

.cell[data-result="fail"] {
  background: var(--fail-wash);
  color: var(--fail);
}

.cell[data-result="mixed"] {
  background: linear-gradient(90deg, var(--pass-wash) 50%, var(--fail-wash) 50%);
  color: var(--ink);
}

.cell[data-result="void"] {
  background-image: repeating-linear-gradient(135deg, var(--void) 0 1px, transparent 1px 7px);
  color: var(--ink-2);
}

.verdict {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.5rem 0.75rem;
  padding: 0.875rem 0 0.25rem;
}

.verdict > * {
  transition:
    opacity var(--t-base) var(--ease-out),
    transform var(--t-stamp) var(--ease-out);
}

.verdict__status {
  color: var(--ink-2);
  font-size: 0.75rem;
}

.why {
  display: grid;
  gap: 0.25rem;
  padding: 0.375rem 0 1.125rem;
}

.why > * {
  transition:
    opacity var(--t-slow) var(--ease-out),
    transform var(--t-slow) var(--ease-out);
}

.why p {
  max-width: 44rem;
  color: var(--ink-2);
  font-size: 0.9375rem;
  line-height: 1.5;
  text-wrap: pretty;
}

.why code {
  color: var(--ink-3);
  font-size: 0.6875rem;
  letter-spacing: 0.02em;
}

@media (min-width: 56rem) {
  .ledger tr {
    grid-template-columns: minmax(13rem, 1.45fr) repeat(3, minmax(0, 1fr)) minmax(9.5rem, 0.95fr);
    grid-template-areas:
      "test fixed bug neutral verdict"
      "test why why why why";
  }

  .ledger thead tr {
    position: static;
    width: auto;
    height: auto;
    overflow: visible;
    clip-path: none;
    border-bottom: 1px solid var(--rule-strong);
  }

  .ledger thead th {
    padding: 0.75rem 0.75rem 0.625rem;
    color: var(--ink-3);
    font: 500 0.6875rem / 1.3 var(--font-mono);
    letter-spacing: 0.08em;
    text-transform: uppercase;
  }

  .ledger thead .h-test {
    padding-inline-start: 0;
  }

  .h-world {
    display: grid;
    gap: 0.25rem;
    box-shadow: inset 1px 0 0 var(--rule);
  }

  .h-world[data-world="bug"] {
    color: var(--ink);
    box-shadow:
      inset 1px 0 0 var(--rule-strong),
      inset -1px 0 0 var(--rule-strong);
  }

  .h-world code {
    color: var(--ink-2);
    font-size: 0.75rem;
    letter-spacing: 0;
    text-transform: none;
  }

  .c-test {
    padding: 1rem 1.25rem 1rem 0;
  }

  .cell {
    padding: 0.875rem 0.75rem;
  }

  .cell__world {
    display: none;
  }

  .verdict {
    flex-direction: column;
    align-items: flex-start;
    gap: 0.5rem;
    padding: 0.875rem 0 0.875rem 1rem;
    box-shadow: inset 1px 0 0 var(--rule);
  }

  .why {
    padding: 0.625rem 0.75rem 1.125rem;
  }
}

/* Pending state while a ledger is being "run". Recorded results stay in the markup. */

:is(.ledger.is-pending, .ledger-armed .ledger[data-animate]) .cell:not(.is-resolved) {
  background: transparent;
  color: var(--ink-3);
}

:is(.ledger.is-pending, .ledger-armed .ledger[data-animate]) .attempts i:not(.is-lit) {
  background: transparent;
  box-shadow: inset 0 0 0 1.5px var(--rule-strong);
}

:is(.ledger.is-pending, .ledger-armed .ledger[data-animate])
  .cell:not(.is-resolved)
  :is(.cell__out, .cell__note) {
  opacity: 0;
}

:is(.ledger.is-pending, .ledger-armed .ledger[data-animate]) .verdict:not(.is-stamped) > * {
  opacity: 0;
  transform: scale(1.14);
}

:is(.ledger.is-pending, .ledger-armed .ledger[data-animate]) .why:not(.is-shown) > * {
  opacity: 0;
  transform: translateY(4px);
}

/* ---------- Stamps ---------- */

.stamp {
  display: inline-flex;
  align-items: center;
  padding: 0.5em 0.7em 0.45em;
  border: 1.5px solid currentColor;
  color: var(--ink);
  font: 600 0.75rem / 1 var(--font-mono);
  letter-spacing: 0.08em;
  box-shadow:
    inset 0 0 0 2px var(--paper),
    inset 0 0 0 3px currentColor;
}

.stamp[data-verdict="VERIFIED"] {
  border-color: var(--ink);
  background: var(--ink);
  color: var(--paper);
  box-shadow:
    inset 0 0 0 2px var(--ink),
    inset 0 0 0 3px var(--paper);
}

.stamp[data-verdict="INCONCLUSIVE"] {
  border-style: dashed;
  box-shadow: none;
}

.stamp[data-verdict="ENGINE_ERROR"] {
  border-style: dotted;
  box-shadow: none;
}

/* ---------- Sections ---------- */

.entry-section {
  padding-block: var(--section-space) 0;
}

.entry-section:last-of-type {
  padding-bottom: var(--section-space);
}

.folio {
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  gap: 0.25rem 1rem;
  padding-top: 0.75rem;
  border-top: 2px solid var(--ink);
  font: 500 0.75rem / 1.3 var(--font-mono);
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.folio__num {
  font-variant-numeric: tabular-nums;
}

.folio__note {
  color: var(--ink-3);
}

.section-head {
  display: grid;
  gap: 1rem;
  margin-top: clamp(1.75rem, 1.25rem + 1.5vw, 2.75rem);
  margin-bottom: clamp(2rem, 1.5rem + 2vw, 3.25rem);
}

.section-head h2 {
  max-width: 22ch;
  font: 500 clamp(1.875rem, 1.3rem + 2vw, 3rem) / 1.08 var(--font-sans);
  letter-spacing: -0.03em;
  text-wrap: balance;
}

.section-head p {
  max-width: 36rem;
  color: var(--ink-2);
  text-wrap: pretty;
}

@media (min-width: 64rem) {
  .section-head {
    grid-template-columns: minmax(0, 7fr) minmax(0, 5fr);
    align-items: start;
    gap: 3rem;
  }

  .section-head p {
    padding-top: 0.5rem;
  }
}

/* ---------- Verdict legend ---------- */

.verdicts {
  margin-top: clamp(2.5rem, 2rem + 2vw, 3.5rem);
}

.verdicts__title {
  margin-bottom: 1rem;
  color: var(--ink-3);
  font: 500 0.75rem / 1.3 var(--font-mono);
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.verdicts__list {
  display: grid;
  border-top: 1px solid var(--rule-strong);
}

.verdicts__list > div {
  display: grid;
  align-content: start;
  justify-items: start;
  gap: 0.625rem;
  padding: 1rem 0;
  border-bottom: 1px solid var(--rule);
}

.verdicts__list dd {
  color: var(--ink-2);
  font-size: 0.9375rem;
  line-height: 1.5;
}

@media (min-width: 40rem) {
  .verdicts__list {
    grid-template-columns: repeat(2, minmax(0, 1fr));
    column-gap: 2rem;
  }
}

@media (min-width: 64rem) {
  .verdicts__list {
    grid-template-columns: repeat(4, minmax(0, 1fr));
  }

  .verdicts__list > div {
    padding-inline-end: 1.5rem;
    border-bottom: 0;
  }
}

/* ---------- Steps ---------- */

.steps {
  border-top: 1px solid var(--rule-strong);
}

.step {
  display: grid;
  gap: 1rem;
  padding: 1.75rem 0;
  border-bottom: 1px solid var(--rule);
}

.step__head {
  display: flex;
  align-items: baseline;
  gap: 1rem;
}

.step__num {
  color: var(--ink-3);
  font: 500 0.875rem / 1 var(--font-mono);
  font-variant-numeric: tabular-nums;
}

.step h3 {
  font: 500 clamp(1.375rem, 1.1rem + 0.9vw, 1.75rem) / 1.15 var(--font-sans);
  letter-spacing: -0.02em;
}

.step__text {
  max-width: 34rem;
  color: var(--ink-2);
  text-wrap: pretty;
}

@media (min-width: 64rem) {
  .step {
    grid-template-columns: minmax(0, 3fr) minmax(0, 4fr) minmax(0, 5fr);
    gap: 2.5rem;
    padding: 2.25rem 0;
  }
}

.snippet {
  overflow-x: auto;
  padding: 1rem 1.125rem;
  border: 1px solid var(--rule-strong);
  background: var(--paper-sunk);
  color: var(--ink-2);
  font-size: 0.8125rem;
  line-height: 1.7;
  tab-size: 2;
}

.snippet code {
  font-size: 1em;
}

.snippet b {
  color: var(--ink);
  font-weight: 600;
}

.snippet em {
  color: var(--ink);
  font-style: normal;
}

.snippet i {
  color: var(--ink-3);
  font-style: normal;
}

.runs {
  display: grid;
  grid-template-columns: max-content repeat(2, max-content);
  align-items: center;
  gap: 0.75rem 1.5rem;
  padding: 1rem 1.125rem;
  border: 1px solid var(--rule-strong);
  font: 400 0.8125rem / 1.2 var(--font-mono);
}

.runs__h {
  color: var(--ink-3);
  font-size: 0.6875rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.runs__w {
  color: var(--ink-2);
}

.runs__sq {
  display: inline-flex;
  gap: 4px;
}

.runs__sq i {
  display: block;
  width: 0.75rem;
  height: 0.75rem;
  box-shadow: inset 0 0 0 1.5px var(--ink-3);
}

.runs__sq.is-candidate i {
  background: var(--ink);
  box-shadow: none;
}

.gates {
  counter-reset: gate;
  border: 1px solid var(--rule-strong);
}

.gates li {
  display: grid;
  grid-template-columns: 1.5rem minmax(0, 1fr);
  gap: 0.125rem 0.5rem;
  padding: 0.5rem 0.875rem;
  border-bottom: 1px solid var(--rule);
  counter-increment: gate;
}

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

.gates li::before {
  content: counter(gate);
  grid-row: span 2;
  color: var(--ink-3);
  font: 400 0.75rem / 1.6 var(--font-mono);
}

.gates code {
  font-size: 0.75rem;
  font-weight: 600;
}

.gates span {
  color: var(--ink-2);
  font-size: 0.875rem;
  line-height: 1.4;
}

.digests {
  border: 1px solid var(--rule-strong);
}

.digests > div {
  display: grid;
  gap: 0.25rem;
  padding: 0.875rem 1rem;
}

.digests > div + div {
  border-top: 1px solid var(--rule);
}

.digests code {
  font-size: 0.8125rem;
  font-weight: 600;
}

.digests dd {
  color: var(--ink-2);
  font-size: 0.875rem;
}

/* ---------- Evidence ---------- */

.evidence {
  display: grid;
  gap: 2.5rem;
}

.evidence__card {
  display: grid;
  gap: 1rem;
  align-content: start;
  padding: 1.25rem;
  border: 1.5px solid var(--ink);
}

.evidence__bar {
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  gap: 0.25rem 1rem;
  font: 500 0.75rem / 1.4 var(--font-mono);
}

.evidence__file {
  font-weight: 600;
}

.evidence__prov {
  color: var(--ink-3);
  letter-spacing: 0.04em;
}

.evidence__prov a {
  color: var(--ink-2);
}

.evidence__summary {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 1rem 2rem;
  padding-block: 0.5rem;
}

.facts {
  display: flex;
  flex-wrap: wrap;
  gap: 1rem 1.75rem;
}

.facts__item {
  display: grid;
}

/* The label comes first in the markup for screen readers; the figure leads visually. */
.facts dd {
  order: -1;
  font: 500 1.5rem / 1.1 var(--font-mono);
  font-variant-numeric: tabular-nums;
}

.facts dt {
  color: var(--ink-3);
  font-size: 0.8125rem;
}

.snippet--json {
  max-height: 24rem;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}

.evidence__card .btn {
  justify-self: start;
}

.evidence__card .btn[hidden] {
  display: none;
}

.evidence__replay {
  display: grid;
  gap: 1rem;
  align-content: start;
}

.evidence__replay h3 {
  font: 500 1.375rem / 1.2 var(--font-sans);
  letter-spacing: -0.02em;
}

.evidence__replay > p {
  max-width: 34rem;
  color: var(--ink-2);
  font-size: 0.9375rem;
}

.evidence__replay > p.muted {
  color: var(--ink-3);
}

.rails__label {
  margin-top: 0.5rem;
  color: var(--ink-3);
  font: 500 0.6875rem / 1.3 var(--font-mono);
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.evidence__replay > .rails__label {
  color: var(--ink-3);
  font-size: 0.6875rem;
}

.rails {
  border-top: 1px solid var(--rule-strong);
}

.rails li {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  padding: 0.5rem 0;
  border-bottom: 1px solid var(--rule);
  font: 400 0.8125rem / 1.3 var(--font-mono);
}

.rails li > span {
  font-weight: 600;
}

.rails li[data-result="pass"] > span {
  color: var(--pass);
}

.rails li[data-result="fail"] > span {
  color: var(--fail);
}

@media (min-width: 64rem) {
  .evidence {
    grid-template-columns: minmax(0, 7fr) minmax(0, 5fr);
    gap: 3rem;
  }

  .evidence__card {
    padding: 1.5rem;
  }
}

/* ---------- Tabs ---------- */

.tabs__list {
  display: none;
  gap: 0.25rem;
  border-bottom: 1px solid var(--rule-strong);
}

.tabs.is-enhanced .tabs__list {
  display: flex;
  flex-wrap: wrap;
}

.tabs__list [role="tab"] {
  min-height: 2.75rem;
  margin-bottom: -1px;
  padding: 0 1rem;
  border: 0;
  border-bottom: 2px solid transparent;
  background: transparent;
  color: var(--ink-3);
  font: 500 0.8125rem / 1 var(--font-mono);
  letter-spacing: 0.06em;
  text-transform: uppercase;
  cursor: pointer;
  transition:
    color var(--t-fast) var(--ease-out),
    border-color var(--t-fast) var(--ease-out);
}

.tabs__list [role="tab"]:hover {
  color: var(--ink);
}

.tabs__list [role="tab"][aria-selected="true"] {
  border-bottom-color: var(--ink);
  color: var(--ink);
}

.tabs__panel {
  display: grid;
  gap: 1.25rem;
  padding-top: 1.5rem;
}

.tabs__panel + .tabs__panel {
  margin-top: 2rem;
}

.tabs.is-enhanced .tabs__panel + .tabs__panel {
  margin-top: 0;
}

.tabs__panel[hidden] {
  display: none;
}

.tabs__heading {
  font: 500 0.8125rem / 1 var(--font-mono);
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.tabs.is-enhanced .tabs__heading {
  display: none;
}

.tabs__panel > p {
  max-width: 44rem;
  font-size: 0.9375rem;
}

.codeblock {
  display: grid;
}

.codeblock__bar {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  padding: 0.25rem 0.25rem 0.25rem 1.125rem;
  border: 1px solid var(--rule-strong);
  border-bottom: 0;
  color: var(--ink-3);
  font: 500 0.6875rem / 1.3 var(--font-mono);
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.codeblock__bar .copy {
  border-color: transparent;
}

.codeblock__bar .copy:hover {
  border-color: var(--ink);
}

.callout {
  padding: 0.875rem 1rem;
  border-inline-start: 3px solid var(--ink);
  background: var(--paper-sunk);
  color: var(--ink-2);
}

.callout strong {
  color: var(--ink);
  font-weight: 600;
}

/* ---------- Fine print ---------- */

.fine {
  counter-reset: fine;
  border-top: 1px solid var(--rule-strong);
}

.fine li {
  display: grid;
  grid-template-columns: 2.5rem minmax(0, 1fr);
  gap: 0.5rem 1rem;
  padding: 1.5rem 0;
  border-bottom: 1px solid var(--rule);
  counter-increment: fine;
}

.fine li::before {
  content: counter(fine, decimal-leading-zero);
  grid-row: span 2;
  padding-top: 0.45rem;
  color: var(--ink-3);
  font: 500 0.875rem / 1 var(--font-mono);
  font-variant-numeric: tabular-nums;
}

.fine h3 {
  font: 500 clamp(1.375rem, 1.05rem + 1.3vw, 2.125rem) / 1.15 var(--font-sans);
  letter-spacing: -0.025em;
  text-wrap: balance;
}

.fine p {
  max-width: 40rem;
  color: var(--ink-2);
  text-wrap: pretty;
}

@media (min-width: 64rem) {
  .fine li {
    grid-template-columns: 4rem minmax(0, 6fr) minmax(0, 5fr);
    align-items: baseline;
    gap: 2.5rem;
  }

  .fine li::before {
    grid-row: auto;
    padding-top: 0;
  }
}

.fine__links {
  display: flex;
  flex-wrap: wrap;
  gap: 0.25rem 1.5rem;
  margin-top: 1.5rem;
  font-size: 0.9375rem;
}

.fine__links a {
  display: inline-flex;
  align-items: center;
  min-height: 2.75rem;
}

/* ---------- Closing entry ---------- */

.closing {
  border-top: 3px double var(--ink);
}

.closing__row {
  display: grid;
  gap: 1rem;
  padding-block: 2rem 2.5rem;
}

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

.closing__version {
  color: var(--ink-3);
  font: 400 0.75rem / 1 var(--font-mono);
}

.closing__line {
  color: var(--ink-2);
  font-size: 0.9375rem;
}

.closing__nav {
  display: flex;
  flex-wrap: wrap;
  gap: 0 1.5rem;
}

.closing__nav a {
  display: inline-flex;
  align-items: center;
  min-height: 2.75rem;
  font-size: 0.875rem;
}

@media (min-width: 64rem) {
  .closing__row {
    grid-template-columns: auto minmax(0, 1fr) auto;
    align-items: center;
    gap: 2rem;
  }
}

@media (prefers-reduced-motion: reduce) {
  :root {
    --t-fast: 0ms;
    --t-base: 0ms;
    --t-slow: 0ms;
    --t-stamp: 0ms;
  }
}