/**
  * @file
  * Default font.
  *
  * Needs to be high in specificity to override bootstrap defaults.
  **/

body {
  font-family: "Tahoma", sans-serif;
}

/** Highlighted text, as in filtered results **/
.highlight {
  background-color: var(--laurier-gold);
}