initNav = function() {

    var navRoot = document.getElementById("top-nav");
    var lis = navRoot.getElementsByTagName("li");
    for (var i=0; i<lis.length; i++)
	{
	    lis[i].onmouseover = function()
		{
		    for (var j=0; j<lis.length; j++) {
			Element.removeClassName(lis[j],"hover");
		    }
		    this.className += " hover";
		}
	    lis[i].onmouseout = function()
		{
		    //			this.className = this.className.replace(" hover", "");
		}
	}
}

document.observe('dom:loaded', initNav);
