/* 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;
}

/* ---- benchmarks-law: arthur-law-cases.css (bench-viewer) and the site's fonts ---- */
@font-face{font-family:'Libre Franklin';font-style:normal;font-weight:100 900;font-display:swap;src:url("/fonts/libre-franklin.woff2") format('woff2');}
@font-face{font-family:'Roboto Mono';font-style:normal;font-weight:100 700;font-display:swap;src:url("/fonts/roboto-mono.woff2") format('woff2');}
/* arthur-law-cases.css — the arthur.law skin for the case browsers and the
 * speed page (#153).
 *
 * Load it after cases.css. It is a :root layer only: every rule stays
 * cases.css's, and the published palette (paper, ink, navy) and type
 * (Manrope, JetBrains Mono) are remapped onto arthur.law's tokens, the ones
 * themes/arthur-law.css declares: #FAFAF8 paper, #0A0A0A ink, #6B6B6B muted,
 * #E8E8E5 hairlines, the #FFD400 mark, Libre Franklin and Roboto Mono.
 * cases.css's corners are already square. Green and red keep their meaning
 * (better, worse) and are only darkened toward the ink.
 */

:root {
  /* the published palette, remapped */
  --ink: #0a0a0a;
  --muted: #6b6b6b;
  --line: #e8e8e5;
  --paper: #fafaf8;
  --white: #ffffff;
  --blue: #0a0a0a;
  --blue-d: #000000;
  --navy: #0a0a0a;
  --sky: #fbf1ba;
  --hover: #f2f2ef;
  --steel: #c9c9c5;
  --off: #9a9a96;
  --forest: #1f5c3a;
  --brick: #8f2f22;
  --mark: #ffd400;
  --mark-text: #0a0a0a;

  /* the names the components read */
  --accent: var(--ink);

  /* arthur.law's type */
  --sans: "Libre Franklin", system-ui, -apple-system, sans-serif;
  --ff: var(--sans);
  --mono: "Roboto Mono", ui-monospace, "SF Mono", Menlo, monospace;
}
/* ---- benchmarks-law: the navbar and the footer span the viewport; the page keeps its column ---- */
body.doc{max-width:none;margin:0;padding:0}
body.doc > #brand{margin-bottom:28px}
body.doc > :not(#brand):not(#main):not(footer.site){max-width:1200px;margin-left:auto;margin-right:auto;padding-left:24px;padding-right:24px}
body.doc > #main{max-width:1200px;margin-left:auto;margin-right:auto}
body.doc footer.site{margin-top:48px;padding-left:24px;padding-right:24px}