// JavaScript Document

function makeSelected() {
	navListObj = document.getElementById('mainNav');
	var buttons = navListObj.getElementsByTagName('a');
//	for(var no=0;no<buttons.length;no++){
//		buttons[no].onmouseover = mouseoverArticle;
//		buttons[no].onclick = selectArticle;
//	}

	buttons[page].style.backgroundColor = '#0B64A6';
}
window.onload = makeSelected;