last_section = false;

function highlight_text(section) {
	lowlight_text();
	last_section = document.getElementById(section);
	last_section.style.backgroundColor = "#dddddd";
	document.location = "#" + section;
}

function lowlight_text() {
	if (last_section) {
		last_section.style.backgroundColor = "#ffffff";
		last_section = false;
	}
}

function nav_top() {
	lowlight_text();
	document.location = "#top";
}