function menu_space() {
  if ((navigator.family == 'nn4')||(navigator.family == 'safari')) { document.write('   '); }
}
// Initialize the menu
function menu_init() {
	//==========================================================================================
	// if supported, initialize TransMenus
	//==========================================================================================
	// Check isSupported() so that menus aren't accidentally sent to non-supporting browsers.
	// This is better than server-side checking because it will also catch browsers which would
	// normally support the menus but have javascript disabled.
	//
	// If supported, call initialize() and then hook whatever image rollover code you need to do
	// to the .onactivate and .ondeactivate events for each menu.
	//==========================================================================================
  
  // -- Modified on April 20, 2005 for Mac IE 5.0 compatibility
  //if (!document.layers) {
  if ((navigator.family == 'nn4')||(!r)){
  }
  else
  {
	if (TransMenu.isSupported()) {
		TransMenu.initialize();

		// hook all the highlight swapping of the main toolbar to menu activation/deactivation
		// instead of simple rollover to get the effect where the button stays hightlit until
		// the menu is closed.

		menu1.onactivate = function() { document.getElementById("produkte").className = "hover"; };
		menu1.ondeactivate = function() { document.getElementById("produkte").className = ""; };

		menu2.onactivate = function() { document.getElementById("unternehmen").className = "hover"; };
		menu2.ondeactivate = function() { document.getElementById("unternehmen").className = ""; };
		
		//Needed for menus with no pull down elements.
		document.getElementById("home").onmouseover = function() {
			ms.hideCurrent();
			this.className = "hover"; 
		}
		document.getElementById("home").onmouseout = function() { this.className = ""; }

		document.getElementById("kontakt").onmouseover = function() {
			ms.hideCurrent();
			this.className = "hover"; 
		}
		document.getElementById("kontakt").onmouseout = function() { this.className = ""; }

		document.getElementById("impressum").onmouseover = function() {
			ms.hideCurrent();
			this.className = "hover"; 
		}
		document.getElementById("impressum").onmouseout = function() { this.className = ""; }
	}
  }
}