if(document.getElementById && document.all && navigator.userAgent.indexOf("Opera")<0){
var obj = document.getElementById("navi-container");
obj.innerHTML = obj.innerHTML.replace(/<dl>/gi,"<dl onmouseover='pull(this)' onmouseout='pull(this)'>");
}

function pull(obj){
	for(var i=0;i<obj.childNodes.length;i++) {
		if(obj.childNodes[i].nodeName.toUpperCase()=="DD") {
			obj.childNodes[i].style.display=obj.childNodes[i].style.display=="block"?"none":"block";
		}
	}
}