if (BrowserType == "ie" && OSType == "mac") {
    style = 'style_ie_mac.css';
   }
  
else if (BrowserType == "ie" && OSType == "win") {
         style = 'style_ie.css';
         } 

else if (BrowserType == "ns" && OSType == "win") {
         style = 'style_ns.css';  //Netscape
         }

else if (BrowserType == "ns" && OSType == "mac") {
         style = 'style_ns_mac.css';  //Netscape MAC
         }		 
		 
else {
      style = 'style_linux.css';
	 }		 		 

// browserspezifisches Stylesheet schreiben...
//document.write('<link rel=stylesheet type=\"text/css\" href=\"/style/' + style + '\">');