// Styles für Menü

if (navigator.appName.indexOf("Netscape")>-1)
{
document.write('<link rel="Stylesheet" href="menu.css"  type="text/css">')
}
if (navigator.appName.indexOf("Explorer") >-1)
{
document.write('<link rel="Stylesheet" href="menuIE.css"  type="text/css">')
}
else
{
document.write('<link rel="Stylesheet" href="menu.css"  type="text/css">')}