/*#############################################
#
#		JavaScript Font-Sizer
#		(c) 2008 by Lars Wissmann
#		state: 02.08.2008
#		version: 1.0.9
#	
##############################################*/

var min=8;
var max=18;

function increaseFontSize() {
	var p = document.getElementsByTagName('p');
	for(i=0;i<p.length;i++) {
		if(p[i].style.fontSize) {
			var s = parseInt(p[i].style.fontSize.replace("px",""));
		} 
		else {
			var s = 12;
		}
		if(s!=max) {
			s += 1;
		}
		p[i].style.fontSize = s+"px"
	}
}

function decreaseFontSize() {
	var p = document.getElementsByTagName('p');
	for(i=0;i<p.length;i++) {
		if(p[i].style.fontSize) {
			var s = parseInt(p[i].style.fontSize.replace("px",""));
		}
		else {
			var s = 12;
		}
		if(s!=min) {
			s -= 1;
		}
		p[i].style.fontSize = s+"px"
	}
}