function getCurrentPageAndHighlightTab() {
	var nav = document.getElementById("nav");  // get the navigation div
	var navList = nav.getElementsByTagName("a"); // get all links in the nav bar
	for(i = 0; i < navList.length; i++) {
		if(document.title.indexOf(navList[i].innerHTML) >= 0) {
			navList[i].className = "current"; // if the link text matches a part of the doc title, assign the current class
		} else {
			navList[i].className = "bg";  // otherwise, assign the bg class
		}
	}
}

function alternateHighlighting(targetDivID) {
	var container = document.getElementById(targetDivID);  // get the container div
	var d = container.getElementsByTagName("div");  // get all divs in the container
	for(i = 0; i < d.length; i++) {
		if(i % 2 != 0) {
			d[i].className += " alt";  // assign an additional alt class to every other person
		}
	}
}