pre { font-size: 10pt }

a {
  font-weight: bold;
  text-decoration: none;
}

a:link, A:visited {
  color: #0059FF;
}

a:hover {
  color: #0059FF;
  background-color: #BBD2FF;
}

a:active {
  color: #909;
  background-color: #C9C;
}

pre span.ani {
  color: #090;
  font-weight: bold;
}

pre span.pers {
  color: #C00;
  font-weight: bold;
}

pre span.con {
  color: #F93;
  font-weight: bold;
}