// JavaScript Document

function switchTopnavOn(navID) { // used to switch rightnav tabs on
	el = document.getElementById(navID);
	el.style.color = '#FFF';
	el.style.backgroundColor = '#5b5b52';
}