function navHighlighter() {
	var x = document.getElementById( "nav" ).getElementsByTagName( "LI" );
	for ( var i = 0; i < x.length; i++ ) {
		if ( x[i].className == "section" ) {
			x[i].onmouseover = function() {
				this.className += " hovered";
			}
			
			x[i].onmouseout = function() {
				this.className = this.className.replace( new RegExp( "hovered\\b" ), "" );
			}
		}
	}
}

window.onload = function() { navHighlighter(); }