/*gleist zuerst nach platform auf und checkt danach die browser ab. danach werden die entsprechenden stylesheetsaufgerufen. vier verschiedene stylesheets sind dafŸr notwendig.*/if (window.navigator.platform.indexOf('Mac')==-1){	if (window.navigator.appName=="Netscape") {		//window.alert("netscape auf windows");		window.document.write('<link rel="stylesheet" type="text/css" href="../../css/style_nc.css">');	}	else if (window.navigator.appName=="Microsoft Internet Explorer") {		//window.alert("internet explorer auf windows");		window.document.write('<link rel="stylesheet" type="text/css" href="../../css/style.css">');	}	else {		//window.alert("anderer browser auf windows");		window.document.write('<link rel="stylesheet" type="text/css" href="../../css/style.css">');	}}else if (window.navigator.platform.indexOf('Windows')==-1){	if (window.navigator.appName=="Netscape") {		//window.alert("netscape auf mac");		window.document.write('<link rel="stylesheet" type="text/css" href="../../css/style_nc.css">');	}	else if (window.navigator.appName=="Microsoft Internet Explorer") {		//window.alert("internet explorer auf mac");		window.document.write('<link rel="stylesheet" type="text/css" href="../../css/style_mac_ie.css">');	}	else {		//window.alert("anderer browser auf mac");		window.document.write('<link rel="stylesheet" type="text/css" href="../../css/css/.css">');	}};