/* For hovering menu in left navigation area */

  /* function initMenu */
  /* IE doesn't recognize :hover for any element except for <a>, so this */
  /* function substitutes a class name for the elements in question that */
  /* should have the appropriate hover functionality.                    */
  initMenu = function() 
  {
    /* for IE only */
    if (document.all && document.getElementById)
    {
      /* get all <li> elements */
      li_elements = document.getElementsByTagName("LI");
      for (i = 0; i < li_elements.length; i++)
      {
        if ((li_elements[i].parentNode.className == "menu") || (li_elements[i].parentNode.className == "submenu"))
        {
          /* onmouseover and onmouseout approximate :hover */
          li_elements[i].onmouseover = function()
          {
            this.className = "hover";
          }
          li_elements[i].onmouseout = function()
          {
            this.className = "";
          }
        }
      }
    }
  }

window.onload = initMenu;