/*
if(navigator.appName.indexOf("Netscape") > -1) {
  with(document) {
    classes.bodytext.all.fontSize = "11px";
    tags.a.fontSize = "11px";
    tags.td.fontSize = "11px";
    tags.input.fontSize = "11px";
  }
}*/