function alignNavigationText()
{
	var lis = document.getElementById("navigation").getElementsByTagName("li");
	for(var i = 0; i < lis.length; i++)
		lis[i].firstChild.firstChild.style.top = Math.floor((lis[i].firstChild.offsetHeight - lis[i].firstChild.firstChild.offsetHeight) / 2) + "px";
}