var currentsize = 0;
var sizes = new Array("72%","90%","110%","130%","150%","180%");

function bigger(){
	if (currentsize < 5){
		currentsize++;
		document.body.style.fontSize = ""+sizes[currentsize]+"";
	}
}

function smaller(){
	if (currentsize > 0){
		currentsize--;
		document.body.style.fontSize = ""+sizes[currentsize]+"";
	}
}

function defaultsize(){
	currentsize = 0;
	document.body.style.fontSize = ""+sizes[0]+"";
}