/* Palette taken from dpmo.cz (navy #222D5A, light lavender background #EAEAF2) */
:root {
  --portal-primary: #222d5a;
  --portal-primary-dark: #182142;
  --portal-primary-rgb: 34, 45, 90;
  --portal-primary-dark-rgb: 24, 33, 66;
  --portal-accent: #e2001a;
  --portal-focus-border: #aab3d0;
  --portal-body-bg: #eaeaf2;
  --bs-link-color-rgb: var(--portal-primary-rgb);
  --bs-link-hover-color-rgb: var(--portal-primary-dark-rgb);
}