//**************Adds mouseover color to downlevel IE versions*************
document.onmouseover = gettingHot;
document.onmouseout = gettingCold;
function gettingHot(){
	var e = window.event.srcElement;
	if(e.className.indexOf('ToC') != -1){
		e.style.color = "#3768B9";
		e.style.textDecoration = "UNDERLINE";}}
function gettingCold(){
	var e = window.event.srcElement;
	if(e.className.indexOf('ToC') != -1){
		e.style.color = "#3768B9";
		e.style.textDecoration = "NONE";}}