function changeFontSize(inc){  
var p = document.getElementsByTagName('p');  

for(n=0; n<p.length; n++) {
	if(p[n].style.fontSize) { 
		var size = parseInt(p[n].style.fontSize.replace("px", ""));
	} else { 
		var size = 12;   
	}    
	p[n].style.fontSize = size+inc + 'px';   
	}
}