function menu_over (level, id, subid)
{
  set_submenu(id, '');
  set_menu(level, id, subid, '#8284b7');
}



function menu_out (level, id, subid)
{
  set_menu(level, id, subid, '#1b2956');
}



function set_menu (level, id, subid, borderColor)
{
  var eid = 'mi' + id;

  if (subid != null)
    eid += 's' + subid;

  document.getElementById(eid).style.borderColor = borderColor;
}



function submenu_over (level, id)
{
  menus[id] = 1;
}



function submenu_out (level, id)
{
  menus[id] = 0;
  setTimeout("set_submenu(" + id + ", 'none');", 200);
}


function set_submenu (id, display)
{
  if (menus[id] == 0)
    {
      s = document.getElementById('ms' + id);
      if (s != null)
	s.style.display = display;
    }
}