// adds/removes background separator if navigation items change position due to increased or decreased text size

//navPos = function() {
//	var navLis = document.getElementById("mainnav").getElementsByTagName("LI");
//	for (var i=1; i<navLis.length; i++) {
//		if (navLis[i].offsetTop != navLis[i-1].offsetTop)
//		navLis[i-1].className+=" last";
//	}
//}
//if (window.attachEvent) window.attachEvent("onload", navPos);