//
// Nav left menus.
//

// Init highlight current page.
function NavLeftInit()
{
  var el = document.getElementById(navPage);
  if (el)
  {
    el.className = "navLeftOver";
  }
}

// Mouse over and out, except for the current page, to leave it highlighted.
function NavLeftOver(oSrc)
{
  if (oSrc.id != navPage)
  {
    oSrc.className = "navLeftOver";
  }
}

function NavLeftOut(oSrc)
{
  if (oSrc.id != navPage)
  {
    oSrc.className = "navLeft";
  }
}

// Navigate to url.
//  Wrapper here to change the div's class to 'out' before navigating,
//  else FireFox shows the 'over' when coming back with back button.
//  Apparently this is not needed for the 'a' link, so it's on the div only.
function NavLeft(oSrc, sUrl)
{
  NavLeftOut(oSrc);
  location = sUrl;
}