var css    = "empty";
		
// Mozilla
	if(navigator.userAgent.indexOf("Gecko") != -1 && navigator.userAgent.indexOf("Firefox") == -1)	{
		//css = "mozilla.css";
	}

// Opera
	if(navigator.userAgent.indexOf("Opera") != -1)	{
		//css = "opera.css";
	}



// CSS einbinden
	if (css.indexOf("empty") == -1) {
		document.write("<link rel=\"STYLESHEET\" type=\"text/css\" href=\"/fileadmin/css/"+css+"\">");
	}