function navHighlight(topPos) {
	if (topPos == 'restore') {
		document.getElementById('nav').style.backgroundPosition = '-0px -30px';
	} else {
		document.getElementById('nav').style.backgroundPosition = '0px ' + topPos + 'px';
	}
}