// JavaScript Document
function setfont(a) {
	if (a == "normal") { 
		document.getElementById("conteudo").style.fontSize = "100%";
}
	else if (a == "medio") { 
		document.getElementById("conteudo").style.fontSize = "130%";
	}
	else if (a == "grande") { 
		document.getElementById("conteudo").style.fontSize = "150%";
	}
}