$(document).ready(function() {
	$("#texto *").css("font-size", "");
});

var size = 13;
						
function alteraFonte() {
	var texto = document.getElementById("texto");
	var childs = texto.childNodes;
	for(i=0; i<childs.length;i++) {
		if(childs[i].style != undefined) {
			childs[i].style.fontSize = size + "px";
		}
	}
}

function aumentaFonte() {
	if(size < 15) {
		size += 2;
		alteraFonte();
	}
}

function diminuiFonte() {
	if(size > 9) {
		size -= 2;
		alteraFonte();
	}
}