/* Change these values to customize the public website header in both languages.
   This file is also deployed as /assets/header-theme.css on Hostinger. */
:root {
  --site-header-background: #F9FAFB;
  --site-header-foreground: #000000;
  --site-header-muted: var(--site-header-foreground);
  --site-header-border: #e4e7ec;
}

/* Keep header colors independent of the page's light/dark theme. */
.site-header-theme {
  background-color: var(--site-header-background);
  color: var(--site-header-foreground);
  border-color: var(--site-header-border);
  --background: var(--site-header-background);
  --foreground: var(--site-header-foreground);
  --card: var(--site-header-background);
  --ink-heading: var(--site-header-foreground);
  --ink-text: var(--site-header-muted);
  --ink-tertiary: var(--site-header-muted);
  --border: var(--site-header-border);
  --secondary: #0000000a;
  /* Equivalent tokens used by the PHP course pages. */
  --ink: var(--site-header-foreground);
  --muted: var(--site-header-muted);
  --line: var(--site-header-border);
  --panel: var(--site-header-background);
}