:root {
  --primary-dark-color: #111D2F; /* Primary colour used by elements such as buttons */
  --very-dark-primary-color: #111D2F;  /* Darker primary colour used for contrast or hover effects */
  --primary-light-color: #fff; /* lighter colour or secondary colour */
  --topbar-background-color: #111D2F; /* background colour for the top bar of the navigation */
  --menu-background-color: #FFF; /* background colour for the menu bar of the navigation */
  --menu-alternative-background-color: #FFFFFF; /* Alternative background colour for the menu bar, used by some buttons */
  --menu-foreground-color: #000; /* font colour used in the menu bar */
  --link-color: #2199e8;
  --toc-link-color: #22175b; /* Colour used by text on TOC sidebar elements */
  --figure-caption-background-color: #003DAC; 
  --figure-caption-color: #FFFFFF;
}

.site-header, .navbar-custom {
  background-color: #020121;
}

.header-image {
  max-height: 150px;
  max-width: 120%;
  margin-left: 8px;
}