// JavaScript Document



//aumenta o tamanho da fonte
var font = 14;
function tam(val){
	if(val=="mais"){
		font++;
	}else if(val=="normal"){
		font = 15;
	}else{ 
		font--;
	}
	$$('.texto').setStyle('font-size', font);	
	$$('.texto li').setStyle('font-size', font);
	$$('.texto a').setStyle('font-size', font);
	
}