function setFontSize($size)
{
	var content = document.getElementsByTagName('body');
	for(var i = 0; i < content.length; i++)
	{
		content[i].style.fontSize = $size + '%';
	} // for
	if (getCookie('fontSize') != $size)
	{
		setCookie('fontSize', $size, 1);
	} // if
} // function