var x;

function highlight(span) {
	// highlight heading
	span.setAttribute("class", "highlightTitle");	
	x = span;
}

function unhighlight() {
	if (x)
		x.removeAttribute("class");
}

function highlight_link(a) {
	// find heading on current page
	dest = a.href.substr(0, a.href.indexOf("#"));
	page = location.href;
	if((i = page.indexOf("#")) >= 0)
		page = page.substr(0, i);
	if (dest == page) {
		id = a.href.substr(a.href.indexOf("#") + 1);
		unhighlight();
		highlight(document.getElementById(id).firstChild);
	}
}

function highlight_load() {
	// find heading on page load
	id = location.hash.substr(1);
	if (id) {
		highlight(document.getElementById(id).firstChild);
	}
}