<!--
//je nach Plattform werden unterschiedliche Stylesheets geschrieben.

	var strStyle = "";
	var NS = (navigator.appName == "Netscape");
	var IE = (navigator.appName.indexOf("Internet Explorer") != -1);
	var WIN = (navigator.platform.indexOf("Win") > -1);
	var MAC = (navigator.platform.indexOf("Mac") > -1);
	
//erst mal grundsaetzliche styles, fuer alle Plattformen
	strStyle += "<style type='text/css'>";
	strStyle += "<!--";
	
//Stylesheets fuer Win9x/NT  
	if (WIN || (MAC && IE))
	{
		strStyle += ".normal {font-size: 8pt; font-family:Verdana,Tahoma,sans-serif; color:#000000;}";
		strStyle += "a {color: #e9840b; text-decoration:none;}";
	}
//Stylesheets fuer den Mac
	else
	{
		if (MAC)
		{
			strStyle += ".normal {font-size: 11pt; font-family:Verdana,Tahoma,sans-serif; color:#000000;}";	
			strStyle += "a {color: #e9840b; text-decoration:none;}";
		}
	//Standard Stylesheets!
		else
		{
			strStyle += ".normal {font-size: 8pt; font-family:Verdana,Tahoma,sans-serif; color:#000000;}";
			strStyle += "a {color: #e9840b; text-decoration:none;}";
		}
	}
	strStyle += "//-->";
	strStyle += "</style>";

	//In einem Rutsch wegschreiben!
	document.write(strStyle);
	document.close();
//-->