/* 02 · Benchmark: selection funnel, reference-verification bar, the reference protocol, the compatibility interval
 * (typeset formula + the draggable "Try the rule" explainer drawn by assets/js/benchmark.js), the measurement model,
 * scope and information access, the audit pipeline, and the human check of the Auditors. Scoped to #benchmark.
 * The five category colours are section variables validated with the dataviz palette checker (adjacent pairs,
 * light and dark); category 5 is a deliberate neutral grey and every segment is also direct-labelled. */

#benchmark {
  --bm-ease: cubic-bezier(.16, 1, .3, 1);
  --bm-c1: #2F8F6B; --bm-c1-on: #FFFFFF;
  --bm-c2: #62C192; --bm-c2-on: #0E1F17;
  --bm-c3: #5C84C8; --bm-c3-on: #0E1F17;
  --bm-c4: #BC8A35; --bm-c4-on: #0E1F17;
  --bm-c5: #677683; --bm-c5-on: #FFFFFF;
  --bm-band: #E2F0E9;            /* the compatibility interval */
  --bm-hl: #86D9B4;              /* the binding term inside the dark calculation pill */
  --bm-hatch: rgba(29, 43, 53, .34);
  --bm-fn-1: #C9D3DA;            /* funnel stages: an ordinal slate ramp ending in the RRA green */
  --bm-fn-2: #93A3AF;
  --bm-math: "STIX Two Text", "STIX Two Math", "Cambria Math", Cambria, Georgia, "Times New Roman", serif;
}
:root[data-theme="dark"] #benchmark {
  --bm-c1: #3AAA7C; --bm-c1-on: #0D1418;
  --bm-c2: #18714A; --bm-c2-on: #FFFFFF;
  --bm-c3: #7092DE; --bm-c3-on: #0D1418;
  --bm-c4: #B98A34; --bm-c4-on: #0D1418;
  --bm-c5: #6C7B87; --bm-c5-on: #FFFFFF;
  --bm-band: #143A2E;
  --bm-hl: #1C7254;
  --bm-hatch: rgba(220, 232, 240, .3);
  --bm-fn-1: #3A4A55;
  --bm-fn-2: #5F7180;
}

/* ------------------------------------------------------------------ shared bits */
#benchmark .bm-kicker {
  display: inline-block; font-family: var(--mono); font-size: 11.5px; font-weight: 600; letter-spacing: .12em;
  text-transform: uppercase; color: var(--rra-ink);
}
#benchmark .bm-card {
  position: relative; display: flex; flex-direction: column; min-width: 0;
  background: var(--bg); border: 1px solid var(--line); border-radius: var(--rad-lg); padding: 26px 28px 26px;
  container-type: inline-size;
}
#benchmark .bm-card-head { display: flex; align-items: flex-start; justify-content: space-between; gap: 8px 16px; margin-bottom: 22px; }
#benchmark .bm-card-head h4 { font-size: 16px; font-weight: 600; letter-spacing: -.01em; margin: 0 0 4px; }
#benchmark .bm-card-head .cap { margin: 0; }
#benchmark .bm-card-head .tag-note { flex: none; margin-top: 2px; }
#benchmark .bm-scale { flex: none; font-family: var(--mono); font-size: 11px; color: var(--ink-3); white-space: nowrap; padding-top: 3px; }
#benchmark .bm-math { font-family: var(--bm-math); font-feature-settings: "lnum" 1; letter-spacing: 0; }
#benchmark .bm-math i { font-style: italic; }
#benchmark i:not([class]) { font-family: var(--bm-math); font-style: italic; letter-spacing: 0; }
#benchmark i:not([class]):not(.bm-math i) { font-size: 1.08em; line-height: 1; }
/* x-bar: an overline drawn above the italic x so it renders the same in every font */
#benchmark .ov { position: relative; display: inline-block; font-style: italic; line-height: 1; padding-right: .04em; }
#benchmark .ov::before { content: ""; position: absolute; left: .14em; right: .02em; top: .12em; border-top: .07em solid currentColor; }
#benchmark .bm-note { margin: 16px 0 0; padding-top: 14px; border-top: 1px solid var(--line); font-size: 13.5px; line-height: 1.55; color: var(--ink-3); }
#benchmark .caveat { max-width: 920px; }

/* ------------------------------------------------------------------ B1: two cards */
#benchmark .bm-b1 { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 24px; align-items: stretch; }
@media (max-width: 980px) { #benchmark .bm-b1 { grid-template-columns: minmax(0, 1fr); } }

/* the selection funnel (benchmark.js) */
#benchmark .bm-fn { position: relative; --fn-meta: 186px; --fn-gap: 22px; }
#benchmark .bm-fn-links { position: absolute; left: 0; top: 0; z-index: 0; pointer-events: none; overflow: visible; }
#benchmark .bm-fn-links polygon { fill: color-mix(in srgb, var(--ink-3) 9%, transparent); }
#benchmark .bm-fn-links .is-out polygon { fill: color-mix(in srgb, var(--rra) 13%, transparent); }
#benchmark .bm-fn-links line { stroke: var(--line-2); stroke-width: 1; }
#benchmark .bm-fn-stage, #benchmark .bm-fn-link { position: relative; z-index: 1; display: grid; grid-template-columns: var(--fn-meta) minmax(0, 1fr); gap: var(--fn-gap); align-items: start; }
#benchmark .bm-fn-link { min-height: 34px; align-items: center; }
#benchmark .bm-fn-meta { display: flex; flex-direction: column; gap: 2px; min-width: 0; }
#benchmark .bm-fn-n { font-size: 30px; font-weight: 520; letter-spacing: -.035em; line-height: 1; color: var(--ink); }
#benchmark .bm-fn-stage.is-final .bm-fn-n { color: var(--rra-ink); }
#benchmark .bm-fn-l { font-size: 13.5px; line-height: 1.35; color: var(--ink-3); }
#benchmark .bm-fn-col { position: relative; min-width: 0; }
#benchmark .bm-fn-bar { display: flex; gap: 2px; width: var(--w); height: 30px; margin: 0 auto; border-radius: 8px; overflow: hidden; }
#benchmark .bm-fn-seg { display: block; min-width: 2px; flex-basis: 0; background: var(--bm-fn-1); transition: opacity .25s, filter .25s; }
#benchmark .bm-fn-stage[data-step="1"] .bm-fn-seg { background: var(--bm-fn-2); }
#benchmark .bm-fn-seg.is-keep { background: var(--rra); }
#benchmark .bm-fn-seg.is-out {
  background: repeating-linear-gradient(135deg, var(--bm-hatch) 0 1.5px, transparent 1.5px 5px), var(--panel-2);
}
#benchmark .bm-fn-seg.is-out.is-on { background: repeating-linear-gradient(135deg, var(--ink-3) 0 1.5px, transparent 1.5px 5px), var(--panel-2); }
#benchmark .bm-fn-link .bm-fn-meta { padding: 10px 0 12px; }
#benchmark .bm-fn-op { font-family: var(--mono); font-size: 11px; font-weight: 600; letter-spacing: .08em; text-transform: uppercase; color: var(--ink-3); }
#benchmark .bm-fn-x { list-style: none; margin: 4px 0 0; padding: 0; display: grid; gap: 1px; }
#benchmark .bm-fn-x li {
  display: flex; align-items: baseline; gap: 8px; padding: 2px 6px; margin: 0 -6px; border-radius: 6px;
  font-size: 12.5px; line-height: 1.35; color: var(--ink-2); cursor: default; outline-offset: 1px;
}
#benchmark .bm-fn-x li:hover, #benchmark .bm-fn-x li:focus-visible, #benchmark .bm-fn-x li.is-on { background: var(--panel); }
#benchmark .bm-fn-x b { flex: none; min-width: 1ch; font-family: var(--mono); font-size: 12.5px; font-weight: 600; color: var(--ink); }
/* entrance: bars open from their centre (benchmark.js adds .is-in when the funnel enters the viewport) */
#benchmark .bm-fn.is-ready .bm-fn-bar { clip-path: inset(0 50% 0 50% round 8px); transition: clip-path 1s var(--bm-ease); transition-delay: calc(var(--i) * .22s); }
#benchmark .bm-fn.is-ready .bm-fn-links g { opacity: 0; transition: opacity .7s var(--bm-ease); transition-delay: calc(var(--i) * .22s + .3s); }
#benchmark .bm-fn.is-in .bm-fn-bar { clip-path: inset(0 0 0 0 round 8px); }
#benchmark .bm-fn.is-in .bm-fn-links g { opacity: 1; }
#benchmark .bm-fn-fallback { margin: 0; padding-left: 20px; color: var(--ink-2); font-size: 15px; }
#benchmark .bm-fn-fallback li + li { margin-top: 6px; }
@container (max-width: 470px) {
  #benchmark .bm-fn { --fn-meta: 1fr; --fn-gap: 8px; }
  #benchmark .bm-fn-stage { grid-template-columns: minmax(0, 1fr); }
  #benchmark .bm-fn-stage .bm-fn-meta { flex-direction: row; align-items: baseline; gap: 10px; }
  #benchmark .bm-fn-n { font-size: 26px; }
  #benchmark .bm-fn-link { grid-template-columns: minmax(0, 1fr); gap: 0; min-height: 0; }
  #benchmark .bm-fn-link .bm-fn-col { display: none; }
  #benchmark .bm-fn-link .bm-fn-meta { padding: 12px 0 10px; }
  #benchmark .bm-fn-stage .bm-fn-col { margin-top: 2px; }
}

/* tasks: curated -> verified */
#benchmark .bm-tasks {
  display: grid; grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr); align-items: center; gap: 16px;
  margin-top: auto; padding-top: 22px; border-top: 1px solid var(--line);
}
#benchmark .bm-fn + .bm-fn-fallback + .bm-tasks, #benchmark .bm-fn + .bm-tasks { margin-top: 26px; }
#benchmark .bm-tasks-n { display: block; font-size: 30px; font-weight: 520; letter-spacing: -.035em; line-height: 1; color: var(--ink); }
#benchmark .bm-tasks-cell.is-final .bm-tasks-n { color: var(--rra-ink); }
#benchmark .bm-tasks-l { display: block; margin-top: 7px; font-size: 13.5px; line-height: 1.4; color: var(--ink-3); }
#benchmark .bm-tasks-arrow { color: var(--ink-4); }
#benchmark .bm-tasks-arrow svg { display: block; }

/* reference-verification bar: one CSS grid, so brackets, counts and segments share exact column edges */
#benchmark .bm-vb {
  display: grid; column-gap: 2px; row-gap: 0;
  grid-template-columns: minmax(0, 701fr) minmax(0, 328fr) minmax(0, 183fr) minmax(0, 186fr) minmax(0, 65fr);
}
#benchmark .bm-vb-brk { position: relative; height: 26px; }
#benchmark .bm-vb-brk.is-top { grid-row: 1; }
#benchmark .bm-vb-brk.is-bot { grid-row: 4; margin-top: 8px; }
#benchmark .bm-vb-brk::before {
  content: ""; position: absolute; left: 0; right: 0; height: 7px;
  border: 1.5px solid var(--rra); border-bottom: 0; border-radius: 3px 3px 0 0; bottom: 0;
}
#benchmark .bm-vb-brk.is-bot::before { top: 0; bottom: auto; border: 1.5px solid var(--line-2); border-top: 0; border-radius: 0 0 3px 3px; }
#benchmark .bm-vb-brk span {
  position: absolute; left: 0; bottom: 11px; white-space: nowrap;
  font-size: 13px; line-height: 1.2; color: var(--ink-2);
}
#benchmark .bm-vb-brk.is-top span { color: var(--rra-ink); font-weight: 550; }
#benchmark .bm-vb-brk.is-top b { font-family: var(--mono); font-size: 12.5px; }
#benchmark .bm-vb-brk.is-bot span { top: 12px; bottom: auto; left: auto; right: 0; color: var(--ink-3); font-size: 12.5px; }
#benchmark .bm-vb-cnt {
  grid-row: 2; display: flex; justify-content: center; padding: 8px 0 5px; min-width: 0;
  font-family: var(--mono); font-size: 12px; font-weight: 600; color: var(--ink); white-space: nowrap; font-variant-numeric: tabular-nums;
  transition: color .2s;
}
#benchmark .bm-vb-seg {
  grid-row: 3; position: relative; height: 32px; display: grid; place-items: center; min-width: 0;
  background: var(--c); color: var(--on); cursor: pointer; outline: none;
  font-family: var(--mono); font-size: 11px; font-weight: 700;
  transition: opacity .25s, filter .25s, transform .9s var(--bm-ease);
}
#benchmark .bm-vb-seg.is-first { border-radius: 6px 0 0 6px; }
#benchmark .bm-vb-seg.is-last { border-radius: 0 6px 6px 0; }
#benchmark .bm-vb-seg:focus-visible { box-shadow: 0 0 0 2px var(--bg), 0 0 0 4px var(--ink); z-index: 1; }
#benchmark .bm-vb.has-on .bm-vb-seg:not(.is-on) { opacity: .38; }
#benchmark .bm-vb.has-on .bm-vb-cnt:not(.is-on) { color: var(--ink-4); }
#benchmark .bm-vb.is-ready .bm-vb-seg { transform: scaleX(0); transform-origin: 0 50%; }
#benchmark .bm-vb.is-in .bm-vb-seg { transform: none; transition-delay: calc(var(--i) * .08s), calc(var(--i) * .08s), calc(var(--i) * .08s); }
#benchmark [data-cat="1"] { --c: var(--bm-c1); --on: var(--bm-c1-on); }
#benchmark [data-cat="2"] { --c: var(--bm-c2); --on: var(--bm-c2-on); }
#benchmark [data-cat="3"] { --c: var(--bm-c3); --on: var(--bm-c3-on); }
#benchmark [data-cat="4"] { --c: var(--bm-c4); --on: var(--bm-c4-on); }
#benchmark [data-cat="5"] { --c: var(--bm-c5); --on: var(--bm-c5-on); }

/* the category list (also the no-JS view of the bar) */
#benchmark .bm-cats { list-style: none; margin: 18px 0 0; padding: 0; display: grid; gap: 2px; }
#benchmark .bm-cats li {
  display: grid; grid-template-columns: 22px minmax(0, 1fr) auto 52px; align-items: center; gap: 2px 12px;
  padding: 7px 10px; margin: 0 -10px; border-radius: 10px; transition: background-color .2s;
}
#benchmark .bm-cats li.is-on { background: var(--panel); }
#benchmark .bm-cats li[data-cat="3"] { margin-top: 8px; position: relative; }
#benchmark .bm-cats li[data-cat="3"]::before { content: ""; position: absolute; left: 10px; right: 10px; top: -5px; border-top: 1px dashed var(--line-2); }
#benchmark .bm-cat-sw {
  width: 22px; height: 22px; border-radius: 6px; display: grid; place-items: center;
  font-family: var(--mono); font-size: 11px; font-weight: 700; background: var(--c); color: var(--on);
}
#benchmark .bm-cat-t { min-width: 0; }
#benchmark .bm-cat-t b { display: block; font-size: 14.5px; font-weight: 600; color: var(--ink); line-height: 1.3; }
#benchmark .bm-cat-t span { display: block; font-size: 13px; line-height: 1.35; color: var(--ink-3); }
#benchmark .bm-cat-n { font-family: var(--mono); font-size: 14px; font-weight: 600; color: var(--ink); text-align: right; font-variant-numeric: tabular-nums; }
#benchmark .bm-cat-p { font-family: var(--mono); font-size: 13px; color: var(--ink-3); text-align: right; font-variant-numeric: tabular-nums; }
@container (max-width: 400px) {
  #benchmark .bm-cats li { grid-template-columns: 22px minmax(0, 1fr) auto; align-items: start; }
  #benchmark .bm-cat-sw { grid-column: 1; grid-row: 1 / span 2; margin-top: 1px; }
  #benchmark .bm-cat-t { grid-column: 2; grid-row: 1 / span 2; }
  #benchmark .bm-cat-n { grid-column: 3; grid-row: 1; }
  #benchmark .bm-cat-p { grid-column: 3; grid-row: 2; font-size: 12px; }
}

/* ------------------------------------------------------------------ B2: reference protocol strip */
#benchmark .bm-rules { list-style: none; margin: 0 0 24px; padding: 0; display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 16px; }
#benchmark .bm-rules li { padding: 18px 20px 20px; border-radius: var(--rad); background: var(--bg-soft); border: 1px solid var(--line); }
#benchmark .bm-rule-k { display: block; margin-bottom: 8px; font-family: var(--mono); font-size: 11px; font-weight: 600; letter-spacing: .1em; text-transform: uppercase; color: var(--rra-ink); }
#benchmark .bm-rules p { margin: 0; font-size: 14px; line-height: 1.55; color: var(--ink-2); }
@media (max-width: 1080px) { #benchmark .bm-rules { grid-template-columns: repeat(2, minmax(0, 1fr)); } }
@media (max-width: 560px) { #benchmark .bm-rules { grid-template-columns: minmax(0, 1fr); gap: 10px; } #benchmark .bm-rules li { padding: 16px 18px; } }

/* formula card + explainer */
#benchmark .bm-b2 { display: grid; grid-template-columns: minmax(0, 5fr) minmax(0, 7fr); gap: 24px; align-items: start; }
@media (max-width: 1080px) { #benchmark .bm-b2 { grid-template-columns: minmax(0, 1fr); } }
html:not(.js) #benchmark .bm-b2 { grid-template-columns: minmax(0, 1fr); max-width: 760px; }
#benchmark .bm-fcard { padding: 26px 28px 26px; border-radius: var(--rad-lg); background: var(--panel); min-width: 0; }
#benchmark .bm-eq {
  display: grid; grid-template-columns: max-content max-content minmax(0, 1fr); column-gap: 10px; row-gap: 12px; align-items: baseline;
  margin: 14px 0 20px; padding: 20px 22px; border-radius: var(--rad); background: var(--bg);
  font-size: 21px; line-height: 1.45; color: var(--ink);
}
#benchmark .bm-eq-row { display: contents; }
#benchmark .bm-eq-l { text-align: right; white-space: nowrap; }
#benchmark .bm-eq-op { color: var(--ink-3); }
#benchmark .bm-eq-r { min-width: 0; }
#benchmark .bm-eq sub, #benchmark .bm-eq sup { font-size: .6em; line-height: 0; }
#benchmark .bm-eq sub { vertical-align: -.42em; }
#benchmark .bm-br { color: var(--ink-3); padding: 0 .08em; }
#benchmark .bm-term { display: inline-block; white-space: nowrap; border-radius: 6px; padding: .16em .18em .04em; margin: -.16em -.06em -.04em; transition: background-color .3s, box-shadow .3s; }
#benchmark .bm-term.is-on { background: var(--rra-tint); box-shadow: inset 0 -2px 0 var(--rra); }
#benchmark .bm-sqrt { display: inline-flex; align-items: flex-end; white-space: nowrap; }
#benchmark .bm-sqrt-sign { font-style: normal; line-height: 1; transform: translateY(.04em); }
#benchmark .bm-sqrt-arg { display: inline-flex; align-items: center; gap: .18em; border-top: .065em solid currentColor; padding: .04em .1em 0 .06em; margin-left: -.03em; line-height: 1.15; }
#benchmark .bm-frac { display: inline-flex; flex-direction: column; align-items: center; font-size: .6em; line-height: 1.05; }
#benchmark .bm-frac span:first-child { border-bottom: 1px solid currentColor; padding: 0 .2em .06em; }
#benchmark .bm-frac span:last-child { padding-top: .06em; }
#benchmark .bm-defs { margin: 0; display: grid; gap: 11px; }
#benchmark .bm-defs > div { display: grid; grid-template-columns: 88px minmax(0, 1fr); gap: 14px; align-items: baseline; }
#benchmark .bm-defs dt { font-size: 16px; color: var(--ink); white-space: nowrap; }
#benchmark .bm-defs dt:not(.bm-math) { font-family: var(--mono); font-size: 11px; font-weight: 600; letter-spacing: .08em; text-transform: uppercase; color: var(--ink-2); }
#benchmark .bm-defs dd { margin: 0; font-size: 14.5px; line-height: 1.55; color: var(--ink-2); }
#benchmark .bm-vrule { margin-top: 20px; padding-top: 18px; border-top: 1px solid var(--line-2); }
#benchmark .bm-eq-sm { margin: 8px 0 8px; font-size: 18.5px; color: var(--ink); }
#benchmark .bm-eq-sm sub { font-size: .62em; }
#benchmark .bm-vrule p { margin: 0; font-size: 14.5px; line-height: 1.55; color: var(--ink-2); }
@media (max-width: 560px) {
  #benchmark .bm-fcard { padding: 22px 20px; }
  #benchmark .bm-eq { font-size: 18px; padding: 16px 14px; column-gap: 8px; }
  #benchmark .bm-defs > div { grid-template-columns: 72px minmax(0, 1fr); gap: 10px; }
  #benchmark .bm-defs dt { font-size: 15px; }
}
@media (max-width: 400px) { #benchmark .bm-eq { font-size: 16.5px; } }

/* the explainer */
#benchmark .bm-try {
  container-type: inline-size;
  min-width: 0; padding: 24px 26px 22px; border-radius: var(--rad-lg);
  background: var(--bg); border: 1px solid var(--line); box-shadow: var(--shadow-sm);
}
#benchmark .bm-try-head { display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; gap: 12px 16px; }
#benchmark .bm-try-title { display: flex; flex-wrap: wrap; align-items: center; gap: 8px 12px; }
#benchmark .bm-reset { padding: 6px 13px; margin-left: auto; }
#benchmark .bm-try-top { display: grid; grid-template-columns: minmax(0, 1fr) auto; grid-template-areas: "word q" "reason reason"; align-items: center; gap: 8px 16px; margin: 16px 0 2px; }
#benchmark .bm-verdict { grid-area: word; min-width: 0; }
#benchmark .bm-q { grid-area: q; }
#benchmark .bm-q .seg button { font-variant-numeric: tabular-nums; }
@container (max-width: 560px) { #benchmark .bm-try-top { grid-template-columns: minmax(0, 1fr); grid-template-areas: "word" "reason" "q"; } }
#benchmark .bm-verdict-word { display: flex; align-items: center; gap: 12px; font-size: clamp(30px, 3vw, 38px); font-weight: 540; letter-spacing: -.03em; line-height: 1.05; transition: color .15s; }
#benchmark .bm-vdot { width: 11px; height: 11px; border-radius: 50%; flex: none; transition: background-color .15s, box-shadow .15s; }
#benchmark .bm-verdict[data-state="ok"] .bm-verdict-word { color: var(--rra-ink); }
#benchmark .bm-verdict[data-state="ok"] .bm-vdot { background: var(--rra); box-shadow: 0 0 0 4px color-mix(in srgb, var(--rra) 22%, transparent); }
#benchmark .bm-verdict[data-state="bad"] .bm-verdict-word { color: var(--red-ink); }
#benchmark .bm-verdict[data-state="bad"] .bm-vdot { background: var(--red); box-shadow: 0 0 0 4px color-mix(in srgb, var(--red) 22%, transparent); }
#benchmark .bm-vreason { grid-area: reason; margin: 0; font-size: 14.5px; line-height: 1.45; color: var(--ink-2); }
#benchmark .bm-vreason b, #benchmark .bm-read-v { font-family: var(--mono); font-weight: 600; font-variant-numeric: tabular-nums; }
#benchmark .bm-vreason b { font-size: 13.5px; color: var(--ink); }
#benchmark .bm-calc {
  display: flex; flex-wrap: wrap; align-items: baseline; gap: 2px 10px; margin: 10px 0 0; padding: 10px 14px; border-radius: 12px;
  background: var(--block); color: var(--on-block); font-family: var(--mono); font-size: 12.5px; line-height: 1.6; font-variant-numeric: tabular-nums;
}
#benchmark .bm-calc .t, #benchmark .bm-calc b, #benchmark .bm-calc .fl { white-space: nowrap; }
#benchmark .bm-calc .k { opacity: .62; }
#benchmark .bm-calc .t { transition: opacity .3s, color .3s; }
#benchmark .bm-calc .t.is-off { opacity: .5; }
#benchmark .bm-calc .t.is-on { color: var(--bm-hl); font-weight: 600; }
#benchmark .bm-calc .fl { display: inline-block; margin-left: 8px; padding: 0 7px; border-radius: 999px; background: var(--bm-hl); color: var(--block); font-size: 10.5px; font-weight: 600; letter-spacing: .06em; text-transform: uppercase; vertical-align: 1px; }
:root[data-theme="dark"] #benchmark .bm-calc .fl { color: var(--on-accent); }
#benchmark .bm-line { position: relative; margin: 6px -6px 0; user-select: none; -webkit-user-select: none; }
#benchmark .bm-line svg { display: block; width: 100%; height: auto; overflow: visible; }
#benchmark .bm-line text { font-family: var(--sans); fill: var(--ink-2); }
#benchmark .bm-line .bm-tick text { font-family: var(--mono); font-size: 11px; fill: var(--ink-3); }
#benchmark .bm-line .bm-tick line { stroke: var(--line-2); }
#benchmark .bm-line .bm-axis { stroke: var(--line-2); stroke-width: 1; }
#benchmark .bm-line .bm-lane { stroke: var(--line); stroke-width: 1; }
#benchmark .bm-line .bm-lane-l { font-size: 12.5px; font-weight: 550; fill: var(--ink-2); paint-order: stroke; stroke: var(--bg); stroke-width: 3px; stroke-linejoin: round; }
#benchmark .bm-line .bm-lane-s { font-family: var(--bm-math); font-style: italic; font-size: 13.5px; fill: var(--ink-3); paint-order: stroke; stroke: var(--bg); stroke-width: 3px; stroke-linejoin: round; }
#benchmark .bm-line .bm-band { fill: var(--bm-band); }
#benchmark .bm-line .bm-band-edge { stroke: var(--rra); stroke-width: 1.5; }
#benchmark .bm-line .bm-band95 { fill: none; stroke: var(--rra); stroke-width: 1.2; stroke-dasharray: 4 4; opacity: .8; }
#benchmark .bm-line .bm-center { stroke: var(--rra); stroke-width: 1; opacity: .7; }
#benchmark .bm-line .bm-bound { font-family: var(--mono); font-size: 11.5px; font-weight: 600; fill: var(--rra-ink); }
#benchmark .bm-line .bm-xbar { font-family: var(--bm-math); font-style: italic; font-size: 14px; fill: var(--rra-ink); }
#benchmark .bm-line .bm-clip { fill: var(--rra-ink); }
#benchmark .bm-line .bm-k95 { font-family: var(--mono); font-size: 10.5px; fill: var(--rra-ink); }
#benchmark .bm-line .bm-mk { cursor: grab; outline: none; touch-action: none; }
#benchmark .bm-line .bm-mk.is-drag { cursor: grabbing; }
#benchmark .bm-line .bm-hit { fill: transparent; }
#benchmark .bm-line .bm-ref { fill: var(--ink); stroke: var(--bg); stroke-width: 2; }
#benchmark .bm-line .bm-pub { fill: var(--gold); stroke: var(--bg); stroke-width: 2; }
#benchmark .bm-line .bm-y { fill: var(--bg); stroke-width: 3; transition: stroke .12s; }
#benchmark .bm-line .bm-y.is-ok { stroke: var(--rra); }
#benchmark .bm-line .bm-y.is-bad { stroke: var(--red); }
#benchmark .bm-line .bm-ring { fill: none; stroke: var(--ink); stroke-width: 1.6; opacity: 0; transition: opacity .15s; }
#benchmark .bm-line .bm-mk:focus-visible .bm-ring, #benchmark .bm-line .bm-mk.is-drag .bm-ring { opacity: 1; }
#benchmark .bm-line .bm-mk:hover .bm-ring { opacity: .45; }
#benchmark .bm-line .bm-val {
  font-family: var(--mono); font-size: 11.5px; font-weight: 600; fill: var(--ink);
  paint-order: stroke; stroke: var(--bg); stroke-width: 4px; stroke-linejoin: round; pointer-events: none;
}
#benchmark .bm-line .bm-val.is-sub { fill: var(--ink-2); font-weight: 500; }
#benchmark .bm-line .bm-refval { opacity: 0; transition: opacity .15s; }
#benchmark .bm-line .bm-mk:hover .bm-refval, #benchmark .bm-line .bm-mk:focus-visible .bm-refval, #benchmark .bm-line .bm-mk.is-drag .bm-refval { opacity: 1; }
#benchmark .bm-reads { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 12px; margin-top: 10px; }
#benchmark .bm-read { min-width: 0; padding: 12px 14px 12px; border-radius: 12px; background: var(--panel); }
#benchmark .bm-read-k { display: block; margin-bottom: 6px; font-family: var(--mono); font-size: 10.5px; font-weight: 600; letter-spacing: .08em; text-transform: uppercase; color: var(--ink-3); }
#benchmark .bm-read-k i { font-size: 13px; text-transform: none; }
#benchmark .bm-read-k sup { font-size: .8em; line-height: 0; }
#benchmark .bm-read-rows { display: grid; gap: 3px; }
#benchmark .bm-read-row { display: flex; align-items: baseline; justify-content: space-between; gap: 10px; font-size: 13px; line-height: 1.45; color: var(--ink-3); }
#benchmark .bm-read-row > span:first-child { min-width: 0; }
#benchmark .bm-read-v { font-size: 12.5px; color: var(--ink); text-align: right; white-space: nowrap; }
#benchmark .bm-read-v.is-ok { color: var(--rra-ink); }
#benchmark .bm-read-v.is-bad { color: var(--red-ink); }
#benchmark .bm-read-cat { margin-top: 4px; padding-top: 6px; border-top: 1px solid var(--line-2); font-size: 13px; line-height: 1.45; color: var(--ink-2); }
#benchmark .bm-read-cat b { color: var(--ink); font-weight: 600; }
#benchmark .bm-read-cat .bm-cat-dot { display: inline-block; width: 9px; height: 9px; border-radius: 3px; background: var(--c); margin-right: 6px; vertical-align: 0; }
#benchmark .bm-read-note { margin-top: 4px; font-size: 12.5px; line-height: 1.4; color: var(--ink-3); }
#benchmark .bm-try-hint { margin: 14px 0 0; font-size: 13px; line-height: 1.5; color: var(--ink-3); }
@media (max-width: 640px) { #benchmark .bm-try { padding: 20px 18px 18px; } }
@container (max-width: 520px) { #benchmark .bm-reads { grid-template-columns: minmax(0, 1fr); } }

/* the measurement model */
#benchmark .bm-err {
  display: grid; grid-template-columns: minmax(0, 7fr) minmax(0, 5fr); gap: 28px 40px; align-items: center;
  margin-top: 24px; padding: 28px 30px; border-radius: var(--rad-lg); background: var(--bg); border: 1px solid var(--line);
}
#benchmark .bm-eq-big { margin: 10px 0 16px; font-size: 34px; line-height: 1.2; color: var(--ink); }
#benchmark .bm-err-terms { margin: 0 0 16px; display: grid; gap: 8px; }
#benchmark .bm-err-terms > div { display: grid; grid-template-columns: 26px minmax(0, 1fr); gap: 12px; align-items: baseline; }
#benchmark .bm-err-terms dt { font-size: 20px; color: var(--ink); }
#benchmark .bm-err-terms dd { margin: 0; font-size: 14.5px; line-height: 1.55; color: var(--ink-2); }
#benchmark .bm-err-key { margin: 0; font-size: 15.5px; line-height: 1.6; color: var(--ink-2); }
#benchmark .bm-err-key b { color: var(--ink); font-weight: 600; }
#benchmark .bm-err-fig { margin: 0; padding: 18px 18px 14px; border-radius: var(--rad); background: var(--bg-soft); border: 1px solid var(--line); }
#benchmark .bm-err-svg { width: 100%; height: auto; overflow: visible; }
#benchmark .bm-err-fig figcaption { display: flex; flex-wrap: wrap; align-items: center; gap: 6px 10px; margin-top: 10px; font-size: 12.5px; line-height: 1.45; }
#benchmark .bm-es-axis { stroke: var(--line-2); stroke-width: 1.2; }
#benchmark .bm-es-mu { stroke: var(--ink-4); stroke-width: 1.2; stroke-dasharray: 3 4; }
#benchmark .bm-es-tick { stroke: var(--line-2); stroke-width: 1.2; }
#benchmark .bm-es-lbl { font-family: var(--bm-math); font-style: italic; font-size: 18px; fill: var(--ink-2); }
#benchmark .bm-es-k { font-family: var(--mono); font-size: 12px; font-weight: 600; letter-spacing: .05em; text-transform: uppercase; fill: var(--ink-3); }
#benchmark .bm-es-dots circle { fill: var(--ink-2); stroke: var(--bg-soft); stroke-width: 2; }
#benchmark .bm-es-off circle { fill: var(--red); }
#benchmark .bm-es-eps { fill: none; stroke: var(--ink-3); stroke-width: 1.2; }
#benchmark .bm-es-small { font-family: var(--bm-math); font-style: italic; font-size: 16px; fill: var(--ink-3); }
#benchmark .bm-es-d { fill: none; stroke: var(--red); stroke-width: 1.6; }
#benchmark .bm-es-d-head { fill: none; stroke: var(--red); stroke-width: 1.6; stroke-linecap: round; stroke-linejoin: round; }
#benchmark .bm-es-dl { font-size: 14px; font-weight: 550; fill: var(--red-ink); }
@media (max-width: 900px) { #benchmark .bm-err { grid-template-columns: minmax(0, 1fr); } #benchmark .bm-err-fig { max-width: 480px; } }
@media (max-width: 560px) { #benchmark .bm-err { padding: 22px 20px; } #benchmark .bm-eq-big { font-size: 30px; } }

/* ------------------------------------------------------------------ B3: scope + information access */
#benchmark .bm-mix { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 20px 36px; }
#benchmark .bm-split { min-width: 0; }
#benchmark .bm-split-k { display: block; margin-bottom: 10px; font-family: var(--mono); font-size: 11px; font-weight: 600; letter-spacing: .1em; text-transform: uppercase; color: var(--ink-3); }
#benchmark .bm-split-nums { display: flex; justify-content: space-between; align-items: baseline; gap: 12px; font-size: 13.5px; color: var(--ink-2); }
#benchmark .bm-split-nums span:last-child { text-align: right; }
#benchmark .bm-split-nums b { display: block; font-size: 26px; font-weight: 520; letter-spacing: -.03em; line-height: 1.1; color: var(--ink); }
#benchmark .bm-split-bar { display: flex; gap: 2px; height: 10px; margin: 10px 0 10px; border-radius: 5px; overflow: hidden; }
#benchmark .bm-split-bar i { display: block; flex-basis: 0; }
#benchmark .bm-split-bar i:first-child { background: var(--ink-3); }
#benchmark .bm-split-bar i:last-child { background: var(--ink-4); }
#benchmark .bm-split p { margin: 0; font-size: 13px; line-height: 1.5; color: var(--ink-3); }
@media (max-width: 700px) { #benchmark .bm-mix { grid-template-columns: minmax(0, 1fr); gap: 26px; } }
#benchmark .bm-stats { margin-top: 40px; }
#benchmark .bm-stats .stat .l { max-width: 230px; }
@media (min-width: 761px) and (max-width: 1080px) { #benchmark .bm-stats { grid-template-columns: repeat(2, 1fr); } #benchmark .bm-stats .stat:nth-child(2n) { border-right: 0; } #benchmark .bm-stats .stat:nth-child(-n+2) { border-bottom: 1px solid var(--line); } }
#benchmark .bm-access { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 20px; margin-top: 40px; }
#benchmark .bm-acc { position: relative; overflow: hidden; border-radius: var(--rad-lg); padding: 22px 26px 24px; isolation: isolate; }
#benchmark .bm-acc-in { background: color-mix(in srgb, var(--rra-tint) 70%, var(--bg)); }
#benchmark .bm-acc-in::before { content: ""; position: absolute; inset: 0; border-radius: inherit; pointer-events: none; border: 1.5px dashed color-mix(in srgb, var(--rra) 55%, transparent); }
#benchmark .bm-acc-out { background: var(--panel); }
#benchmark .bm-acc-out::after {
  content: ""; position: absolute; inset: 0; z-index: -1; pointer-events: none;
  background: repeating-linear-gradient(135deg, color-mix(in srgb, var(--ink) 6%, transparent) 0 1px, transparent 1px 9px);
}
#benchmark .bm-acc-top { display: flex; align-items: center; justify-content: space-between; gap: 12px; min-height: 32px; margin-bottom: 12px; }
#benchmark .bm-acc-top .note-title { margin: 0; }
#benchmark .bm-acc-in .note-title { color: var(--rra-ink); }
#benchmark .bm-acc-tag { font-family: var(--mono); font-size: 10.5px; font-weight: 600; letter-spacing: .1em; text-transform: uppercase; padding: 2px 9px; border-radius: 999px; background: var(--bg); color: var(--rra-ink); line-height: 1.5; }
#benchmark .bm-lock { display: inline-grid; place-items: center; width: 32px; height: 32px; border-radius: 50%; background: var(--block); color: var(--on-block); }
#benchmark .bm-lock svg { width: 17px; height: 17px; fill: none; stroke: currentColor; stroke-width: 1.9; stroke-linecap: round; stroke-linejoin: round; }
#benchmark .bm-acc ul { list-style: none; margin: 0; padding: 0; display: grid; gap: 10px; }
#benchmark .bm-acc li { display: flex; align-items: flex-start; gap: 12px; font-size: 15px; line-height: 1.5; color: var(--ink); }
#benchmark .bm-acc-out li { color: var(--ink-2); }
#benchmark .bm-ic { flex: none; width: 18px; height: 18px; margin-top: 2.5px; border-radius: 50%; fill: none; stroke-width: 1.8; stroke-linecap: round; stroke-linejoin: round; }
#benchmark .bm-ic-in { background: var(--accent-fill); stroke: var(--on-accent); }
#benchmark .bm-ic-out { background: color-mix(in srgb, var(--ink) 10%, transparent); stroke: var(--ink-3); }
#benchmark .bm-access-foot { margin: 14px 0 0; font-size: 14px; line-height: 1.55; color: var(--ink-2); max-width: 900px; }
@media (max-width: 760px) { #benchmark .bm-access { grid-template-columns: minmax(0, 1fr); gap: 14px; } #benchmark .bm-acc { padding: 20px 20px 22px; } }

/* ------------------------------------------------------------------ B4: audit */
#benchmark .bm-audit { padding: 24px 28px 28px; border-radius: var(--rad-lg); background: var(--bg); border: 1px solid var(--line); }
#benchmark .bm-trace { display: grid; grid-template-columns: auto minmax(0, 1fr); align-items: center; gap: 10px 20px; padding-bottom: 22px; margin-bottom: 24px; border-bottom: 1px solid var(--line); }
#benchmark .bm-trace .cap { grid-column: 2; margin: 0; }
#benchmark .bm-chain { list-style: none; margin: 0; padding: 0; display: flex; flex-wrap: wrap; align-items: center; gap: 8px 30px; }
#benchmark .bm-chain li {
  position: relative; display: inline-flex; align-items: center; padding: 5px 12px; border-radius: 999px; background: var(--panel);
  font-family: var(--mono); font-size: 12.5px; font-weight: 500; line-height: 1.4; color: var(--ink); white-space: nowrap;
}
#benchmark .bm-chain li:first-child { background: var(--block); color: var(--on-block); }
#benchmark .bm-chain li + li::before {
  content: ""; position: absolute; left: -24px; top: 50%; width: 18px; border-top: 1.5px solid var(--ink-4);
}
#benchmark .bm-chain li + li::after {
  content: ""; position: absolute; left: -11px; top: 50%; width: 6px; height: 6px; margin-top: -3.6px;
  border-top: 1.5px solid var(--ink-4); border-right: 1.5px solid var(--ink-4); transform: rotate(45deg);
}
#benchmark .bm-pipe { list-style: none; margin: 0; padding: 0; display: grid; grid-template-columns: repeat(6, minmax(0, 1fr)); gap: 24px; counter-reset: none; }
#benchmark .bm-pipe li {
  position: relative; display: flex; flex-direction: column; gap: 4px; min-width: 0;
  padding: 14px 14px 16px; border-radius: 14px; border: 1px solid var(--line); background: var(--bg);
}
#benchmark .bm-pipe li + li::before {
  content: ""; position: absolute; left: -17px; top: 50%; width: 9px; height: 9px; margin-top: -4.5px;
  border-top: 1.5px solid var(--ink-4); border-right: 1.5px solid var(--ink-4); transform: rotate(45deg);
}
#benchmark .bm-pipe-n { display: inline-grid; place-items: center; width: 22px; height: 22px; margin-bottom: 6px; border-radius: 50%; background: var(--panel-2); color: var(--ink-2); font-family: var(--mono); font-size: 11px; font-weight: 600; }
#benchmark .bm-pipe b { font-size: 14.5px; font-weight: 600; line-height: 1.3; color: var(--ink); }
#benchmark .bm-pipe span:not(.bm-pipe-n) { font-size: 13px; line-height: 1.45; color: var(--ink-3); }
#benchmark .bm-pipe .is-find { border-color: color-mix(in srgb, var(--red) 40%, var(--line)); background: color-mix(in srgb, var(--red-tint) 45%, var(--bg)); }
#benchmark .bm-pipe .is-find .bm-pipe-n { background: var(--red); color: var(--on-accent); }
#benchmark .bm-pipe .is-refute { border-color: color-mix(in srgb, var(--rra) 40%, var(--line)); background: color-mix(in srgb, var(--rra-tint) 50%, var(--bg)); }
#benchmark .bm-pipe .is-refute .bm-pipe-n { background: var(--accent-fill); color: var(--on-accent); }
#benchmark .bm-pipe .is-cond { border-style: dashed; border-color: var(--line-2); }
#benchmark .bm-pipe .is-end { background: var(--block); border-color: var(--block); }
#benchmark .bm-pipe .is-end b { color: var(--on-block); }
#benchmark .bm-pipe .is-end span:not(.bm-pipe-n) { color: color-mix(in srgb, var(--on-block) 72%, transparent); }
#benchmark .bm-pipe .is-end .bm-pipe-n { background: color-mix(in srgb, var(--on-block) 18%, transparent); color: var(--on-block); }
@media (max-width: 1080px) {
  #benchmark .bm-pipe { grid-template-columns: repeat(3, minmax(0, 1fr)); }
  #benchmark .bm-pipe li:nth-child(4)::before { display: none; }
}
@media (max-width: 640px) {
  #benchmark .bm-audit { padding: 20px 18px 22px; }
  #benchmark .bm-trace { grid-template-columns: minmax(0, 1fr); }
  #benchmark .bm-trace .cap { grid-column: 1; }
  #benchmark .bm-pipe { grid-template-columns: minmax(0, 1fr); gap: 20px; }
  #benchmark .bm-pipe li { display: grid; grid-template-columns: 30px minmax(0, 1fr); gap: 2px 10px; padding: 12px 14px; }
  #benchmark .bm-pipe-n { grid-row: 1 / 3; margin: 0; }
  #benchmark .bm-pipe li + li::before, #benchmark .bm-pipe li:nth-child(4)::before { display: block; left: 50%; top: -15px; margin: 0 0 0 -4.5px; transform: rotate(135deg); }
}
#benchmark .bm-b4 { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 24px; margin-top: 24px; align-items: stretch; }
@media (max-width: 900px) { #benchmark .bm-b4 { grid-template-columns: minmax(0, 1fr); } }
#benchmark .bm-classes { display: flex; flex-direction: column; padding: 24px 26px 24px; border-radius: var(--rad-lg); background: var(--panel); }
#benchmark .bm-classes-foot { margin: auto 0 0; padding-top: 18px; font-size: 13.5px; line-height: 1.5; color: var(--ink-3); }
#benchmark .bm-h4 { margin: 0 0 14px; font-size: 16px; font-weight: 600; letter-spacing: -.01em; }
#benchmark .bm-classes ol { list-style: none; margin: 0; padding: 0; display: grid; gap: 10px; }
#benchmark .bm-classes li { display: flex; align-items: flex-start; gap: 12px; font-size: 15px; line-height: 1.45; color: var(--ink); }
#benchmark .bm-classes .nb { background: var(--block); color: var(--on-block); margin-top: 0; }
#benchmark .bm-crits { display: grid; gap: 16px; align-content: start; }
#benchmark .bm-crit { padding: 20px 24px 20px; border-radius: var(--rad-lg); }
#benchmark .bm-crit .note-title { margin-bottom: 10px; }
#benchmark .bm-crit ul { list-style: none; margin: 0; padding: 0; }
#benchmark .bm-crit.is-req { background: color-mix(in srgb, var(--rra-tint) 60%, var(--bg)); border: 1px solid color-mix(in srgb, var(--rra) 30%, var(--line)); }
#benchmark .bm-crit.is-req .note-title { color: var(--rra-ink); }
#benchmark .bm-crit.is-req ul { display: flex; flex-wrap: wrap; align-items: center; gap: 8px; }
#benchmark .bm-crit.is-req li {
  display: inline-flex; align-items: center; padding: 6px 12px; border-radius: 10px; background: var(--bg);
  border: 1px solid color-mix(in srgb, var(--rra) 28%, var(--line)); font-size: 14px; line-height: 1.35; color: var(--ink);
}
#benchmark .bm-crit.is-req li + li::before { content: "+"; margin: 0 10px 0 -2px; font-family: var(--mono); font-weight: 600; color: var(--rra-ink); }
#benchmark .bm-crit.is-req li + li { margin-left: 0; }
#benchmark .bm-crit.is-not { background: var(--bg); border: 1px solid var(--line); }
#benchmark .bm-not { display: flex; flex-wrap: wrap; gap: 8px; }
#benchmark .bm-not li {
  display: inline-flex; align-items: center; gap: 7px; padding: 5px 11px; border-radius: 999px; background: var(--panel);
  font-size: 13.5px; line-height: 1.35; color: var(--ink-2);
}
#benchmark .bm-not li::before { content: ""; width: 9px; height: 1.6px; border-radius: 1px; background: var(--ink-3); }
#benchmark .bm-crit.is-not p { margin: 12px 0 0; font-size: 13.5px; line-height: 1.5; color: var(--ink-3); }
#benchmark .bm-success {
  display: grid; grid-template-columns: auto minmax(0, 1fr); align-items: center; gap: 10px 22px;
  margin-top: 24px; padding: 22px 26px; border-radius: var(--rad-lg); background: var(--block); color: var(--on-block);
}
#benchmark .bm-success .bm-kicker { color: color-mix(in srgb, var(--on-block) 66%, transparent); }
#benchmark .bm-success-eq { display: flex; flex-wrap: wrap; align-items: center; gap: 8px 10px; }
#benchmark .bm-pill { display: inline-flex; align-items: center; padding: 8px 14px; border-radius: 999px; background: color-mix(in srgb, var(--on-block) 12%, transparent); font-size: 14.5px; font-weight: 550; line-height: 1.3; }
#benchmark .bm-pill.is-ok { background: var(--accent-fill); color: var(--on-accent); }
#benchmark .bm-op { font-family: var(--mono); font-size: 11.5px; font-weight: 600; letter-spacing: .1em; text-transform: uppercase; opacity: .7; }
#benchmark .bm-success p { grid-column: 2; margin: 0; font-size: 14px; line-height: 1.5; color: color-mix(in srgb, var(--on-block) 76%, transparent); }
@media (max-width: 760px) { #benchmark .bm-success { grid-template-columns: minmax(0, 1fr); padding: 20px; } #benchmark .bm-success p { grid-column: 1; } }

/* the WBMM case */
#benchmark .bm-case { display: grid; grid-template-columns: minmax(0, 7fr) minmax(0, 5fr); margin: 24px 0 0; border-radius: var(--rad-lg); border: 1px solid var(--line); overflow: hidden; background: var(--bg); }
#benchmark .bm-case-body { padding: 24px 28px 26px; }
#benchmark .bm-case-head { display: flex; flex-wrap: wrap; align-items: center; gap: 8px 12px; }
#benchmark .bm-case-id { font-family: var(--mono); font-size: 12px; font-weight: 600; letter-spacing: .12em; text-transform: uppercase; color: var(--ink-2); }
#benchmark .bm-case blockquote { margin: 14px 0 12px; font-size: clamp(17px, 1.5vw, 19px); line-height: 1.55; font-style: italic; color: var(--ink); }
#benchmark .bm-case-key { margin: 0; padding-left: 14px; border-left: 2px solid var(--rra); font-size: 15px; line-height: 1.55; color: var(--ink-2); }
#benchmark .bm-case-side { padding: 22px 26px 22px; background: var(--panel); display: flex; flex-direction: column; justify-content: center; gap: 12px; }
#benchmark .bm-case-tbl { width: 100%; border-collapse: collapse; font-size: 13.5px; font-variant-numeric: tabular-nums; }
#benchmark .bm-case-tbl caption { caption-side: top; text-align: left; padding-bottom: 8px; font-family: var(--mono); font-size: 10.5px; font-weight: 600; letter-spacing: .1em; text-transform: uppercase; color: var(--ink-3); }
#benchmark .bm-case-tbl th, #benchmark .bm-case-tbl td { padding: 7px 10px; text-align: right; border-bottom: 1px solid var(--line-2); }
#benchmark .bm-case-tbl th:first-child { text-align: left; padding-left: 0; }
#benchmark .bm-case-tbl thead th { font-size: 12px; font-weight: 600; color: var(--ink-2); }
#benchmark .bm-case-tbl tbody th { font-family: var(--mono); font-size: 12.5px; font-weight: 600; color: var(--ink-2); }
#benchmark .bm-case-tbl td { font-family: var(--mono); color: var(--ink); }
#benchmark .bm-case-tbl td:last-child { color: var(--red-ink); font-weight: 600; }
#benchmark .bm-case-tbl tbody tr:last-child th, #benchmark .bm-case-tbl tbody tr:last-child td { border-bottom: 0; }
#benchmark .bm-case-side .cap { margin: 0; font-size: 12.5px; }
@media (max-width: 860px) { #benchmark .bm-case { grid-template-columns: minmax(0, 1fr); } }
@media (max-width: 560px) { #benchmark .bm-case-body, #benchmark .bm-case-side { padding: 20px; } }

/* ------------------------------------------------------------------ B5: human review of the Auditors */
#benchmark .bm-hp { display: flex; flex-wrap: wrap; align-items: center; gap: 8px 14px; margin: -8px 0 24px; }
#benchmark .bm-hp-k { font-family: var(--mono); font-size: 11px; font-weight: 600; letter-spacing: .1em; text-transform: uppercase; color: var(--ink-3); }
#benchmark .bm-hp-list { list-style: none; margin: 0; padding: 0; display: flex; flex-wrap: wrap; gap: 6px; }
#benchmark .bm-hp-btn {
  display: inline-flex; align-items: center; gap: 7px; padding: 4px 11px; border-radius: 999px;
  border: 1px solid var(--line-2); background: var(--bg); color: var(--ink-2); font-size: 13px; font-weight: 500; line-height: 1.4;
  cursor: default; transition: border-color .2s, color .2s;
}
#benchmark .bm-hp-btn:disabled { opacity: 1; }
#benchmark .bm-hp-btn span { font-family: var(--mono); font-size: 11.5px; color: var(--ink-3); }
#benchmark .bm-hp-btn:not(:disabled) { cursor: pointer; }
#benchmark .bm-hp-btn:not(:disabled):hover { border-color: var(--ink-4); color: var(--ink); }
#benchmark .bm-cm-card { min-width: 0; padding: 24px 26px 22px; border-radius: var(--rad-lg); background: var(--bg); border: 1px solid var(--line); container-type: inline-size; }
#benchmark .bm-cms { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 22px 26px; }
@container (max-width: 900px) { #benchmark .bm-cms { grid-template-columns: repeat(2, minmax(0, 1fr)); } }
@container (max-width: 420px) {
  #benchmark .bm-cms { grid-template-columns: minmax(0, 1fr); gap: 18px; }
  #benchmark .bm-cm-c { height: 50px; font-size: 22px; }
}
#benchmark .bm-cm { min-width: 0; }
#benchmark .bm-cm-t { display: block; margin-bottom: 8px; font-size: 14px; font-weight: 600; color: var(--ink); }
#benchmark .bm-cm-t span { color: var(--ink-3); font-weight: 500; }
#benchmark .bm-cm-grid { width: calc(100% + 8px); margin: -4px; border-collapse: separate; border-spacing: 4px; table-layout: fixed; }
#benchmark .bm-cm-grid thead td, #benchmark .bm-cm-grid tbody th { width: 64px; }
#benchmark .bm-cm-h { padding: 0 0 2px; text-align: center; vertical-align: bottom; font-family: var(--mono); font-size: 10.5px; font-weight: 600; letter-spacing: .06em; text-transform: uppercase; color: var(--ink-3); }
#benchmark .bm-cm-r { padding: 0 6px 0 0; text-align: right; vertical-align: middle; font-family: var(--mono); font-size: 10.5px; font-weight: 600; letter-spacing: .06em; text-transform: uppercase; color: var(--ink-3); line-height: 1.2; }
#benchmark .bm-cm-c {
  position: relative; height: 62px; padding: 0; border-radius: 10px; cursor: default; outline: none;
  text-align: center; vertical-align: middle;
  font-size: 26px; font-weight: 540; letter-spacing: -.02em; line-height: 1;
  transition: opacity .25s, box-shadow .2s;
}
#benchmark .bm-cm-c small { position: absolute; left: 8px; top: 6px; font-family: var(--mono); font-size: 10px; font-weight: 600; letter-spacing: .06em; opacity: .85; }
#benchmark .bm-cm-c.k-tp, #benchmark .bm-cm-key .k-tp { background: var(--raw-tint); color: var(--raw-ink); }
#benchmark .bm-cm-c.k-fn, #benchmark .bm-cm-key .k-fn { background: var(--gold-tint); color: var(--gold-ink); }
#benchmark .bm-cm-c.k-fp, #benchmark .bm-cm-key .k-fp { background: var(--red-tint); color: var(--red-ink); }
#benchmark .bm-cm-c.k-tn, #benchmark .bm-cm-key .k-tn { background: var(--panel); color: var(--ink-3); }
#benchmark .bm-cm-c:hover, #benchmark .bm-cm-c:focus-visible { box-shadow: 0 0 0 2px var(--bg), 0 0 0 3.5px currentColor; }
#benchmark .bm-cms.has-on .bm-cm-c:not(.is-on) { opacity: .35; }
#benchmark .bm-cm-pr { margin-top: 8px; font-family: var(--mono); font-size: 11.5px; color: var(--ink-3); font-variant-numeric: tabular-nums; }
#benchmark .bm-cm-pr b { color: var(--ink); font-weight: 600; }
#benchmark .bm-cm-key { display: flex; flex-wrap: wrap; gap: 6px 16px; margin-top: 18px; padding-top: 14px; border-top: 1px solid var(--line); font-size: 12.5px; color: var(--ink-2); }
#benchmark .bm-cm-key span { display: inline-flex; align-items: center; gap: 7px; }
#benchmark .bm-cm-key i { width: 12px; height: 12px; border-radius: 3px; box-shadow: inset 0 0 0 1.5px currentColor; }
#benchmark .bm-hs {
  display: grid; grid-template-columns: minmax(0, 5fr) minmax(0, 7fr); gap: 18px 40px; align-items: center;
  margin-top: 20px; padding: 20px 26px; border-radius: var(--rad-lg); background: var(--panel);
}
@media (max-width: 1080px) { #benchmark .bm-hs { grid-template-columns: minmax(0, 1fr); } }
#benchmark .bm-pr { margin: 0; display: grid; min-width: 0; }
#benchmark .bm-pr-row { display: grid; grid-template-columns: minmax(0, 1.1fr) minmax(0, 1fr) minmax(0, 1fr); gap: 14px; align-items: center; padding: 11px 0; border-bottom: 1px solid var(--line-2); }
#benchmark .bm-pr-row:last-child { border-bottom: 0; }
#benchmark .bm-pr-head { padding: 0 0 8px; font-family: var(--mono); font-size: 10.5px; font-weight: 600; letter-spacing: .08em; text-transform: uppercase; color: var(--ink-3); }
#benchmark .bm-pr-row [role="rowheader"] { font-size: 15px; font-weight: 600; color: var(--ink); line-height: 1.2; }
#benchmark .bm-pr-row [role="rowheader"] small { display: block; margin-top: 2px; font-family: var(--mono); font-size: 10.5px; font-weight: 500; letter-spacing: .06em; text-transform: uppercase; color: var(--ink-3); }
#benchmark .bm-pr-row [role="cell"] b { display: block; font-size: 22px; font-weight: 540; letter-spacing: -.02em; line-height: 1.1; color: var(--ink); }
#benchmark .bm-meter { position: relative; display: block; height: 4px; margin-top: 7px; border-radius: 2px; background: var(--line-2); overflow: hidden; }
#benchmark .bm-meter::before { content: ""; position: absolute; inset: 0 auto 0 0; width: calc(var(--v) * 1%); border-radius: 2px; background: var(--ink-2); }
#benchmark .bm-facts { list-style: none; margin: 0; padding: 0; display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px 24px; }
#benchmark .bm-facts li { display: flex; flex-direction: column; gap: 6px; padding-left: 18px; border-left: 1px solid var(--line-2); }
#benchmark .bm-facts b { font-size: 22px; font-weight: 540; letter-spacing: -.02em; line-height: 1.1; color: var(--ink); white-space: nowrap; }
#benchmark .bm-facts b small { font-size: .6em; font-weight: 500; color: var(--ink-3); letter-spacing: 0; }
#benchmark .bm-facts span { font-size: 13.5px; line-height: 1.45; color: var(--ink-2); }
@media (max-width: 640px) { #benchmark .bm-facts { grid-template-columns: minmax(0, 1fr); } #benchmark .bm-facts li { display: grid; grid-template-columns: 86px minmax(0, 1fr); align-items: baseline; gap: 12px; padding: 12px 0 0; border-left: 0; border-top: 1px solid var(--line-2); } }
#benchmark .bm-hs-proc { margin: 14px 0 0; max-width: 900px; font-size: 14px; line-height: 1.55; color: var(--ink-2); }
@media (max-width: 560px) { #benchmark .bm-cm-card, #benchmark .bm-hs { padding: 20px 18px; } }

@media (max-width: 760px) {
  #benchmark .bm-card { padding: 22px 20px 22px; }
  #benchmark .bm-card-head { flex-wrap: wrap; }
}

/* print / save as PDF: final states even if never scrolled into view */
@media print {
  #benchmark .bm-fn.is-ready .bm-fn-bar { clip-path: none !important; }
  #benchmark .bm-vb.is-ready .bm-vb-seg { transform: none !important; }
  #benchmark .bm-fn.is-ready .bm-fn-links g { opacity: 1 !important; }
  #benchmark *, #benchmark *::before, #benchmark *::after { transition: none !important; animation: none !important; }
}