// JavaScript Document
function fontZoom(size)
{
 document.getElementById("fontzoom").style.fontSize=size+"px"
}