function fixIE()  // mimic the :hover pseudo-class for IE
	{
	var sfEls = document.getElementById("nav").getElementsByTagName("li");
	for (var i = 0; i < sfEls.length; i++)
		{
		sfEls[i].onmouseover = function() { this.className+=(this.className.length>0? " ": "") + "hoverIE"; }
		sfEls[i].onMouseDown = function() { this.className+=(this.className.length>0? " ": "") + "hoverIE"; }
		sfEls[i].onMouseUp   = function() { this.className+=(this.className.length>0? " ": "") + "hoverIE"; }
		sfEls[i].onmouseout  = function() { this.className=this.className.replace(new RegExp("( ?|^)hoverIE\\b"), ""); }
		}
	}
	
window.onload = fixIE;