function setFontSize(size)
	{
 		var content = document.getElementsByTagName('p');
 		for(var i = 0; i < content.length; i++) 
 		{
  			content[i].style.fontSize = size + "pt";
	        }
}