window.onload = function() {
	var page_link = document.getElementById("nav-" + thisPage);
	if (page_link != null) {
		page_link.style.color = "#339900";
	}
	
	if (typeof(subPage) != "undefined") {
		var sub_link = document.getElementById("sub-" + subPage);
		if (sub_link != null) {
			sub_link.style.textDecoration = "underline";
		}
	}
}