function highlight_on (obj) {
	obj.style.border  = '1px solid #222';	
}

function highlight_off (obj) {
	obj.style.border  = '1px solid black';
}
function display(id) {
		var elt = document.getElementById(id);
		if (elt.style.display != 'inline') {
			elt.style.display = 'inline';
		} else {
			elt.style.display = 'none';
		}
}

/*from http://www.htmldog.com/articles/suckerfish/dropdowns/ */
sfHover = function() {
	var sfEls = document.getElementById("nav").getElementsByTagName("LI");
	for (var i=0; i<sfEls.length; i++) {
		sfEls[i].onmouseover=function() {
			this.className+=" sfhover";
		}
		sfEls[i].onmouseout=function() {
			this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
		}
	}
}
if (window.attachEvent) window.attachEvent("onload", sfHover);