font.currentindex {
  background-color:#0000D0;
  font-family:"helvetica";
  color:white;
  size:10pt;
}

font.otherindex {
  background-color:#E0E0E0;
  font-family:"helvetica";
  color:#0000D0;
  size:10pt;
}

font.tableindex {
  background-color:#E0E0E0;
  font-family:"helvetica";
  color:blue;
}

font.tableindex2 {
  background-color:#E0E0E0;
  font-family:"helvetica";
  color:black;
}

font.currentwinner {
  background-color:white;
  font-family:"helvetica";
  font-size:20pt;
  color:red;
  text-align:center;
}

body {
  background-color:white;
  font-family:"helvetica";
}

th {
  background-color:#E0E0E0;
}

td.indextable {
  vertical-align:top;
}