var tamanho = 12;

function aumenta()
{              
	if(tamanho<15)
	{
		tamanho = tamanho + 1;   
		document.body.style.fontSize = tamanho+"px";            
	}
}
function diminui()
{
	if(tamanho>9)
	{
		tamanho = tamanho - 1;
		document.body.style.fontSize = tamanho+"px";            
	}
}
function normal()
{
	document.body.style.fontSize = "70%";
	tamanho = 12;
}