TABLE.public {
  border: 2px #333333 solid;
  color: CCCCCC;
}

TABLE.public TH {
  background-color: 333333; 
  border: 2px #333333 solid;
}
TABLE.public TD.output {
  background-color: 444444;
  border: 2px #333333 solid;
}
TABLE.public PRE {
  font-family: Verdana, Helvetica, Arial;
  font-size: 14px;
}