a:visited {
  color: rgb(255, 204, 0);
}

.highlight {
  color : #ffffff;
}

.pre {
  background-color: #333333;
  font-family:'Courier New', Courier, monospace;
}

dsabody {
  font-family: 'Calibri', 'Verdana 14px';
}