/* 
# ----------------------------------------------------- #
#		  	         NAVIGATION-SCRIPTE	 				#
#					    (c) jvg							#
# ----------------------------------------------------- #
*/

function initMenu()
{
	if ( browser.isDOM1
	&& !( browser.isMac && browser.isIE )
	&& !( browser.Opera && browser.versionMajor < 7 )
	&& !( browser.isIE && browser.versionMajor < 5 ) )
	{
		var menu = document.getElementById('menu');
		var lis = menu.getElementsByTagName('li');

		menu.className="menu";

		for ( var i=0; i<lis.length; i++ )
		{
			if ( lis.item(i).getElementsByTagName('ul')[0] )
			{
				if ( browser.isIE )
				{
					addAnEvent(lis.item(i),'keyup',visible);
				}
				addAnEvent(lis.item(i),'mouseover',visible);
				addAnEvent(lis.item(i),'mouseout',hidden);
				addAnEvent(lis.item(i),'blur',hidden);
				addAnEvent(lis.item(i),'focus',visible);
			}
		}
	}
}

function addAnEvent( target, eventName, functionName )
{
	if ( browser.isIE )
	{
		eval('target.on'+eventName+'=functionName');
	}
	else
	{
		target.addEventListener( eventName , functionName , true ); // true is important for Opera7
	}
}

function hidden()
{
	this.getElementsByTagName('ul')[0].style.visibility = "hidden";
}

function visible()
{
	this.getElementsByTagName('ul')[0].style.visibility = "visible";
}

function hiddenUl( ul )
{
	if ( browser.isIE )
	{
		var uls = ul.getElementsByTagName('ul');
		for ( var i=0; i<uls.length; i++ )
		{
			uls.item(i).style.visibility = "hidden";
		}
		ul.style.visibility = "hidden";
	}
}

window.onload=initMenu;

function hideload () {
if (document.getElementById('navi'))
{
 var div_obj = document.getElementById('navi') ;
	div_obj.style.display = "block" ;
}
return true;
}

function hide_box(id)
{
  if (document.getElementById(id).style.display == "")
  {
  	document.getElementById(id).style.display = "none";    
  }
}

function show_box(id)
{
  if (document.getElementById(id).style.display == "none")
  {
  	document.getElementById(id).style.display = "";    
  }
}