:root {
  --primary-dark-color: #4f3175;;
  --very-dark-primary-color: #153e60;
  --primary-light-color: #b0a2c6;
  --topbar-background-color: #FFFFFF;
  --menu-background-color: #4f3175;;
  --menu-alternative-background-color: #4f3175;
  --menu-foreground-color: #FFFFFF;
  --link-color: #4f3175;
  --toc-link-color: #153e60;
  --figure-caption-background-color: #4f3175;
  --figure-caption-color: #fff;
}

.button {
  background-color: var(--very-dark-primary-color);
}
header .border-right {
  border-right: none;
}

header .border-left {
  border-left :none;
}

footer .very-dark-primary-color {
 /* black text on SVG is not visible otherwise */
  background-color: white;
}

#article .callout ul {
    margin-left: 0;
    padding-left: 0;
    list-style: none;
}