// highlight current page in left navigation
addListener('load', window, function() {
	var  anchors = document.getElementById("sidenav").getElementsByTagName("A");
	for (var i = 0; i < anchors.length; i++)
		if (anchors[i].href.indexOf(location.href) == 0) {
			addClass(anchors[i], 'currentPage');
			break;
		}
});

function addListener(eType,el,func){if (window.addEventListener) el.addEventListener(eType,func,false);else if (window.attachEvent) el.attachEvent('on' + eType,func);}
function addClass(el,cname){el.className=el.className+" "+cname;}