//The purpose of this script is to highlight the menu item
//of the current page.

// Jim Bremer 11-15-2007

function highLightMenu()
{
	var file_name = document.location.href;

	y = document.getElementsByTagName('a');
	//cycle through each <a> tag in the doc, checking if its href = the name of the current file
	//then sets its class to "selected"
	for(var i=0; i<y.length; i++)
	{
	  if(y[i].href == file_name)
	  {
	 	y[i].className = "selected";
	  }
	}
}