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

.summary {
  display: none;
}

body, #main-menu {
  font-family: "Proxima Nova", Montserrat, Helvetica, Roboto, Arial, sans-serif;
  font-weight: 300;
}

header #main-menu li {
  display: inline-block;
  text-align: left;
}

mark {
  background-color: unset;
}

pre, blockquote {
  line-height: 1.5;
}

blockquote > p {
  line-height: 1.5;
  margin-bottom: 0rem;
}

article > div > blockquote {
  margin-left: 40px;
}