/* Break it: make every read a plain read. Every class is prefixed cx5-. The figure takes the page's tokens
   (--cx-paper, --cx-ink, ...) when the page defines them, and the design stack's values when it does not.
   Paper: "The Five Postulates of Quantum Mechanics on the Record: Theorems, Premises, and What Is Owed" (preprint, posted 14 November 2026, not peer reviewed). */
.cx5 {
  --f-paper: var(--cx-paper, #faf8f3); --f-ink: var(--cx-ink, #1d1d1b); --f-body: var(--cx-body, #2a2926);
  --f-soft: var(--cx-soft, #3c3a36); --f-hair: var(--cx-hair, #8a8a8a);
  --f-rule: color-mix(in srgb, var(--f-ink) 16%, var(--f-paper));
  --f-faint: color-mix(in srgb, var(--f-ink) 7%, var(--f-paper));
  --f-ok: var(--cx-ok, #0b7a3e); --f-no: var(--cx-no, #c8401f);
  --f-c: var(--cx-cyan, #009fe3); --f-m: var(--cx-magenta, #e6007e);
  --f-text: var(--cx-text, "InterVariable", "Inter", -apple-system, "Helvetica Neue", Arial, sans-serif);
  --f-display: var(--cx-display, "Inter Display", "InterVariable", "Inter", -apple-system, "Helvetica Neue", Arial, sans-serif);
  --f-mono: var(--cx-mono, "JetBrains Mono", ui-monospace, "SF Mono", Menlo, monospace);
  margin: 0; color: var(--f-body); font-family: var(--f-text); font-weight: 420; line-height: 1.42; font-optical-sizing: auto;
  box-sizing: border-box; position: relative; container: cx5 / inline-size;
}
@media screen and (prefers-color-scheme: dark) {
  .cx5 { --f-paper: var(--cx-paper, #141413); --f-ink: var(--cx-ink, #faf8f3); --f-body: var(--cx-body, #e9e6df);
    --f-soft: var(--cx-soft, #c9c5bc); --f-ok: var(--cx-ok, #45c27a); --f-no: var(--cx-no, #ff6a3d);
    --f-c: var(--cx-cyan, #2bb3f0); --f-m: var(--cx-magenta, #ff3d9e); }
}
.cx5 *, .cx5 *::before, .cx5 *::after { box-sizing: border-box; }
.cx5-label { margin: 0; font: 700 .72rem/1.3 var(--f-mono); letter-spacing: .14em; text-transform: uppercase; color: var(--f-soft); }
.cx5-head { display: flex; flex-wrap: wrap; justify-content: space-between; gap: .4rem 1rem; align-items: baseline;
  padding-bottom: .6rem; margin-bottom: .9rem; border-bottom: 1px solid var(--f-rule); }
.cx5-sub { color: var(--f-ink); }
.cx5-switch { display: inline-flex; border: 1.5px solid var(--f-ink); margin-bottom: 1rem; }
.cx5-switch button { appearance: none; border: 0; border-radius: 0; background: transparent; color: var(--f-ink); cursor: pointer;
  font: 700 .7rem/1 var(--f-mono); letter-spacing: .1em; text-transform: uppercase; padding: .75rem 1rem; min-height: 42px; }
.cx5-switch button + button { border-left: 1.5px solid var(--f-ink); }
.cx5-switch button[aria-checked="true"] { background: var(--f-ink); color: var(--f-paper); }
.cx5-switch button:focus-visible { outline: 3px solid var(--f-ink); outline-offset: 2px; }
.cx5-grid { display: grid; grid-template-columns: minmax(0, 1fr); gap: 1.2rem; align-items: start; }
@container cx5 (min-width: 820px) { .cx5-grid { grid-template-columns: minmax(0, .8fr) minmax(0, 1.2fr); gap: 1.8rem; } }
.cx5-left { min-width: 0; container-type: inline-size; }
.cx5-sq { --cell: min(104px, 31cqw); display: grid; grid-template-columns: repeat(3, var(--cell)); gap: min(8px, 2cqw); justify-content: center; }
.cx5-mini { display: flex; flex-direction: column; align-items: center; justify-content: center; gap: .15rem; border: 1px solid var(--f-hair); padding: .25rem; min-width: 0; }
.cx5-mini[data-r="1"] { border: 2.5px solid var(--f-no); }
.cx5-mname { font: 700 max(.6rem, calc(var(--cell) * .11))/1 var(--f-mono); color: var(--f-ink); }
.cx5-svgw { display: block; width: 66%; }
.cx5-msvg { width: 100%; height: auto; display: block; }
.cx5-msvg rect { stroke: var(--f-hair); stroke-width: .6; }
.cx5-msvg rect.p { fill: var(--f-c); } .cx5-msvg rect.m { fill: var(--f-m); } .cx5-msvg rect.z { fill: var(--f-paper); }
.cx5-msvg .mbar { stroke: var(--f-paper); stroke-width: 1.6; }
.cx5-tag { font: 700 max(.52rem, calc(var(--cell) * .09))/1 var(--f-mono); letter-spacing: .08em; text-transform: uppercase; color: var(--f-soft); }
.cx5-mini[data-r="1"] .cx5-tag { color: var(--f-no); }
.cx5-key { margin: .7rem auto 0; max-width: 30rem; text-align: center; font-size: .8rem; line-height: 1.45; color: var(--f-soft); }
.cx5-key span { white-space: nowrap; }   /* each swatch stays with its word */
.cx5-key i { display: inline-block; width: .8rem; height: .8rem; margin-right: .25rem; vertical-align: -.12rem; border: 1px solid var(--f-hair); }
.cx5-key i.p { background: var(--f-c); } .cx5-key i.m { background: var(--f-m); } .cx5-key i.z { background: var(--f-paper); }
.cx5-right { min-width: 0; display: flex; flex-direction: column; gap: .8rem; }
.cx5-stats { display: grid; grid-template-columns: 1fr 1fr; gap: .8rem; }
.cx5-cap { margin: 0; font: 700 .62rem/1.3 var(--f-mono); letter-spacing: .1em; text-transform: uppercase; color: var(--f-soft); }
.cx5-why { margin: .45rem 0 0; font-size: .8rem; line-height: 1.4; color: var(--f-soft); }
.cx5-big { margin: .2rem 0 0; font: 860 clamp(2.2rem, 9cqw, 3.4rem)/.9 var(--f-display); letter-spacing: -.045em; color: var(--f-ink); font-variant-numeric: tabular-nums; }
.cx5[data-mode="acts"] [data-o="test"] { color: var(--f-ok); }
.cx5-meter { display: block; width: 100%; height: auto; overflow: visible; }
.cx5-meter .ax { stroke: var(--f-soft); }
.cx5-meter .tick { font: 400 11px var(--f-mono); fill: var(--f-soft); }
.cx5-meter .lab { font: 700 10px var(--f-mono); letter-spacing: .06em; fill: var(--f-ink); }
.cx5-meter .bound { stroke: var(--f-ink); stroke-width: 1.5; stroke-dasharray: 4 3; }
.cx5-meter .dot { fill: var(--f-ink); }
.cx5-meter .tb { fill: none; stroke: var(--f-ok); stroke-width: 1.5; }
.cx5-meter .tbl { fill: var(--f-ok); }
.cx5-meter .dot.ok { fill: var(--f-ok); }
.cx5-tables { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: .6rem; }
.cx5-tables[hidden] { display: none; }
.cx5-tb { min-width: 0; }
.cx5-tl { margin: 0 0 .25rem; font: 700 .58rem/1.2 var(--f-mono); letter-spacing: .08em; text-transform: uppercase; color: var(--f-soft); }
.cx5-tg { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 3px; }
.cx5-s { appearance: none; border: 1px solid var(--f-ink); border-radius: 0; background: var(--f-paper); color: var(--f-ink); cursor: pointer;
  font: 820 1rem/1 var(--f-display); aspect-ratio: 1; min-height: 28px; padding: 0; }
.cx5-s:disabled { cursor: default; border-color: var(--f-hair); color: var(--f-soft); background: var(--f-faint); }
.cx5-s:not(:disabled):hover { background: var(--f-faint); }
.cx5-s:focus-visible { outline: 3px solid var(--f-ink); outline-offset: 1px; position: relative; z-index: 1; }
.cx5-tnote { grid-column: 1 / -1; margin: 0; font-size: .8rem; color: var(--f-soft); }
.cx5-tw { margin: .3rem 0 0; font: 400 .66rem/1.3 var(--f-mono); color: var(--f-ink); font-variant-numeric: tabular-nums; }
.cx5-words { margin: 0; font-size: .98rem; line-height: 1.38; color: var(--f-ink); min-height: 4em; }
.cx5-caption { margin: 1rem 0 0; padding-top: .8rem; border-top: 1px solid var(--f-rule); font-size: .95rem; color: var(--f-body); max-width: 50rem; }
.cx5-caption b { color: var(--f-ink); font-weight: 650; }
.cx5-sr { position: absolute; width: 1px; height: 1px; margin: -1px; padding: 0; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; border: 0; }
@container cx5 (max-width: 520px) {
  .cx5-tables { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .cx5-switch { display: flex; }
  .cx5-switch button { flex: 1; padding: .7rem .5rem; }
}
@media (forced-colors: active) {
  .cx5-msvg, .cx5-meter, .cx5-key i { forced-color-adjust: none; }   /* the key's swatches keep the matrices' colours */
  .cx5-s:disabled { forced-color-adjust: none; }   /* the shaded row the note names stays shaded */
  .cx5-switch button[aria-checked="true"] { background: Highlight; color: HighlightText; forced-color-adjust: none; }
}
@media print {
  /* a printed page breaks between a figure's blocks, never inside one (the whole figure can be taller than a page) */
  .cx5-switch, .cx5-sq, .cx5-stats, .cx5-meter, .cx5-tb { break-inside: avoid; }
  .cx5 { --f-paper: #ffffff; --f-ink: #1d1d1b; --f-body: #2a2926; --f-soft: #3c3a36; --f-c: #009fe3; --f-m: #e6007e; --f-ok: #0b7a3e; --f-no: #c8401f; }
  .cx5, .cx5 * { -webkit-print-color-adjust: exact; print-color-adjust: exact; }
}