/* cases.css — the stylesheet the case browsers and the speed page wear.
 *
 * The case browsers (the conversion browser and the redline browser) and the
 * speed page are the pages the gh-pages site is built from. They carry the
 * class names of the published viewer (bar, side panel, grid, page strips,
 * score table, legend) and the mobile layout of the hardened copy: a drawer
 * for the case list, a bottom bar for navigation and a sheet for the layout
 * choice.
 *
 * The palette is the published viewer's own light one (paper, ink, navy) and
 * the mobile rules are the ones the hardened benchmarks.law copy carries.
 */

/* The fonts the gh-pages site ships, declared the way it declares them. A
 * build without `build-pages --release --fonts <dir>` does not carry the
 * files: font-display falls back to the system stacks in --sans/--mono and
 * the package itself ships no binaries. */
@font-face {
  font-family: "Manrope";
  font-style: normal;
  font-weight: 200 800;
  font-display: swap;
  src: url("_static/fonts/manrope-latin-wght-normal.woff2") format("woff2-variations");
}
@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 100 800;
  font-display: swap;
  src: url("_static/fonts/jetbrains-mono-latin-wght-normal.woff2") format("woff2-variations");
}

:root {
  color-scheme: light;

  /* the published palette */
  --ink: #0b1e2d;
  --muted: #5a7183;
  --line: #dce6ec;
  --paper: #f4f8fb;
  --white: #fff;
  --blue: #1e5580;
  --blue-d: #123b5c;
  --navy: #061c30;
  --sky: #e9f3f7;
  --hover: #eef4f8;
  --steel: #b4c4cf;
  --off: #8fa6b6;
  --forest: #1c5f46;
  --brick: #8a3b2e;
  --mark: #ffd400;
  --mark-text: #0a0a0a;

  /* the names the components read */
  --bg: var(--paper);
  --panel: var(--white);
  --surface: var(--white);
  --fg: var(--ink);
  --accent: var(--blue);
  --border: var(--line);
  --border-ink: var(--ink);
  --border-faint: var(--line);
  --sans: "Manrope", system-ui, -apple-system, "Segoe UI", sans-serif;
  --ff: var(--sans);
  --mono: "JetBrains Mono", ui-monospace, "SF Mono", Menlo, monospace;
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
  font: 13px / 1.4 var(--sans);
  -webkit-font-smoothing: antialiased;
  background: var(--bg);
  color: var(--fg);
}

body.viewer {
  display: grid;
  grid-template-columns: 280px 1fr;
  grid-template-rows: auto auto auto auto 1fr;
  height: 100vh;
}

body.noside:not(.mobile) {
  grid-template-columns: 0 minmax(0, 1fr);
}

body.noside:not(.mobile) #side {
  display: none;
}

body.noside:not(.mobile) #main {
  grid-column: 1 / 3;
}

a {
  color: var(--blue);
}

a:hover {
  color: var(--blue-d);
}

kbd {
  background: var(--white);
  border: 1px solid var(--line);
  border-radius: 0;
  color: var(--muted);
  font-family: var(--mono);
  padding: 0 4px;
  font-size: 11px;
}

.ver {
  color: var(--muted);
  font-weight: 400;
  font-size: 11px;
}

.hidden {
  display: none !important;
}

/* ---- the brand bar ---- */

#brand {
  grid-column: 1 / 3;
  display: flex;
  align-items: center;
  gap: 14px;
  padding: 10px 14px;
  background: var(--white);
  border-bottom: 1px solid var(--line);
  flex-wrap: wrap;
}

#brand .logo {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  color: var(--ink);
  text-decoration: none;
  font-family: var(--mono);
  font-size: 13px;
  font-weight: 600;
  letter-spacing: 0.14em;
}

#brand .crumb {
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--muted);
}

#brand .links {
  margin-left: auto;
  display: flex;
  gap: 16px;
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

#brand .links a {
  text-decoration: none;
}

/* ---- the bar ---- */

#bar {
  grid-column: 1 / 3;
  display: flex;
  gap: 10px 14px;
  align-items: center;
  padding: 8px 14px;
  background: var(--paper);
  border-bottom: 1px solid var(--line);
  flex-wrap: wrap;
}

/* The bar's second line starts at overlay, on both browsers. */
#bar .brk {
  flex-basis: 100%;
  height: 0;
}

#bar label {
  display: inline-flex;
  align-items: center;
  gap: 4px;
  cursor: pointer;
  user-select: none;
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.04em;
}

#bar .grp {
  display: inline-flex;
  gap: 8px;
  align-items: center;
  padding-right: 14px;
  border-right: 1px solid var(--line);
}

#bar button,
#bar select,
#bar input[type="text"] {
  background: var(--white);
  color: var(--ink);
  border: 1px solid var(--line);
  border-radius: 0;
  padding: 5px 10px;
  font: inherit;
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.06em;
}

#bar button {
  text-transform: uppercase;
  letter-spacing: 0.08em;
  cursor: pointer;
}

#bar button:hover {
  background: var(--hover);
}

#bar select#mode {
  background: var(--navy);
  color: var(--white);
  border-color: var(--navy);
  font-family: var(--sans);
  font-size: 13px;
  font-weight: 600;
  letter-spacing: 0;
  padding: 6px 10px;
}

#nav {
  gap: 4px;
}

#nav #navPos,
#pageinfo {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 11px;
}

#nav #navPos {
  min-width: 6.5em;
  text-align: center;
  font-variant-numeric: tabular-nums;
}

#sideToggle {
  font-size: 14px;
  line-height: 1;
  padding: 2px 7px;
}

body.noside #sideToggle {
  background: var(--sky);
  color: var(--blue-d);
  border-color: var(--line);
}

input[type="range"],
input[type="checkbox"] {
  accent-color: var(--blue);
}

/* ---- the engine toggles ---- */

#engines {
  grid-column: 1 / 3;
  display: flex;
  flex-wrap: wrap;
  gap: 4px 14px;
  padding: 6px 14px;
  background: var(--white);
  border-bottom: 1px solid var(--line);
  font-size: 12px;
}

#engines label {
  display: inline-flex;
  align-items: center;
  gap: 5px;
  cursor: pointer;
}

#engines label.legacy {
  display: none;
  color: var(--off);
}

#engines .sw {
  width: 10px;
  height: 10px;
  border-radius: 2px;
  display: inline-block;
}

#engines .ver {
  display: none;
}

#engines button {
  background: var(--white);
  color: var(--ink);
  border: 1px solid var(--line);
  border-radius: 0;
  padding: 1px 8px;
  font: inherit;
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

body.alleng #engines label.legacy {
  display: inline-flex;
  color: var(--fg);
}

/* ---- the legend ---- */

#legend {
  grid-column: 1 / 3;
  padding: 0;
  font-size: 11px;
  line-height: 1.5;
  color: var(--muted);
  background: var(--white);
  border-bottom: 1px solid var(--line);
}

#legend summary {
  list-style: none;
  cursor: pointer;
  user-select: none;
}

#legend summary::-webkit-details-marker {
  display: none;
}

#legend .chev {
  display: inline-block;
  transition: transform 0.18s ease;
  color: var(--blue);
}

#legend details[open] > summary .chev {
  transform: rotate(90deg);
}

#legend .about > summary {
  display: flex;
  flex-wrap: wrap;
  gap: 6px 10px;
  align-items: center;
  padding: 6px 14px;
}

#legend .about > summary .ttl {
  color: var(--ink);
  font-family: var(--mono);
  font-size: 11px;
  font-weight: 600;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

#legend .about > summary .hint {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 11px;
}

#legend .about > summary button,
#legend .about > summary a {
  display: inline-block;
  padding: 2px 10px;
  border: 1px solid var(--line);
  border-radius: 0;
  background: var(--white);
  color: var(--blue);
  text-decoration: none;
  font-family: var(--mono);
  font-size: 11px;
}

#legend .about > summary button {
  margin-right: 8px;
  color: var(--ink);
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  cursor: pointer;
}

#legend .about > summary button:hover,
#legend .about > summary a:hover {
  background: var(--hover);
}

#legend .items {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(320px, 1fr));
  gap: 6px;
  padding: 2px 14px 10px;
  align-items: start;
}

#legend .item {
  border: 1px solid var(--line);
  border-radius: 0;
  background: var(--white);
  overflow: hidden;
}

#legend .item > summary {
  padding: 4px 10px;
  color: var(--ink);
  display: flex;
  gap: 7px;
  align-items: baseline;
}

#legend .item > summary:hover {
  background: var(--hover);
}

#legend .item > summary .dot {
  width: 8px;
  height: 8px;
  border-radius: 50%;
  flex: none;
  align-self: center;
}

#legend .item > div {
  padding: 2px 12px 8px 25px;
  color: var(--muted);
}

/* ---- the side panel ---- */

#side {
  overflow: auto;
  background: var(--white);
  border-right: 1px solid var(--line);
}

#side input {
  width: 100%;
  padding: 9px 10px;
  background: var(--white);
  color: var(--ink);
  border: 0;
  border-bottom: 1px solid var(--line);
  font: inherit;
  font-family: var(--sans);
}

#sidehead {
  position: sticky;
  top: 0;
  z-index: 2;
  background: var(--white);
  border-bottom: 1px solid var(--line);
}

#sidehead #filter {
  position: static;
}

#fx {
  display: grid;
  grid-template-columns: auto minmax(0, 1fr);
  gap: 4px 6px;
  padding: 6px 8px;
  font-size: 12px;
  align-items: center;
}

#fx label {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 10px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

#fx select,
#fx input,
#fx button {
  background: var(--white);
  color: var(--ink);
  border: 1px solid var(--line);
  border-radius: 0;
  padding: 4px 6px;
  font: inherit;
  width: auto;
  position: static;
}

#fx button {
  font-family: var(--mono);
  font-size: 10px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  cursor: pointer;
}

#fx button:hover {
  background: var(--hover);
}

#fx .row {
  display: flex;
  gap: 4px;
  align-items: center;
  flex-wrap: wrap;
  min-width: 0;
}

#fx select {
  max-width: 100%;
  min-width: 0;
}

#fx input[type="number"] {
  width: 5.5em;
}

#fx .foot {
  grid-column: 1 / 3;
  display: flex;
  gap: 6px;
  align-items: center;
  flex-wrap: wrap;
  padding-right: 4px;
}

#fx .foot #fxn {
  color: var(--muted);
  margin-right: auto;
  font-family: var(--mono);
  font-size: 11px;
}

#list .case {
  padding: 6px 10px;
  cursor: pointer;
  border-bottom: 1px solid var(--line);
  display: grid;
  grid-template-columns: 1fr auto;
  gap: 0 8px;
  align-items: baseline;
  scroll-margin-top: var(--headh, 0px);
}

#list .case:hover {
  background: var(--hover);
}

#list .case.sel {
  background: var(--navy);
  color: var(--white);
}

#list .case.sel .grp {
  color: var(--steel);
}

#list .name {
  font-family: var(--mono);
  font-size: 12px;
  font-weight: 600;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

#list .grp {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 10px;
}

/* ---- the grid ---- */

#main {
  overflow: auto;
  padding: 14px;
  background: var(--paper);
}

#grid {
  display: grid;
  gap: 4px 10px;
  align-items: start;
}

.col {
  min-width: 0;
}

.colhead {
  margin: 0;
  min-width: 0;
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.06em;
  font-weight: 600;
  color: var(--muted);
  position: sticky;
  top: 0;
  background: var(--paper);
  padding: 4px 0 6px;
  z-index: 1;
}

.colhead b {
  color: var(--ink);
  text-transform: uppercase;
  letter-spacing: 0.08em;
}

.colhead .lane-note {
  color: var(--muted);
  font-weight: 400;
}

.page {
  margin-bottom: 8px;
}

.page img {
  width: 100%;
  /* the width/height attributes only reserve the space; the page keeps its own shape */
  height: auto;
  display: block;
  background: var(--white);
  box-shadow: 0 0 0 1px var(--line);
}

/* the score of one shown page, under the page it belongs to */
.page-score {
  font-family: var(--mono);
  font-size: 10px;
  font-variant-numeric: tabular-nums;
  color: var(--muted);
  text-align: center;
  margin: -6px 0 6px;
}

/* the case's own files, on the record */
.case-files {
  grid-column: 1 / -1;
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  padding-bottom: 2px;
}

.case-files a {
  text-decoration: none;
}

.case-files a:hover {
  text-decoration: underline;
}

.missing {
  width: 100%;
  aspect-ratio: 8.5 / 11;
  display: flex;
  align-items: center;
  justify-content: center;
  color: var(--muted);
  background: var(--white);
  border: 1px dashed var(--steel);
  font-family: var(--mono);
  font-size: 11px;
}

.lane-error {
  color: var(--brick);
  font-size: 11px;
  padding: 4px 0;
  white-space: pre-wrap;
}

#overlay {
  position: relative;
}

.ovl-page {
  position: relative;
  margin-bottom: 8px;
}

#overlay img {
  width: 100%;
  height: auto;
  display: block;
}

#overlay img.top {
  position: absolute;
  inset: 0;
}

#more {
  display: block;
  margin: 4px 0 24px;
  padding: 8px 18px;
  background: var(--white);
  color: var(--ink);
  border: 1px solid var(--line);
  border-radius: 0;
  font: inherit;
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  cursor: pointer;
}

#more:hover {
  background: var(--hover);
}

/* ---- the score table ---- */

#scores table {
  border-collapse: collapse;
  font-size: 12px;
  white-space: nowrap;
  background: var(--white);
  border: 1px solid var(--line);
}

#scores th,
#scores td {
  padding: 3px 9px;
  border-bottom: 1px solid var(--line);
  text-align: left;
}

#scores th {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 10px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  font-weight: 600;
  cursor: pointer;
  user-select: none;
  background: var(--paper);
}

#scores th.eng {
  text-align: center;
  border-left: 1px solid var(--border);
  cursor: default;
}

#scores th.sorted {
  color: var(--ink);
}

#scores td.num,
#scores th.num {
  text-align: right;
  font-variant-numeric: tabular-nums;
}

#scores td.first {
  border-left: 1px solid var(--border);
}

#scores td.best {
  color: var(--forest);
  font-weight: 600;
}

#scores tr.mean td {
  color: var(--ink);
  font-weight: 600;
  background: var(--sky);
}

#scores tbody tr {
  cursor: pointer;
}

#scores tbody tr:hover {
  background: var(--hover);
}

#scores tbody tr.sel {
  background: var(--sky);
  box-shadow: inset 3px 0 0 var(--navy);
}

#scores .note {
  color: var(--muted);
  font-size: 11px;
  margin: 8px 0 14px;
}

/* ---- the footer ---- */

footer.site {
  grid-column: 1 / 3;
  display: flex;
  flex-wrap: wrap;
  gap: 6px 16px;
  padding: 10px 14px;
  border-top: 1px solid var(--line);
  background: var(--white);
  color: var(--muted);
  font-size: 12px;
}

footer.site .mono {
  font-family: var(--mono);
}

/* ---- the mobile viewer (body.mobile, ≤720px or ?mobile=1) ---- */

#mbar,
#mhead,
#mfoot,
#scrim,
.ovlnote {
  display: none;
}

body.mobile {
  --mfoot-h: 52px;
  grid-template-columns: minmax(0, 1fr);
  grid-template-rows: auto auto auto minmax(0, 1fr) auto;
  height: 100dvh;
}

@supports not (height: 100dvh) {
  body.mobile {
    height: 100vh;
  }
}

body.mobile > * {
  grid-column: 1;
}

body.mobile #bar,
body.mobile #engines,
body.mobile #legend,
body.mobile footer.site,
body.mobile #more.hidden {
  display: none;
}

#mbar {
  align-items: stretch;
  gap: 0;
  border-bottom: var(--border-ink);
  background: var(--bg);
}

body.mobile #mbar {
  display: flex;
}

#mbar button,
#mbar select {
  min-height: 48px;
  border: 0;
  border-radius: 0;
  background: var(--bg);
  color: var(--fg);
}

#mbar #mMenu {
  width: 52px;
  font-size: 18px;
  border-right: 1px solid var(--border-faint);
  flex: none;
}

#mbar #mMenu[aria-expanded="true"] {
  background: var(--mark);
  color: var(--mark-text);
}

#mbar #mMode {
  flex: 1;
  min-width: 0;
  font-family: var(--ff);
  font-size: 14px;
  font-weight: 600;
  padding: 0 12px;
  text-overflow: ellipsis;
}

#mbar #mLayout {
  border-left: 1px solid var(--border-faint);
  padding: 0 14px;
  flex: none;
}

#mhead {
  align-items: center;
  gap: 10px;
  padding: 6px 12px;
  border-bottom: 1px solid var(--border-faint);
  background: var(--surface);
  font-family: var(--mono);
  font-size: 11px;
  font-weight: 600;
}

body.mobile #mhead {
  display: flex;
}

#mhead #mCase {
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
  min-width: 0;
  flex: 1;
}

#mhead #mPos {
  color: var(--muted);
  font-variant-numeric: tabular-nums;
  flex: none;
}

#mhead label {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  color: var(--muted);
  text-transform: uppercase;
  font-size: 10px;
  flex: none;
  max-width: 46%;
}

#mhead select {
  padding: 4px 6px;
  min-height: 32px;
  max-width: 140px;
  text-overflow: ellipsis;
  font-weight: 600;
}

#mhead #mExpand {
  padding: 4px 8px;
  min-height: 32px;
  flex: none;
  font-size: 10px;
  background: var(--white);
  color: var(--ink);
  border: 1px solid var(--line);
}

body.mobile #side {
  position: fixed;
  top: 0;
  bottom: 0;
  left: 0;
  width: min(86vw, 340px);
  z-index: 62;
  transform: translateX(-100%);
  transition: transform 0.25s cubic-bezier(0.2, 0.7, 0.2, 1);
  border-right: var(--border-ink);
  display: block;
}

body.mobile.drawer #side {
  transform: none;
}

body.mobile.drawer #scrim {
  display: block;
  position: fixed;
  inset: 0;
  background: rgba(10, 10, 10, 0.4);
  z-index: 61;
}

body.mobile #main {
  padding: 8px 8px 16px;
  /* the fixed bottom bar (#mfoot) covers this much of the case area */
  padding-bottom: calc(16px + var(--mfoot-h) + env(safe-area-inset-bottom, 0px));
}

body.mobile #grid {
  gap: 2px 6px;
}

body.mobile .colhead {
  font-size: 10px;
  padding: 4px 0 6px;
  letter-spacing: 0;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

body.mobile .page {
  margin-bottom: 6px;
}

body.mobile .page.half {
  aspect-ratio: 8.5 / 5.6;
  overflow: hidden;
  border-bottom: 1px dashed var(--muted);
}

body.mobile .page.half img {
  border-bottom: 0;
}

body.mobile.mexp .page.half {
  aspect-ratio: auto;
  overflow: visible;
  border-bottom: 0;
}

body.mobile #overlay {
  width: 100% !important;
}

body.mobile .ovlnote {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 6px 10px;
  font-family: var(--mono);
  font-size: 10.5px;
  font-weight: 500;
  color: var(--muted);
  padding: 2px 0 8px;
}

body.mobile #more {
  width: 100%;
  min-height: 44px;
  margin: 4px 0 8px;
}

#mfoot {
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 1px;
  background: var(--ink);
  border-top: var(--border-ink);
  padding-bottom: env(safe-area-inset-bottom);
}

body.mobile #mfoot {
  /* Pinned to the bottom of the viewport on every host (#157): the grid row
   * alone left it under the browser chrome (100vh is the large viewport) and
   * moved when a host added its own header. Under the drawer (62) and scrim (61). */
  display: grid;
  position: fixed;
  left: 0;
  right: 0;
  bottom: 0;
  z-index: 50;
}

#mfoot button {
  min-height: var(--mfoot-h, 52px);
  border: 0;
  background: var(--surface);
  color: var(--ink);
  font-size: 11px;
  letter-spacing: 0.06em;
}

#mfoot #mOvl[aria-pressed="true"] {
  background: var(--mark);
  color: var(--mark-text);
}

#msheet {
  border: var(--border-ink);
  border-radius: 0;
  padding: 0;
  width: min(100vw, 440px);
  max-width: 100vw;
  margin: auto;
  background: var(--surface);
  color: var(--ink);
  font-family: var(--ff);
}

#msheet::backdrop {
  background: rgba(10, 10, 10, 0.4);
}

#msheet form {
  display: grid;
  gap: 0;
}

#msheet h2 {
  margin: 0;
  padding: 14px 16px;
  font-family: var(--mono);
  font-size: 11px;
  font-weight: 600;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--muted);
  border-bottom: 1px solid var(--border-faint);
  display: flex;
  gap: 8px;
  align-items: center;
}

#msheet .opt {
  display: grid;
  grid-template-columns: auto minmax(0, 1fr);
  gap: 12px;
  align-items: start;
  padding: 12px 16px;
  border-bottom: 1px solid var(--border-faint);
  cursor: pointer;
  font-size: 14px;
}

#msheet .opt input {
  margin: 3px 0 0;
  width: 16px;
  height: 16px;
  accent-color: var(--ink);
}

#msheet .opt b {
  display: block;
  font-weight: 600;
}

#msheet .opt small {
  display: block;
  color: var(--muted);
  font-size: 12px;
  line-height: 1.45;
}

#msheet .row {
  display: flex;
  gap: 12px;
  align-items: center;
  padding: 12px 16px;
  color: var(--muted);
  font-size: 12px;
}

#msheet button[type="submit"] {
  margin: 12px 16px 20px;
  padding: 10px 18px;
  background: var(--white);
  color: var(--ink);
  border: 1px solid var(--line);
  border-radius: 0;
  font: inherit;
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  cursor: pointer;
}

/* ---- the speed page ---- */

body.doc {
  margin: 0 auto;
  max-width: 1200px;
  padding: 16px 24px 48px;
  font: 14px / 1.5 var(--sans);
  background: var(--bg);
  color: var(--fg);
}

body.doc h1 {
  font-size: 34px;
  letter-spacing: -0.02em;
  line-height: 1.1;
}

body.doc h2 {
  font-family: var(--mono);
  font-size: 12px;
  font-weight: 600;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--muted);
  border-bottom: 1px solid var(--line);
  padding-bottom: 8px;
}

body.doc h3 {
  font-size: 15px;
}

body.doc h4 {
  font-size: 14px;
  margin-bottom: 4px;
}

body.doc table {
  border-collapse: collapse;
  margin: 8px 0 16px;
  font-variant-numeric: tabular-nums;
}

body.doc th,
body.doc td {
  border: 1px solid var(--border);
  padding: 3px 8px;
}

body.doc th {
  background: var(--panel);
}

body.doc td.n {
  text-align: right;
}

body.doc code {
  background: var(--white);
  border: 1px solid var(--line);
  padding: 0 4px;
  border-radius: 0;
  font-family: var(--mono);
  font-size: 12px;
}

body.doc section {
  margin-bottom: 40px;
}

body.doc nav.crumbs {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  margin-bottom: 12px;
}

body.doc .loading {
  color: var(--muted);
}

body.doc .tbl {
  overflow-x: auto;
}
/* The jubarte skin of bench-viewer's case browsers (plan 7.7).
 *
 * Appended after the package's own themes/cases.css, this maps the palette
 * variables the browser's rules read onto jubarte's Graphite and Night tokens
 * (DESIGN.md), through light-dark() pairs exactly like site.css. The browser's
 * structure — its hairlines, its grid, its mono labels — stays bench-viewer's;
 * only the palette is jubarte's. Document pages are images and stay paper
 * white in both modes (the Paper Stays Paper rule).
 *
 * Two ndb colours are kept on purpose: --forest and --brick (the score
 * table's good/bad marks). They are the bench's own semantics, and jubarte's
 * green and red belong to revisions only (the Word Colours rule).
 */

:root {
  color-scheme: light dark;

  /* Graphite (light) and Night (dark), from DESIGN.md. */
  --paper: light-dark(oklch(97% 0.003 106.4), oklch(20% 0.023 249));
  --bg: var(--paper);
  --ink: light-dark(oklch(18.2% 0 0), oklch(96.2% 0.008 241.7));
  /* The Max Contrast rule: secondary text is ink, not gray. */
  --muted: var(--ink);
  --line: light-dark(oklch(87.5% 0.005 106.5), oklch(33.4% 0.039 250.5));
  --hover: light-dark(oklch(92.4% 0.005 106.5), oklch(27.1% 0.029 246.9));

  /* Panels and cards: page white on Graphite, Night surface in the dark. */
  --white: light-dark(oklch(100% 0 0), oklch(23.9% 0.026 249));
  --surface: var(--white);
  --panel: var(--white);

  /* The brand colour: Graphite Lead, Night Ink Blue (never Word's blue). */
  --blue: light-dark(oklch(21.8% 0 0), oklch(79.1% 0.094 237.6));
  --blue-d: light-dark(oklch(0% 0 0), oklch(86.2% 0.065 236));
  /* Deep: the selected states and solid fills, as on the site. */
  --navy: light-dark(oklch(20.5% 0 0), oklch(94.5% 0.013 244.3));
  /* The soft fill around selected items: a neutral tint, not a wash. */
  --sky: light-dark(oklch(94.2% 0.004 106.5), oklch(27.1% 0.029 246.9));

  --steel: light-dark(oklch(73.3% 0.007 106.6), oklch(43.6% 0.043 246.4));
  --off: light-dark(oklch(48.5% 0.005 106.6), oklch(67.8% 0.028 244.6));

  /* The One Highlighter: the selection and the picked case, the claim's mark. */
  --mark: light-dark(oklch(91.6% 0.128 94.1), oklch(40.5% 0.075 243));
  --mark-text: var(--ink);
}

/* A pinned mode (the footer switch, theme.js) overrides the media queries. */
:root[data-theme="light"] {
  color-scheme: light;
}
:root[data-theme="dark"] {
  color-scheme: dark;
}

/* The brand bar is jubarte's own on this site: the wordmark in the brand
 * colour, the crumb and links in the site's uppercase mono voice. */
#brand .logo {
  color: var(--blue);
  font-family: var(--mono);
  font-size: 12px;
  font-weight: 700;
  letter-spacing: 0.14em;
  text-decoration: none;
}
#brand .logo:hover {
  color: var(--blue-d);
}

/* The theme switch theme.js wires (site.css styles it on site pages; the
 * browsers carry their own chrome, so it gets the same look here). */
.theme-toggle {
  background: transparent;
  border: 1px solid var(--line);
  border-radius: 6px;
  color: var(--ink);
  cursor: pointer;
  font: 11px / 1.4 var(--mono);
  letter-spacing: 0.08em;
  padding: 4px 9px;
  text-transform: uppercase;
}
.theme-toggle:hover {
  background: var(--hover);
}
/* Only the mode a click turns on is labelled, as on the site: the button
 * names the mode it switches to, following the pin or the browser. */
.theme-toggle .to-dark,
.theme-toggle .to-light {
  display: none;
}
:root:not([data-theme="dark"]) .theme-toggle .to-dark {
  display: inline;
}
:root[data-theme="dark"] .theme-toggle .to-light {
  display: inline;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) .theme-toggle .to-dark {
    display: none;
  }
  :root:not([data-theme="light"]) .theme-toggle .to-light {
    display: inline;
  }
}