.noprint {font-size: 0px; visibility: hidden;}
.borderfull1 {BORDER: #000000 3px solid;}
.small       {FONT-FAMILY: Verdana,Arial,Helvetica,sans-serif; font-size: 12px;}
UL.ul3       {margin-top: 0px; margin-bottom: 0px; }
pre.s5250    {background-color: #ffffff; color: #000088;}