This is made using em unit instead of pt for font-size.
"New" sizes are relative to the font-size choosen by the user.
Changed 9pt in 0.95em, 8pt in 0.8em and 7pt in 0.7em, tested on Firefox. This should fix zoom in/out in IE.
body,th,td,ul,li,a,div,p,pre {color:#333333; font-family:Verdana,"Bitstream Vera Sans",Arial,Helvetica,Sans,"Bitstream Vera Serif"; font-size:9.0pt;}
body,th,td,ul,li,a,div,p,pre {color:#333333; font-family:Verdana,"Bitstream Vera Sans",Arial,Helvetica,Sans,"Bitstream Vera Serif"; font-size: 0.95em;}
a img {
border:none;
@ -97,22 +98,22 @@ td.nametext{
display:block;
}
.nametext a, .breadcrumb a{color:#333333; font-size:8pt; font-weight:bold; text-decoration:none;}