// change the color of the navigation links
function changeNavText(xid, xcolor){
	xnavitem = document.getElementById(xid);
	xnavitem.style.color = xcolor;
	xnavitem.style.textDecoration = "none";
}