/* Benchmath site. Colours are tokens so the palette can change in one place. */
:root {
  color-scheme: light dark;
  --bg: #FFFFFF;
  --text: #15181C;
  --muted: #565C66;
  --line: #DDDAD2;
  --surface: #F4F2EC;
  --accent: #E2501F;
  --link: #CB481C;
  --radius: 6px;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #121212;
    --text: #F4F2EC;
    --muted: #A9A69E;
    --line: #34363B;
    --surface: #1C1E22;
    --link: #E2501F;
  }
}

*, *::before, *::after { box-sizing: border-box; }

html { -webkit-text-size-adjust: 100%; text-size-adjust: 100%; }

body {
  margin: 0 auto;
  max-width: 46rem;
  padding: 0 1.25rem 3rem;
  background: var(--bg);
  color: var(--text);
  overflow-wrap: break-word;
  font: 1.0625rem/1.65 system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
}

a { color: var(--link); text-underline-offset: 0.18em; text-decoration-thickness: 1px; }
a:hover { text-decoration-thickness: 2px; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; border-radius: 2px; }

.skip { position: absolute; left: -999px; }
.skip:focus {
  left: 1rem;
  top: 0.75rem;
  padding: 0.4rem 0.75rem;
  background: var(--bg);
  border: 1px solid var(--line);
  border-radius: var(--radius);
}

/* Header and footer */
.site-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  padding: 1.25rem 0;
  border-bottom: 1px solid var(--line);
}
.brand { display: inline-flex; }
.brand img { display: block; height: 26px; width: auto; }
.site-header nav a, .site-footer a { color: var(--text); text-decoration: none; }
.site-header nav a:hover, .site-footer a:hover { text-decoration: underline; }
.site-header nav { font-size: 0.95rem; font-weight: 600; }

.site-footer {
  margin-top: 4rem;
  padding-top: 1.25rem;
  border-top: 1px solid var(--line);
  color: var(--muted);
  font-size: 0.9rem;
}
.site-footer a { color: var(--muted); }

/* Text */
main { padding-top: 2.75rem; }
h1 {
  margin: 0 0 1rem;
  font-size: clamp(1.9rem, 1.3rem + 2.6vw, 2.6rem);
  font-weight: 700;
  line-height: 1.12;
  letter-spacing: -0.02em;
  text-wrap: balance;
}
h2 {
  margin: 2.75rem 0 0.75rem;
  font-size: 1.2rem;
  line-height: 1.3;
  letter-spacing: -0.005em;
  text-wrap: balance;
}
p, ul { margin: 0 0 1rem; }
ul { padding-left: 1.25rem; }
li { margin-bottom: 0.4rem; }
li::marker { color: var(--accent); }
.lead { font-size: 1.2rem; line-height: 1.55; color: var(--muted); max-width: 38rem; }
.meta { color: var(--muted); font-size: 0.95rem; }

/* Tables */
table { width: 100%; margin: 0 0 1rem; border-collapse: collapse; font-variant-numeric: tabular-nums; }
th, td { padding: 0.65rem 0.75rem 0.65rem 0; text-align: left; vertical-align: top; }
th { border-bottom: 1px solid var(--text); color: var(--muted); font-size: 0.85rem; font-weight: 600; }
td { border-bottom: 1px solid var(--line); }
td:first-child { font-weight: 600; padding-right: 1.25rem; }
tr:last-child td { border-bottom: 0; }

/* Home page: worked example and the verification notice */
.example {
  margin-top: 2.75rem;
  padding: 1.5rem 1.5rem 0.75rem;
  background: var(--surface);
  border-radius: var(--radius);
}
.example h2 { margin-top: 0; }
.example td:last-child { white-space: nowrap; }
.notice {
  margin-top: 1.75rem;
  padding: 0.9rem 1.1rem;
  border: 1px solid var(--line);
  border-left: 3px solid var(--accent);
  border-radius: var(--radius);
}

@media (max-width: 30rem) {
  body { padding: 0 1rem 2.5rem; font-size: 1rem; }
  main { padding-top: 2rem; }
  .lead { font-size: 1.1rem; }
  .example { padding: 1.25rem 1rem 0.5rem; }
  .brand img { height: 24px; }
}