//Xhover script
/* code to allow an xhover class for IE */

xhover = function() {
    var xEls = document.getElementById("nav_panel").getElementsByTagName("LI");
    for (var i=0; i<xEls.length; i++) {
        xEls[i].onmouseover=function() {
            this.className+=" xhover"; 
        }
        xEls[i].onmouseout=function() {
            this.className=this.className.replace(new RegExp(" xhover\\b"), "");
        }
    } 
}
if (window.attachEvent) window.attachEvent("onload", xhover);