// Change the font of any control on the page
 

function changeFontSize(inc)
{
  var p = document.getElementsByTagName("body");
  for(n=0; n<p.length; n++) {
    if(p[n].style.fontSize) {
       var size = parseInt(p[n].style.fontSize.replace("px", ""));
    } else {
       var size = 13;
    }
	if (size<10) { size=10 }
	if (size>22) { size=22 }
    p[n].style.fontSize = size+inc + 'px';
   }
}