function setFontSize(size)
{
	setCookie("font", size);
	
	document.location.reload();
	
	return false;
}

function attachStyleSheet()
{
	var num = getCookie("font");
	if(num)
		document.write("<link rel=\"stylesheet\" type=\"text/css\" href=\"/include/pages/page-font-"+num+".css\">");
}


attachStyleSheet();