// Version by HK, 27.03.2003
// Minimal browser and OS check


var agent=navigator.userAgent.toLowerCase();
var major = parseInt(navigator.appVersion);
var minor = parseFloat(navigator.appVersion);

// browser spot check:
//  standard settings too small on old netscapes, except they are running
//  on windoze
if ( (agent.indexOf('mozilla')!=-1) && (agent.indexOf('spoofer')==-1) &&
     (agent.indexOf('compatible') == -1) && (agent.indexOf('opera')==-1) &&
     (agent.indexOf('webtv')==-1) && (agent.indexOf('hotjava')==-1) &&
     (major <= 4) &&
     (agent.indexOf("win")==-1) && (agent.indexOf("16bit")==-1) ) {
  // Fonts are smaller on certain browsers. Use a different stylesheet then.
  document.write('<LINK HREF="css/stylesheet_nn_mac.css" REL="stylesheet" TYPE="text/css" media="screen">');
  document.write('<LINK HREF="css/stylesheet_printer_nn_mac.css" REL="stylesheet" TYPE="text/css" media="print">');
}
else {
  document.write('<LINK HREF="css/stylesheet.css" REL="stylesheet" TYPE="text/css" media="screen">');
  document.write('<LINK HREF="css/stylesheet_printer.css" REL="stylesheet" TYPE="text/css" media="print">');
}