/* User-facing numbers should match the site's sans-serif typography, not code. */
.font-mono {
  font-family: var(--font-sans, ui-sans-serif, system-ui, -apple-system, "Segoe UI", sans-serif) !important;
  font-variant-numeric: tabular-nums;
  letter-spacing: -0.01em;
}

@media (max-width: 767px) {
  body header.sticky.top-0 {
    position: relative !important;
    top: auto !important;
  }
}