<!-- ----------------- Mouse over functions Start ----------------- -->

ua=  navigator.userAgent;
v = navigator.appVersion.substring(0,1);

if ((ua.lastIndexOf("MSIE")!=-1) && (v!='1') && (v!='2') && (v!='3')) 
{
    document.body.onmouseover=makeCoolBody;
    document.body.onmouseout=makeNormal;
}

function makeCoolBody() 
{
    src = event.toElement;

    if (document.thisform.name == "HTMLReference" && src.id == "HTMLCategory")
    {
		if (src.tagName == "A") {
			src.oldcol = src.style.color;
				
			src.style.color = "red";
		}
	}
	else {
		if (src.id == "HTMLTag") 
		{
			if (src.tagName == "A") {
				src.oldcol = src.style.color;
				
				src.style.color = "red";
			}
		}
	}
}

function makeNormal() 
{
    src = event.fromElement;
    
    if (document.thisform.name == "HTMLReference" && src.id == "HTMLCategory")
    {
		if (src.id == "HTMLTag") 
		{
			if (src.tagName == "A") {
			    src.style.color = src.oldcol;
			}
		}
	}
	else {
		if (src.id == "HTMLTag") 
		{
			if (src.tagName == "A") {
			    src.style.color = src.oldcol;
			}
		}
	}
}

<!-- ----------------- Mouse over functions End ------------------- -->