table.numdata {font-family: monospace,monospace;}
td.nummax {color: #FF8000;}
td.nummed {color: green;}
td.nummin {color: blue;}
span.nummax {color: #FF8000;}
span.nummed {color: green;}
span.nummin {color: blue;}
#badgt0 {color: red;}