// set right vertical bar height
if (document.getElementById("body_content") && document.getElementById("body_content").offsetHeight < 250)
document.getElementById("body_content").style.height = "250px" // 15px less because of padding-bottom in style sheet

// give alternating colors to tables with the regTbl class
if(document.getElementsByTagName){
	var el = document.getElementsByTagName("TR");
	for(var i=0; i < el.length; i++){
		if(el[i].parentNode.parentNode.className.indexOf("regTbl") != -1){
			if(i%2 == 1){el[i].className = "rowOdd";} 
			else {el[i].className = "rowEven";}
		}
	}
}