// JavaScript Document


// extract the file name from a URL 
//("if input is /files/index.html", output is "index")

function extractPageName(hrefString)
{
	var arr = hrefString.split('/');
	return  (arr.length<2) ? hrefString : arr[arr.length-2].toLowerCase() + arr[arr.length-1].toLowerCase();               
}

// search through all the links in array, if one points to
// the same file, apply the class .current to it and to its parent
function setActiveMenu(arr, crtPage)
{
	for (var i=0; i<arr.length; i++)
	{
		if(extractPageName(arr[i].href) == crtPage)
		{
			if (arr[i].parentNode.tagName != "DIV")
			{
				arr[i].className = "selected";
				arr[i].parentNode.className = "selected";
			}
		}
	}
}

// call this method from your page
function setPage()
{
	hrefString = document.location.href ? document.location.href : document.location;

	if (document.getElementById("subNavContainer")!=null)
		setActiveMenu(document.getElementById("subNavContainer").getElementsByTagName("a"), extractPageName(hrefString));
}