/* EGR design tokens. Apps load this before their own stylesheet and use these
   properties instead of their own colours. Add tokens freely; renaming or removing
   one is a breaking change and ships under /v2/. */
:root {
  --egr-red: #c8102e;
  --egr-red-dark: #a00d25;
  --ink: #1a1a1a;
  --ink-soft: #6e6e6e;
  --surface: #ffffff;
  --surface-alt: #f2f2f2;
  --border: #dcdcdc;
  --header-bg: #1a1a1a;
  --radius: 8px;
  --max-width: 1120px;
  --font-sans: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
}

/* Reserve the bar's space while egr-header.js loads, so the page doesn't jump. */
egr-header {
  display: block;
  min-height: 64px;
  background: var(--header-bg);
}