body {
color: black; 
background: white;
}

a:link {
  color: #000080;
}

a:visited {
  color: #000080;
}

a:active {
  color: #FF0000;
}

a:hover {
  color: #FF0000;
}

div.highlight {
  background: #FFFF00;
  padding: 0.5em;
  border: none;
}