//Configuration Parameters
//-----------------------------------------------
var DirectoryName = "type";
var NonHighlightedItemClassName = "btnoff";
var HighlightedItemClassName = "btnon";
var NonHighlightedSectionClassName = "navigation_section_off";
var HighlightedSectionClassName = "navigation_section_on";
//-----------------------------------------------
//end of configuration parameters
var dir = location.href.substring(0,location.href.lastIndexOf('/')+1);
var fullfilename = location.href.substring(dir.length,location.href.length+1);
var myfilename = fullfilename.substring(0,fullfilename.lastIndexOf('.'));

function HighlightMenu() {
	//alert(document.getElementById(myfilename));
	if (typeof document.getElementById(myfilename) != "undefined" && document.getElementById(myfilename) != null ) {
		if (document.getElementById(myfilename).nodeName=="LI") {
	      	var obj = document.getElementById(myfilename);
			if(obj.className==NonHighlightedItemClassName) {
				obj.className = HighlightedItemClassName;
				if(obj.parentNode.parentNode.className == NonHighlightedSectionClassName) {
					obj.parentNode.parentNode.className = HighlightedSectionClassName;
				}
			}
		}
	}	
}