// these are for tab rollovers- backed out for now
function highlightTab(theTab) {
	/*var theTab = document.getElementById(theTab);
	  theTab.className += " selectedTab"; // left cap
	  theTab.firstChild.className += " selectedTab"; // right cap
	  theTab.firstChild.firstChild.className += " selectedTab"; // mid*/
}
	
function unhighlightTab(theTab) {
	/*var theTab = document.getElementById(theTab);
	  
	  if(theTab.className.indexOf("selectedTab") >= 0) {
	  var selectedRemoved = theTab.className.substring(0, theTab.className.indexOf("selectedTab"));
	  theTab.className = selectedRemoved;
	  }
	  if(theTab.firstChild.className.indexOf("selectedTab") >= 0) {
	  var selectedRemoved = theTab.firstChild.className.substring(0, theTab.firstChild.className.indexOf("selectedTab"));
	  theTab.firstChild.className = selectedRemoved;
	  }
	  if(theTab.firstChild.firstChild.className.indexOf("selectedTab") >= 0) {
	  var selectedRemoved = theTab.firstChild.firstChild.className.substring(0, theTab.firstChild.firstChild.className.indexOf("selectedTab"));
	  theTab.firstChild.firstChild.className = selectedRemoved;
	  }*/
}