/**
 * Pull-out Menu
 * 
 * Based on Son of Suckerfish Menu (http://www.htmldog.com/articles/suckerfish/)
 * and modified to suit.
 * 
 * Facilitates :hover pseudo class for older WinIE browsers.
 */
legacy_nav_hover = function() 
{
	var navs = new Array('Navigation');
	for(var n = 0;n < navs.length;n++)
	{
		var nav = document.getElementById(navs[n]);
		if(!nav)
			continue;
		var sfEls = nav.getElementsByTagName("li");
		for(var i=0; i < sfEls.length; i++)
		{
			sfEls[i].onmouseover=function()
			{
				this.className += " hover";
			}
			sfEls[i].onmouseout=function()
			{
				this.className = this.className.replace(new RegExp("hover\\b"), "");
			}
		}
	}
}
if(window.attachEvent && navigator.userAgent.toLowerCase().indexOf('opera') == -1)
	window.attachEvent("onload",legacy_nav_hover);
