body,td,th{font-size:9pt;
color:#696969;
}
br{font-size:9pt} 

.infrm   { color: #000000; font-size: 9pt; background-color: #f5f5f5; border: solid 0.5pt #696969 }
.button  { color: #000000; font-size: 9pt; background-color: #f5f5f5; border: solid 0.5pt #696969 }
.class  { line-height: 110% }

.manual_green { color:#20B2AA;}
.manual_red { color:#CC0000;}
.manual_orange { color:#D2691E;}

a:hover {color: #CC0000 }