@-moz-document domain(sourceforge.net) {
  pre {
    font-family: monospace !important;
    font-size: 10pt !important;
  }
  table {
    font-family: monospace !important;
    font-size: 9pt !important;
  }
  td[bgcolor="#eeeeee"]:hover {
    background-color: blue !important;
    color: white !important;
  }
  td[bgcolor="#eeeeee"]:hover a {
    background-color: blue !important;
    color: white !important;
  }
}