var size = "x-small", list_size = "small";
var netscape = (navigator.appName == 'Netscape');
if (netscape) {
   size = "small";
   list_size = "medium"; }
document.writeln('<style type="text/css"><!--');
document.writeln('body, td, th { font-size: ' + size + ' }');
document.writeln('.linklist { line-height: 1.5em; color: blue; font-size: ' + list_size + ' }');
document.writeln('--></style>');