var buttons = new Array;

var NavButton = Class.create();

NavButton.prototype = {
	initialize: function(srcElement) {
		if(srcElement.href == window.document.baseURI) { 
			Element.addClassName(srcElement, 'menu-item-selected'); 
			Element.addClassName(srcElement, 'hilite');
		}
		else {
			srcElement.onmouseover = this.hilite.bind(srcElement);
			srcElement.onmouseout = this.unhilite.bind(srcElement);
		}
	},

	hilite: function() {
		/*if(!Element.hasClassName(this, "hilite")) {*/
			Element.addClassName(this, "hilite"); 
		/*}*/
	},

	unhilite: function() {
		/*while(Element.hasClassName(this, "hilite")) {*/
			Element.removeClassName(this, "hilite");
		/*}*/
	}

}

window.onload = function () {
	var menulinks = $A($("menu").getElementsByTagName('a'));
	var i;
	menulinks.each(function (linkElement) { 
		Element.addClassName(linkElement, 'button'); 
		if(Element.hasClassName(linkElement, 'menu-item-selected')) { 
			Element.addClassName(linkElement, 'hilite');
		}
	})

	var links = $A(document.links);

	links.each(function(linkElement) {
	    if(Element.hasClassName(linkElement, 'button') && (! Element.hasClassName(linkElement, 'hilite')) ) {
			buttons.push(new NavButton(linkElement));
	    }
	})
}