/* Insert CSS Below */
:root {
  --primary-dark-color: #02488C; /* Primary colour used by elements such as buttons */
  --very-dark-primary-color: #ffff; /* Darker primary colour used for contrast or hover effects */
  --primary-light-color: #0CA1DB; /* lighter colour or secondary colour */
  --topbar-background-color: #ffff; /* background colour for the top bar of the navigation */
  --menu-background-color: #02488C; /* background colour for the menu bar of the navigation */
  --menu-alternative-background-color: #02488C; /* Alternative background colour for the menu bar, used by some buttons */
  --menu-foreground-color: #ffffff; /* font colour used in the menu bar */
  --link-color: #02488C;
  --link-font-family: "Trebuchet MS", Trebuchet, Arial, sans-serif;
  --toc-link-color: #02488C; /* Colour used by text on TOC sidebar elements */
  --figure-caption-background-color: #ffff;
  --figure-caption-color: #02488C;
}

body {
font-family: "Arial", Arial, sans-serif;
font-size: 12pt;
line-height: 1.4;}

h1, h2, h3, h4, h5, h6 {
font-family: "Trebuchet MS", Trebuchet, Arial, sans-serif;
    line-height: 1.4;
  }

.top-bar-left .header-image.top-bar-image {
  width: 16rem;
}

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

header .top-bar ul.dropdown ul li a {
   background-color: #ffffff;
  color: #02488C;
}

ul li, ol li {
  line-height: 1.4;
}