function highlight_current_page() {
	var sPath = window.location.pathname;
	var sPageWithExt = sPath.substring(sPath.lastIndexOf('/') + 1)
	var sPage = sPageWithExt.substring(0, sPageWithExt.indexOf('.'))
	var title = document.getElementById("nav_" + sPage)
	title.className = "topNavActive"
}
highlight_current_page()