/*
* overwrite stylesheets for different plattforms:
* put only the platform dependant diffenreces in this file
*/

	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);
	
//standard for all plattforms
	strStyle = "<style type='text/css'>";
	strStyle += "<!--";
	
	// old Netscape has severe trouble with CSS
	if (NS)
	{
		strStyle += ".normal { font-size:8pt; font-family:Arial,Helvetica,sans-serif; color:#000000; font-weight:normal; text-decoration:none; }\n"
		strStyle += ".colhead  { font-size: 8pt; font-family:Arial,Helvetica,sans-serif; color:#000000; font-weight:normal; }\n";

	}
	//Stylesheets for Win9x/NT  
	else if (WIN || (MAC && IE))
	{
		// nothing known
	}
	//Stylesheets for Mac
	else if (MAC)
		{
        strStyle += ".normal  { font-size: 9pt; font-family:Arial,Helvetica,sans-serif; color:#000000; font-weight:normal; }\n";
		strStyle += ".bold  { font-size: 9pt; font-family:Arial,Helvetica,sans-serif; color:#000000; font-weight:bold; }\n";
		strStyle += ".colhead  { font-size: 9pt; font-family:Arial,Helvetica,sans-serif; color:#508278; font-weight:bold; }\n";
		strStyle += ".nav  { font-size: 10pt; font-family:Arial,Helvetica,sans-serif; color:#000000; font-weight:normal; }\n";
		}
	//Standard Stylesheets!
	else
	{
		//these should all be there already
		// if something dynamic is required add it here
	}
	strStyle += "//-->";
	strStyle += "</style>";

	//write it down in one go
	document.write(strStyle);
	document.close();