// Menu functies voor het horizontale menu op de contentpagina


  // Menu item openen
  function open_menu(menu_id)
  {
    document.getElementById(menu_id).style.visibility = 'visible';
  }

  // Menu item sluiten
  function close_menu(menu_id)
  {
		if (document.getElementById(menu_id) != null)  
		{
			document.getElementById(menu_id).style.visibility = 'hidden';
		}	
  }

  // Functie om het 'event bubbling' effect te ondervangen.
  function check_mouseout(e,handler)
  {
    // We checken of de muis nog in het menu.
    if (e.type != 'mouseout' && e.type != 'mouseover') return false;
    var reltg = e.relatedTarget ? e.relatedTarget : e.type == 'mouseout' ? e.toElement : e.fromElement;
    while (reltg && reltg != handler) reltg = reltg.parentNode;
    return (reltg != handler);
  }