var x = 100;
function larger(){
	var y = x*1.2; document.body.style.fontSize = y + '%';
}
function smaller(){
	var y = x/1.2; document.body.style.fontSize = y + '%';
}
function reset(){
	document.body.style.fontSize='87.5%';
}