:root { 
  --primary-dark-color: #1d3e5f;  
  --very-dark-primary-color: #1d3e5f;  
  --primary-light-color: #6885a3;  
  --topbar-background-color: #FFFFFF;  
  --menu-background-color: #6885a3; 
  --menu-foreground-color: #FFFFFF; 
  --link-color: #00558C;  
  --toc-link-color: #00558C; 
}