/* Javascript zur Stylesheet-Auswahl */
/* je nach Plattform (Macintosh oder Windows) und Browser */
var Mac_NS_kl47 = "style.css";
var Mac_NS_gr47 = "style.css";
var Mac_IE = "style_macie.css";
var Mac_SF = "style_safari.css";
var Mac_NoNo = "style_macie.css";
var PC_NS_kl47 = "style.css";
var PC_NS_gr47 = "style_mozilla.css";
var PC_NoNo = "style.css";
var PC_IE = "style.css";

function BrowserWeiche()
   {
   if ( navigator.userAgent.indexOf("Mac") != -1 )
     {
     /*if ( ( navigator.appName.indexOf("Netscape") != -1 ) && ( parseFloat(navigator.appVersion) <= 4.7 ) )
       document.write('<LINK REL="stylesheet" TYPE="text/css" HREF="' + Mac_NS_kl47 + '">');
     if ( ( navigator.appName.indexOf("Netscape") != -1 ) && ( parseFloat(navigator.appVersion) > 4.7 ) )
       document.write('<LINK REL="stylesheet" TYPE="text/css" HREF="' + Mac_NS_gr47 + '">');
     if ( navigator.appVersion.indexOf("MSIE") != -1 ) 
       document.write('<LINK REL="stylesheet" TYPE="text/css" HREF="' + Mac_IE + '">');	   
     if ( navigator.appVersion.indexOf("Safari") != -1 )
       document.write('<LINK REL="stylesheet" TYPE="text/css" HREF="' + Mac_SF + '">');
     if ( ( navigator.appName.indexOf("Netscape") == -1 ) && ( navigator.appVersion.indexOf("MSIE") == -1 ) && ( navigator.appVersion.indexOf("Safari") == -1 ) )
       document.write('<LINK REL="stylesheet" TYPE="text/css" HREF="' + Mac_NoNo + '">');*/
	   document.write('<LINK REL="stylesheet" TYPE="text/css" HREF="' + Mac_SF + '">');
    }
   if ( navigator.userAgent.indexOf("Mac") == -1 )
     {
     if ( ( navigator.appName.indexOf("Netscape") != -1 ) && ( parseFloat(navigator.appVersion) <= 4.7 ) )
       document.write('<LINK REL="stylesheet" TYPE="text/css" HREF="' + PC_NS_kl47 + '">');
     if ( ( navigator.appName.indexOf("Netscape") != -1 ) && ( parseFloat(navigator.appVersion) > 4.7 ) )
       document.write('<LINK REL="stylesheet" TYPE="text/css" HREF="' + PC_NS_gr47 + '">');
     if ( navigator.appName.indexOf("MSIE") != -1 )
       document.write('<LINK REL="stylesheet" TYPE="text/css" HREF="' + PC_IE + '">');
     if ( ( navigator.appName.indexOf("Netscape") == -1 ) && ( navigator.appVersion.indexOf("Explorer") == -1 ) )
       document.write('<LINK REL="stylesheet" TYPE="text/css" HREF="' + PC_NoNo + '">');
     }
   }
   
BrowserWeiche();
/* Javascript Stylesheet-Auswahl - Ende */