if (document.getElementById && document.getElementsByTagName) {
	// establish the targets
	var container = document.getElementById('nav');
	var links = container.getElementsByTagName('a');
	// the container needs to be marked for css purposes since this js will execute
	container.className += " marked";
	// loop through the links
	for (var i=0; i<links.length; i++) {
		// find the link which is the same as the current page
		if (links[i].href == location.href) {
			// we have found our mark, disable its ability to link
			var mark = links[i];
			mark.onclick = function() { return false; };
			// find every parent of mark, all the way back to the container and class it
			while (mark != container) {
				mark.className += ' selected';
				mark = mark.parentNode;
			}
		}
	}
}