/* IndexTabHighlight.js -- Highlight a tab on a horizontal tab bar */

/* Highlight a tab by changing the style class for the table containing a tab */
/*	
	tabID				ID of a table containing a tab
	highlightOption		0 = mouseout (remove highlight),
						1 = mouseover (apply highlight),
						2 = highlight the currently selected tab
*/

function highlightTab (tabID, highlightOption)

{
	/* Do not change highlight from the tab for the current web page */
	// The getDefaulttabID function is defined in IndexColumn.inc
	if (getDefaultTabID()==tabID && highlightOption!=2) return 

	/* Change the class of the table containing the tab */
	var newClassName = "tabmouseout";
	if (highlightOption == 2) 
		newClassName = "tabselected";
	else {
		if (highlightOption == 1) 
			newClassName = "tabmouseover";
	}
	getObjectID(tabID).className = newClassName;
	return
}