// JavaScript Document
function setLink(link_num)
{
	if(navigator.userAgent.toLowerCase().indexOf('chrome') > -1 ||
	   navigator.userAgent.toLowerCase().indexOf('firefox') > -1)
	{
		document.getElementById("nav_pointer").style.top = (8 + link_num * 31) + "px";
	} else {
		document.getElementById("nav_pointer").style.top = (17 + link_num * 30.5) + "px";
	}
}