:root {
  --theme-header-background-color: rgb(0, 150, 161);

  --theme-color-hyperlink: rgb(24, 125, 175);
  --theme-color-hyperlink-hover: rgb(25, 114, 159);

  --theme-color-success: rgb(141, 198, 64);
  --theme-color-danger: rgb(224, 66, 57);
  --theme-color-warning: rgb(251, 191, 1);
  --theme-color-info: rgb(24, 125, 175);
  
  --theme-menu-background-color-active: rgb(24, 125, 175);
  --theme-menu-background-color-hover: #cae8f6;
  --theme-menu-background-color-active-children: #fff;

  --theme-menu-color-active: #fff;
}

#header .header_spacer {
  max-width: 80em;
  margin: auto;
}

#logo img {
  max-height: 24px;
}