/* Article layout, independent of /blog/style.css and hosted fonts. */
:root {
  --background: #ffffff;
  --text: rgba(0, 0, 0, 0.8);
  --muted: rgba(0, 0, 0, 0.6);
  --hairline: rgba(0, 0, 0, 0.1);
  --link-rule: rgba(0, 0, 0, 0.3);
  --code-surface: #f7f7f5;
  --chart-proven: #2a78d6;
  --chart-heuristic: #eb6834;
  --chart-surface: #fcfcfb;
  --chart-ink: #1a1a19;
  --chart-muted: #6b6b68;
  --chart-grid: #e6e6e3;
  --font-body: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
  --font-code: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", monospace;
  --body-width: 680px;
  --middle-width: 860px;
  --page-width: 1100px;
  --gutter: 16px;
  --page-gutter: var(--gutter);
  --toc-space: 260px;
  --toc-gap: 32px;
  /* The requested 14px accessibility floor takes priority over 12/13px labels. */
  --small-size: 14px;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  background: var(--background);
  color: var(--text);
  font: 17px/1.7 var(--font-body);
  overflow-wrap: anywhere;
}
main { min-width: 0; }
p { margin: 0 0 1.2em; }
a {
  color: inherit;
  text-decoration: none;
  border-bottom: 1px solid var(--link-rule);
}
a { text-decoration: underline; text-decoration-color: var(--link-rule); text-underline-offset: 3px; border-bottom: 0; }
a:hover { color: var(--text); border-bottom-color: var(--text); }
:focus-visible { outline: 2px solid var(--text); outline-offset: 4px; }
img { display: block; max-width: 100%; height: auto; }
small, sup, sub { font-size: var(--small-size); }
sup, sub { line-height: 0; }
small { color: var(--muted); }
::selection { background: var(--chart-grid); color: var(--text); }

/* Twelve equal tracks; named widths share their centre and span those tracks. */
.layout-grid, .post-section, .article-footer, .appendices {
  display: grid;
  grid-template-columns: repeat(12, minmax(0, 1fr));
}
.layout-grid {
  width: calc(100% - 2 * var(--page-gutter));
  max-width: var(--page-width);
  margin-inline: auto;
}
.l-body, .l-middle, .l-page, .l-screen {
  grid-column: 1 / -1;
  justify-self: center;
  width: 100%;
  min-width: 0;
}
.l-body { max-width: var(--body-width); }
.l-middle { max-width: var(--middle-width); }
.l-page { max-width: var(--page-width); }
.l-screen { width: calc(100vw - 2 * var(--gutter)); max-width: none; }
.post { position: relative; padding-bottom: 64px; }
.post-section { align-content: start; }
[data-toc-entry] { scroll-margin-top: 32px; }
h1, h2, h3 { color: var(--text); scroll-margin-top: 32px; }
h1 { margin: 0 0 24px; font-size: 46px; line-height: 1.1; font-weight: 700; letter-spacing: -0.025em; }
h2 { margin: 2.2em 0 0.8em; font-size: 28px; line-height: 1.25; font-weight: 600; }
h3 { margin: 2.2em 0 0.8em; font-size: 20px; line-height: 1.4; font-weight: 600; }

.site-nav { padding-block: 24px; font-size: var(--small-size); color: var(--muted); }
.site-nav .l-body { display: flex; align-items: baseline; justify-content: space-between; gap: 24px; }
.site-nav a { text-decoration: none; border-bottom-color: transparent; }
.site-nav a:hover { border-bottom-color: var(--link-rule); }
.front-matter { padding-top: 48px; }
.description { font-size: 22px; font-weight: 300; line-height: 1.5; color: var(--muted); margin-bottom: 36px; }
.description i { font-style: normal; }
.byline-strip {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 24px;
  padding-block: 22px;
  margin: 0 0 40px;
  border-block: 1px solid var(--hairline);
  font-size: var(--small-size);
  line-height: 1.5;
}
.byline-strip dt, .toc-label, thead th {
  font-size: var(--small-size);
  font-weight: 500;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--muted);
}
.byline-strip dt { margin-bottom: 8px; }
.byline-strip dd { margin: 0; }

figure { margin: 1.2em 0 0; }
figcaption { margin: 1em auto 0; max-width: var(--body-width); color: var(--muted); font-size: var(--small-size); line-height: 1.5; }
figcaption p:last-child { margin-bottom: 0; }
#bits-vs-speed { width: 100%; min-width: 0; height: 520px; background: var(--chart-surface); }
.chart-status { padding: 24px; font-size: var(--small-size); }
.chart-sr-only {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip-path: inset(50%);
  white-space: nowrap;
  border: 0;
}
#bits-vs-speed [data-point-id], #bits-vs-speed [data-label-id] { cursor: pointer; }
/* An HTML card can wrap naturally and remain interactive. */
.feature-chart { position: relative; max-width: var(--page-width); }
.chart-tooltip {
  position: absolute;
  z-index: 5;
  width: min(340px, calc(100vw - 32px));
  max-width: 340px;
  padding: 12px;
  border: 1px solid var(--hairline);
  border-radius: 8px;
  background: var(--background);
  color: var(--text);
  box-shadow: 0 2px 8px rgba(0, 0, 0, 0.08);
  /* Specific card specification: the rest of the page has a 14px floor. */
  font: 13px/1.45 var(--font-body);
  overflow-wrap: anywhere;
}
.chart-tooltip[hidden] { display: none; }
.tooltip-name { display: block; margin-bottom: 8px; }
.chart-tooltip dl { display: grid; grid-template-columns: 72px minmax(0, 1fr); gap: 6px 10px; margin: 0 0 10px; }
.chart-tooltip dt { color: var(--muted); font-variant-caps: all-small-caps; letter-spacing: 0.025em; }
.chart-tooltip dd { margin: 0; }
.tooltip-note { display: block; margin-top: 3px; color: var(--muted); }
.tooltip-section { display: inline-block; }
#bits-vs-speed [data-point-id]:focus-visible { outline: 2px solid var(--chart-ink); outline-offset: 3px; }
#chart-table-details { margin-top: 20px; font-size: var(--small-size); line-height: 1.5; }
summary { min-height: 40px; cursor: pointer; padding: 8px 0; color: var(--muted); }
summary:hover { color: var(--text); }
details[open] > summary { margin-bottom: 12px; }
#chart-table-details:target > summary { outline: 2px solid var(--text); outline-offset: 4px; }

.table-scroll { overflow-x: auto; max-width: 100%; margin-block: 8px 24px; overscroll-behavior-x: contain; }
table { overflow-wrap: normal; width: 100%; border-collapse: collapse; border-block: 1px solid var(--hairline); font-size: var(--small-size); line-height: 1.5; text-align: left; }
caption { position: sticky; left: 0; width: min(var(--body-width), calc(100vw - 2 * var(--gutter))); max-width: 100%; padding-block: 0 16px; text-align: left; color: var(--muted); }
thead { border-bottom: 1px solid var(--hairline); }
th, td { padding: 6px 10px; border: 0; vertical-align: top; }
tbody th { font-weight: 400; }
table code, table small { font-size: var(--small-size); }
#heuristic-table { min-width: 1670px; table-layout: fixed; }
#heuristic-table :is(th, td):nth-child(1) { width: 180px; }
#heuristic-table :is(th, td):nth-child(2) { width: 170px; }
#heuristic-table :is(th, td):nth-child(3) { width: 280px; overflow-wrap: anywhere; }
#heuristic-table :is(th, td):nth-child(4) { width: 155px; }
#heuristic-table :is(th, td):nth-child(5) { width: 210px; }
#heuristic-table :is(th, td):nth-child(6), #heuristic-table :is(th, td):nth-child(7) { width: 120px; }
#heuristic-table :is(th, td):nth-child(8) { width: 255px; }
#heuristic-table :is(th, td):nth-child(9) { width: 180px; }
tbody tr + tr { border-top: 1px solid var(--hairline); }
.table-scroll.is-scrollable { padding-bottom: 8px; border-bottom: 1px solid var(--hairline); }
.table-scroll.is-scrollable :is(th, td):first-child {
  position: sticky; left: 0; z-index: 1; background: var(--background);
  box-shadow: 1px 0 var(--hairline);
}
.table-scroll.is-scrollable table { border-bottom: 0; }
.table-scroll.is-scrollable::-webkit-scrollbar { height: 8px; }
.table-scroll.is-scrollable::-webkit-scrollbar-thumb { background: var(--muted); border: 2px solid var(--background); border-radius: 4px; }
.table-scroll.is-scrollable::-webkit-scrollbar-track { background: var(--code-surface); }
.scroll-hint { margin: 0 0 8px; color: var(--muted); font-size: var(--small-size); }
#proof-table { min-width: 1965px; table-layout: fixed; }
#proof-table :is(th, td) { overflow-wrap: anywhere; }
#proof-table :is(th, td):nth-child(1) { width: 180px; }
#proof-table :is(th, td):nth-child(2) { width: 170px; }
#proof-table :is(th, td):nth-child(3) { width: 200px; }
#proof-table :is(th, td):nth-child(4) { width: 190px; }
#proof-table :is(th, td):nth-child(5) { width: 190px; }
#proof-table :is(th, td):nth-child(6) { width: 160px; }
#proof-table :is(th, td):nth-child(7) { width: 220px; }
#proof-table :is(th, td):nth-child(8), #proof-table :is(th, td):nth-child(9) { width: 120px; }
#proof-table :is(th, td):nth-child(10) { width: 155px; }
#proof-table :is(th, td):nth-child(11) { width: 260px; }
#chart-data-table { min-width: 860px; }
#heuristic-table :is(th, td):is(:nth-child(6), :nth-child(7)),
#proof-table :is(th, td):is(:nth-child(8), :nth-child(9), :nth-child(10)),
#chart-data-table :is(th, td):nth-child(n + 3) { text-align: right; font-variant-numeric: tabular-nums; }
#chart-data-table td span { color: var(--muted); }

code, pre { font-family: var(--font-code); font-size: var(--small-size); border: 0; border-radius: 4px; background: var(--code-surface); }
code { padding: 0.1em 0.25em; }
pre { padding: 20px 24px; margin: 8px 0 28px; overflow-x: auto; line-height: 1.5; overscroll-behavior-x: contain; }
/* The bundled teal is only 4.45:1 on --code-surface. This local override
   preserves the syntax hue while meeting normal-text contrast. */
pre :is(.hljs-literal, .hljs-number, .hljs-template-variable, .hljs-variable),
pre .hljs-tag .hljs-attr { color: #007575; }
/* Shell comments use the bundled theme's low-contrast gray by default. */
pre :is(.hljs-comment, .hljs-quote) { color: var(--muted); }
pre code, pre code.hljs { display: block; padding: 0; overflow: visible; background: transparent; color: inherit; border-radius: 0; font-size: inherit; }
.line-number { display: inline-block; width: 3ch; margin-right: 2ch; color: var(--muted); user-select: none; }
.code-line, .section-anchor { scroll-margin-top: 32px; }
.code-line:target { background: var(--chart-grid); }
.section-anchor { height: 0; grid-column: 1 / -1; }
.source-note { color: var(--muted); font-size: var(--small-size); }
.mechanism-summary { margin-block: 0 1.2em; padding-left: 1.2em; }
.mechanism-summary li { margin-bottom: 0.6em; }
.appendices { margin-top: 64px; border-top: 1px solid var(--hairline); }
blockquote { margin: 0 0 1.2em; padding-left: 20px; border-left: 1px solid var(--hairline); color: var(--muted); }

.toc-rail { display: none; }
.toc-mobile { margin-bottom: 32px; border-bottom: 1px solid var(--hairline); font-size: var(--small-size); }
[data-toc-list] { margin: 0; padding: 6px; list-style: none; }
[data-toc-list] a { text-decoration: none; display: block; padding: 5px 10px; border: 0; border-left: 2px solid transparent; color: var(--muted); line-height: 1.5; }
[data-toc-list] .toc-level-3 a { padding-left: 24px; }
[data-toc-list] .toc-group > ol { margin: 0; padding: 0; list-style: none; }
.toc-group-label { display: block; margin-top: 16px; padding: 5px 12px; color: var(--muted); font-weight: 600; }
[data-toc-list] a:hover { color: var(--text); }
[data-toc-list] a[aria-current="location"] { border-left-color: var(--text); color: var(--text); }
.toc-label { position: sticky; top: 0; z-index: 1; margin: 0; padding: 0 16px 12px; background: var(--background); }
.toc-desktop { position: sticky; top: 32px; max-height: 80vh; overflow-y: auto; overscroll-behavior-y: contain; font-size: var(--small-size); scrollbar-width: thin; scrollbar-color: var(--hairline) transparent; }
.toc-desktop::-webkit-scrollbar { width: 4px; }
.toc-desktop::-webkit-scrollbar-thumb { background: var(--hairline); border-radius: 4px; }
.article-footer { margin-top: 64px; border-top: 1px solid var(--hairline); color: var(--muted); font-size: var(--small-size); line-height: 1.7; }
.article-footer h2 { margin: 32px 0 12px; font-size: 20px; line-height: 1.4; }
.signature { margin-top: 32px; text-align: right; }

@media (min-width: 1200px) {
  /* 680 + 2 × 260: the rail stays OUTSIDE even the widest breakout.
     At 1200px, page = 680px; at 1620px and above, page reaches 1100px. */
  :root { --page-gutter: var(--toc-space); }
  .toc-rail {
    display: block;
    position: absolute;
    inset-block: 0;
    right: calc(100% + var(--toc-gap));
    width: calc(var(--toc-space) - var(--gutter) - var(--toc-gap));
  }
  .toc-mobile { display: none; }
}
@media (max-width: 899px) {
  .layout-grid, .post-section, .article-footer, .appendices { grid-template-columns: minmax(0, 1fr); }
}
@media (max-width: 599px) {
  body { font-size: 16px; }
  h1 { font-size: 36px; }
  .front-matter { padding-top: 24px; }
  .byline-strip { grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 24px 16px; }
  pre { padding: 16px; }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
}
@media print {
  :root { --page-gutter: var(--gutter); }
  html { scroll-behavior: auto; }
  .site-nav, .toc-rail, .toc-mobile { display: none; }
  .layout-grid { width: 100%; }
  pre { white-space: pre-wrap; }
}

/* Verbatim supplied records remain readable inside the new cells. */
#proof-table .verbatim-record { white-space: pre-wrap; text-align: left; }
#proof-table tr[data-added-hash] td { max-width: 340px; overflow-wrap: anywhere; text-align: left; }
#proof-table tr[data-added-hash] td:nth-child(2) { min-width: 280px; }
#proof-table tr[data-added-hash] td:nth-child(3) { min-width: 200px; }
#heuristic-table tr[data-added-hash] td:nth-child(4) small,
#heuristic-table tr[data-added-hash] td:nth-child(5) small { white-space: normal; }
#heuristic-table tr[data-added-hash] td:nth-child(2) { overflow-wrap: anywhere; }
.unavailable-source small { color: var(--muted); }

/* Preserve the record’s quotation whitespace, including line breaks. */
.verbatim-quote { white-space: pre-wrap; overflow-wrap: anywhere; }

/* Host-specific axis selector and expanded benchmark tables. */
.axis-control { display: flex; flex-wrap: wrap; align-items: center; gap: .6rem; padding: .7rem 1rem; font-size: 14px; }
.axis-control select { font: inherit; max-width: 100%; padding: .55rem; border: 1px solid var(--muted); border-radius: 4px; background: var(--background); color: var(--text); }


#chart-data-table { min-width: 1150px; }


[data-score-id] { border-left: 3px solid var(--hairline); padding-left: 1rem; }

/* Appendix A mechanism diagrams: 12px labels stay >11px at a 375px viewport. */
.mechanism-figure { margin: 8px 0 24px; }
.mechanism-figure svg { display: block; width: 360px; max-width: 100%; height: auto; margin-inline: auto; overflow: visible; }
.mechanism-figure figcaption { max-width: 560px; margin-top: 12px; }
@media print { .mechanism-figure { break-inside: avoid; } }

/* Optional verification widgets; all existing article rules above are unchanged. */
.hash-demo {
  margin: 1.5rem 0 2rem;
  border: 1px solid var(--hairline);
  border-radius: 5px;
  background: var(--code-surface);
  font-size: 14px;
  line-height: 1.6;
  min-width: 0;
}
.hash-demo[hidden], .hash-demo [hidden] { display: none !important; }
.hash-demo > summary {
  padding: 14px 18px;
  cursor: pointer;
  font-size: 16px;
  font-weight: 600;
}
.hash-demo > summary::marker { color: var(--muted); }
.demo-badge { float: right; font-size: 14px; font-weight: 400; color: var(--muted); }
.demo-body { padding: 0 18px 18px; }
.demo-status { color: var(--muted); border-top: 1px solid var(--hairline); padding-top: 12px; }
.demo-controls { border: 0; padding: 0; margin: 0; min-width: 0; }
.demo-controls p { margin: 10px 0; }
.demo-label { display: block; margin: 16px 0 6px; font-weight: 600; }
.demo-message-label { font-weight: 600; }
.hash-demo .demo-hex {
  display: grid;
  grid-template-columns: repeat(16, minmax(0, 1fr));
  gap: 2px;
  max-height: 180px;
  overflow: auto;
  overscroll-behavior: contain;
  padding: 8px;
  background: var(--background);
  border: 1px solid var(--hairline);
  border-radius: 3px;
  font: 14px/1.7 var(--font-code);
  white-space: normal;
  text-align: center;
  scrollbar-gutter: stable;
}
.demo-diff { background: #eb6834; color: #171717; border-radius: 2px; font-weight: 600; }
.demo-hint { color: var(--muted); font-size: 14px; }
.hash-demo button, .hash-demo input, .hash-demo select {
  font: inherit;
  color: var(--text);
  background: var(--background);
  border: 1px solid var(--link-rule);
  border-radius: 3px;
  padding: 8px 10px;
  min-height: 42px;
  max-width: 100%;
}
.hash-demo button { cursor: pointer; }
.hash-demo button:hover { border-color: var(--text); background: #eee; }
.hash-demo button:disabled { cursor: wait; opacity: .55; }
.hash-demo .demo-seed { display: block; width: 100%; font-family: var(--font-code); font-size: 14px; }
.hash-demo .demo-seed[aria-invalid="true"] { border: 2px solid #a62810; }
.demo-actions, .demo-trial-controls { display: flex; flex-wrap: wrap; align-items: center; gap: 8px; margin: 12px 0; }
.demo-mode-label { display: flex; align-items: center; flex-wrap: wrap; gap: 6px; }
.demo-result { padding: 12px; background: var(--background); border: 1px solid var(--hairline); border-radius: 3px; margin: 16px 0; }
.demo-output { display: grid; grid-template-columns: 3.5em minmax(0, 1fr); gap: 8px; margin-bottom: 6px; align-items: baseline; }
.demo-output code { font: 14px/1.7 var(--font-code); overflow-wrap: anywhere; padding: 0; background: transparent; }
.demo-verdict { display: inline-block; margin-top: 2px; font-size: 16px; }
.demo-tally { font-variant-numeric: tabular-nums; border-top: 1px solid var(--hairline); padding-top: 12px; }
.demo-comparison { color: var(--muted); }
.demo-sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip-path: inset(50%); white-space: nowrap; border: 0; }
@media (max-width: 500px) {
  .hash-demo > summary { padding: 12px; }
  .demo-badge { float: none; display: block; padding-left: 18px; }
  .demo-body { padding: 0 12px 12px; }
  .hash-demo .demo-hex { grid-template-columns: repeat(8, minmax(0, 1fr)); }
}
@media print { .hash-demo { display: none; } }

/* Observable Plot SVG and native, keyboard-accessible chart controls.
   Direct labels use 13px on phones to fit the 420px chart; other chart text is 14px. */
#bits-vs-speed > svg { display: block; width: 100%; height: 100%; overflow: visible; }
.axis-control[hidden] { display: none; }
.axis-buttons { gap: 6px; padding: 12px 0 4px; }
.axis-buttons button, .chart-tools button {
  font: inherit; color: var(--chart-ink); background: var(--chart-surface);
  border: 1px solid var(--chart-grid); border-radius: 4px; cursor: pointer;
}
.axis-buttons button { flex: 1 1 calc(50% - 6px); min-height: 40px; padding: 6px 8px; line-height: 1.4; }
.axis-buttons button[aria-pressed="true"], .chart-tools button[aria-pressed="true"] {
  background: var(--chart-grid); border-color: var(--chart-muted); font-weight: 600;
}
.axis-buttons button:hover, .chart-tools button:hover { border-color: var(--chart-muted); }
.chart-tools { display: flex; justify-content: flex-end; gap: 4px; padding: 4px 0; font-size: 14px; }
.chart-tools button { min-width: 30px; min-height: 28px; padding: 2px 8px; }
.chart-selection { fill: var(--chart-grid); fill-opacity: .5; stroke: var(--chart-muted); pointer-events: none; }
@media (max-width: 600px) {
  #bits-vs-speed { height: 620px; }
  .chart-tooltip { position: static; margin: 12px auto 0; width: 100%; }
  .chart-tools { display: none; }
}

/* Text-pass annotations retain the existing palette and scrollable tables. */
.rurban-alias, .cell-note, .tooltip-family, .tooltip-alias { display: block; color: var(--muted); margin-top: 4px; }
.tooltip-family, .tooltip-alias { font-size: 12px; line-height: 1.35; margin: 0 0 6px; }
.claim-badge { display: block; width: fit-content; border: 1px solid var(--hairline); border-radius: 3px; padding: 2px 5px; margin-bottom: 6px; font-size: 12px; color: var(--muted); }
.author-note, .temporary-note { background: var(--code-surface); }
.temporary-note { padding: 8px 10px; }
.family-cell, .masking-cell { overflow-wrap: anywhere; text-align: left; }
.suite-details summary { padding: 2px 0; min-height: 0; }
.suite-details { margin-top: 5px; }
.post-section > ul.l-body, .post-section > ol.l-body { padding-left: 24px; }
.post-section > ul.l-body > li, .post-section > ol.l-body > li { margin-bottom: 12px; }
@media (max-width: 600px) {
  .table-scroll.is-scrollable :is(th, td):first-child { position: static; box-shadow: none; }
}

/* Numbers pass: retain usable widths for the two short-key columns and Lean scope. */
@media screen {
  table#heuristic-table { min-width: 2170px; }
  table#proof-table { min-width: 2860px; }
  table#chart-data-table { min-width: 1880px; table-layout: fixed; }
  table#heuristic-table :is(th, td), table#proof-table :is(th, td), table#chart-data-table :is(th, td) { white-space: normal; overflow-wrap: anywhere; text-align: left; }
  table#heuristic-table :is(th, td):nth-child(n+6):nth-child(-n+9) { width: 115px; text-align: right; font-variant-numeric: tabular-nums; }
  table#heuristic-table :is(th, td):nth-child(10) { width: 270px; }
  table#heuristic-table :is(th, td):nth-child(11) { width: 235px; }
  table#heuristic-table :is(th, td):nth-child(12) { width: 160px; }
  table#proof-table :is(th, td):nth-child(2) { width: 180px; }
  table#proof-table :is(th, td):nth-child(3) { width: 300px; }
  table#proof-table :is(th, td):nth-child(6) { width: 230px; }
  table#proof-table :is(th, td):nth-child(7) { width: 220px; }
  table#proof-table :is(th, td):nth-child(8) { width: 200px; }
  table#proof-table :is(th, td):nth-child(n+9):nth-child(-n+13) { width: 115px; text-align: right; font-variant-numeric: tabular-nums; }
  table#proof-table :is(th, td):nth-child(14) { width: 260px; }
  table#chart-data-table :is(th, td):first-child { width: 185px; }
  table#chart-data-table :is(th, td):nth-child(2) { width: 185px; }
  table#chart-data-table :is(th, td):nth-child(3), table#chart-data-table :is(th, td):nth-child(4) { width: 270px; }
  table#chart-data-table :is(th, td):nth-child(n+5):nth-child(-n+8), table#chart-data-table :is(th, td):nth-child(10) { width: 110px; text-align: right; font-variant-numeric: tabular-nums; }
  table#chart-data-table :is(th, td):nth-child(9) { width: 230px; }
}

/* Separate cross-type scope from the scored, fixed-key-type witness. */
.foldhash-cross-type { border: 1px solid #a0b7b8; border-inline-start: 4px solid #75989a; border-radius: 4px; padding: 1rem 1.2rem; margin-block: 2rem; }
.foldhash-cross-type h4 { margin-top: 0; }
.foldhash-cross-type p:last-child { margin-bottom: 0; }
.foldhash-diagram svg { display: block; width: 100%; height: auto; color: #45585a; }

/* Recurring patterns: compact return links and equations contained on narrow screens. */
.recurring-patterns { margin-bottom: 2rem; }
.recurring-patterns h4 { margin-top: 1.6rem; margin-bottom: .75rem; scroll-margin-top: 24px; }
.recurring-patterns .pattern-equation { display: block; max-width: 100%; overflow-x: auto; padding-block: .5rem; }
.pattern-rows { margin-bottom: .65rem; }
.pattern-proof { color: var(--muted); }
.pattern-tags { display: inline-flex; flex-wrap: wrap; align-items: baseline; gap: .3em; max-width: 100%; margin-left: .5em; font-size: var(--small-size); font-weight: 400; line-height: 1.6; vertical-align: middle; }
.pattern-label { color: var(--muted); }
.pattern-tags a { white-space: nowrap; }
@media (max-width: 600px) {
  .pattern-tags { display: flex; width: fit-content; margin: .4em 0 0; }
  .recurring-patterns .math { max-width: 100%; overflow-x: auto; }
}