// required: mootools.js
window.addEvent('domready', function(){
	var list = $$('.navText');
	var tLoc = ''+window.location;
	if (tLoc.charAt(tLoc.length-1) == '/') { tLoc = window.location + 'index.html'; }
	tLoc = tLoc.substr(tLoc.lastIndexOf("/")+1); tLoc = tLoc.substr(0,tLoc.indexOf(".")); // take last part of url, then first part before "."
	list.each(function(element) {
		var tHref = element.href.substr(element.href.lastIndexOf("/")+1); tHref = tHref.substr(0,tHref.indexOf("."));
		if(tHref == tLoc) {
			element.addClass('selected');
		}
	});
});