if(navigator.appName == 'Microsoft Internet Explorer')
	document.write("<link rel='STYLESHEET' type='text/css' href='fileadmin/webdev/nav_ie.css'>");
else 
	document.write("<link rel='STYLESHEET' type='text/css' href='fileadmin/webdev/nav_other.css'>");