// JavaScript Document
function setFont(font)
{
	content.style.fontSize=font+"pt";
}

function fontZoom(size)
{
   content.style.fontSize=size+'px';
}