function setTabStyle (elementId, styleName) {
		document.getElementById(elementId).className = styleName;
	}