//
// menu.js -- Common JavaScript Functions
//
// by Ian Flanigan
// (C) 2003, All rights reserved.
//

function basename(path)
{
  var p = null;

  p = path.lastIndexOf('\\');

  if (p >= 0)
    return path.substr(p+1);

  p = path.lastIndexOf('/');

  if (p >= 0)
    return path.substr(p+1);

  return path;
}
function fixMenu(page_name)
{
  var links = document.links;
  var base = basename(document.URL);

  for (var i = 0; i < links.length; i++)
    {
      if (links[i].className == "toFrench")
	{
	  var a = document.createElement("A");
	  a.setAttribute("href", "../French/"+base);
	  a.setAttribute("class", "translation");
	  a.innerHTML = links[i].innerHTML;

	  var p = links[i].parentNode;
	  p.replaceChild(a, links[i]);
	}

      if (links[i].className == "toEnglish")
	{
	  var a = document.createElement("A");
	  a.setAttribute("href", "../English/"+base);
	  a.setAttribute("class", "translation");
	  a.innerHTML = links[i].innerHTML;

	  var p = links[i].parentNode;
	  p.replaceChild(a, links[i]);
	}

      if (links[i].innerHTML.indexOf(page_name) >= 0)
	{
	  var p = links[i].parentNode;
	  var t = links[i].innerHTML;
	  var n = document.createElement("SPAN");
	  n.innerHTML = t;
	  n.className = "menu-highlight";

	  p.replaceChild(n, links[i]);
	  i--;
	}
    }
}