function changeFontSize(inc) {
	var p = document.getElementsByTagName('p');
	for (n = 0; n < p.length; n++) {
		var size = (p[n].style.fontSize) ? parseInt(p[n].style.fontSize.replace("px", "")) : 12;
		p[n].style.fontSize = size + inc + 'px';
	}
}