/* functions for drop down menus in the tabs_navigation */
	 var timeout    = 500;
     var closetimer = 0;
     var ddmenuitem = 0;

function tabs_navigation_open()
{  tabs_navigation_canceltimer();
   tabs_navigation_close();
   ddmenuitem = $(this).find('ul').css('visibility', 'visible');}

function tabs_navigation_close()
{  if(ddmenuitem) ddmenuitem.css('visibility', 'hidden');}

function tabs_navigation_timer()
{  closetimer = window.setTimeout(tabs_navigation_close, timeout);}

function tabs_navigation_canceltimer()
{  if(closetimer)
   {  window.clearTimeout(closetimer);
      closetimer = null;}}

$(document).ready(function()
{  $('#tabs_navigation > li').bind('mouseover', tabs_navigation_open)
   $('#tabs_navigation > li').bind('mouseout',  tabs_navigation_timer)});

document.onclick = tabs_navigation_close;