// Zuordnung des Stylesheets zum Browser
document.write('<link media=screen rel="stylesheet" type="text/css" href="/web/CSS-Source/standard_ie.css">');
document.write('<link media=screen rel="stylesheet" type="text/css" href="/web/CSS-Source/standard.css">');
// kein IE und kein Mac, dann zusaetzliche Stylesheetdatei einbinden
if (navigator.userAgent.indexOf('MSIE') == -1 && !(navigator.userAgent.indexOf("Mac") != -1)) {
	document.write('<link media=screen rel="stylesheet" type="text/css" href="/web/CSS-Source/standard_ns.css">');
}
document.write('<link media=screen rel="stylesheet" type="text/css" href="/web/CSS-Source/content.css">');
document.write('<link media=print rel="stylesheet" type="text/css" href="/web/CSS-Source/print.css">');