function changeFontSize(inc)
{
var items = new Array("p", "h1", "h2", "h3");
for(i=0; i<items.length; i++) {
  var tag = document.getElementsByTagName(items[i]);
 
  for(n=0; n<tag.length; n++) {
    if(tag[n].style.fontSize) {
       var size = parseInt(tag[n].style.fontSize.replace("px", ""));
    } else {
       var size = 12;
    }
    tag[n].style.fontSize = size+inc + 'px';
	tag[n].style.lineHeight = size+4 + 'px';
	
   }
}
 }