// JavaScript Document

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 = 13;
		}

		p[n].style.fontSize = size+inc + 'px';
	}
}


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

	for(n=0; n<p.length; n++) {
		var size = 14;
		p[n].style.fontSize = size + 'px';
	}
}