//set base text size according to browser
var size = "x-small";
var netscape = (navigator.appName == 'Netscape');
if (netscape) { size = "small"; }
document.writeln('<style type="text/css"><!--');
document.writeln('body, td, th { font-size: ' + size + ' }');
document.writeln('--></style>');

/*set column width, with margins according to user's screen width
function centered_column(width) {
   var margin = (screen.width - width)/2;
   document.writeln('<style type="text/css"><!--');
   document.writeln('.centered_column { margin-left: ' + margin + '; margin-right: ' + margin + ' }');
   document.writeln('--></style>');
} */