// highlight any links to current page to orient the user

function currpage() {
	var a = document.links;
	for (var i=0; i<a.length; i++) {
		if (a[i].href == document.URL) {
			a[i].style.cursor = "default";
			a[i].style.color = "#FFFFE1";
			a[i].style.backgroundColor = "#004422";
			a[i].style.textDecoration = "none";
			a[i].title = "(You are at this page" 
			+ (a[i].title ? ": " + a[i].title : 
				(a[i].innerText ? ": " + a[i].innerText : "")) + ")";
		} else if (a[i].className.indexOf("external") > -1) {
			a[i].title += " (external link)";
		}
	}
}