// Browserweichen ...
var dom = document.getElementById? 1 : 0;
var ns4 = document.layers? 1 : 0;
var ie4 = (document.all && !dom)? 1 : 0;
var ie  = (navigator.userAgent.indexOf('MSIE')>-1)? 1 : 0;
var op  = (navigator.userAgent.indexOf('Opera')>-1)? 1 : 0;
var moz = (navigator.userAgent.indexOf('Gecko')>-1 && navigator.userAgent.indexOf('Netscape')==-1)? 1 : 0;

// Hintergrundfarbe der HauptNavigation
var mouseOverColor = '#F9F7F4';
var mouseOutColor = '#EDEAE6';