:root {
  --primary-dark-color: #881C1C; /* Primary colour used by elements such as buttons */
  --very-dark-primary-color: #881C1C;  /* Darker primary colour used for contrast or hover effects */
  --primary-light-color: #fff; /* lighter colour or secondary colour */
  --topbar-background-color: #881C1C; /* 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: #FFF; /* Alternative background colour for the menu bar, used by some buttons */
  --menu-foreground-color: #000000; /* font colour used in the menu bar */
  --link-color: #2199e8;
  --toc-link-color: #881C1C; /* Colour used by text on TOC sidebar elements */
  --figure-caption-background-color: #003DAC; 
  --figure-caption-color: #FFFFFF;
}

.top-bar-left svg {
  max-width: 200px;
  max-height: 60px;
  min-width: 150px;
  fill: #881C1C;
}

header .border-right {
  border-right: 1px solid #881C1C;
}

header .border-left {
  border-left: 1px solid #881C1C;
}

header .top-bar-right a {
  color: white;
}

header .top-bar ul.dropdown ul {
  background-color: #881C1C;
}

header .top-bar ul.dropdown ul a:hover {
  background-color: #741818;
}

@media screen and (min-width: 40em) {
  header .top-bar-left, header .top-bar-right {
    height: 100%;
    padding: 1rem; } }