// JavaScript Document
var tamanho = 12;
function diminuir(){
	--tamanho;
	if(tamanho < 9)
		tamanho = 9
	var t = document.getElementsByTagName("div");
	for(j=0;j<t.length;j++){
		if(t[j].className == 'texto' || t[j].id == 'texto'){
			t[j].style.fontSize = tamanho + 'pt';
			var m = t[j].getElementsByTagName("span");
			for(x=0;x<m.length;x++){
				if(m[x].className == 'marcador')
					m[x].style.fontSize = (tamanho+2) + 'pt';
			}
		}
}
}
function aumentar(){
	++tamanho;
	if(tamanho > 15)
		tamanho = 15;
	var t = document.getElementsByTagName("div");
	for(j=0;j<t.length;j++){
		if(t[j].className == 'texto' || t[j].id == 'texto'){
			t[j].style.fontSize = tamanho + 'pt';
			var m = t[j].getElementsByTagName("span");
			for(x=0;x<m.length;x++){
				if(m[x].className == 'marcador')
					m[x].style.fontSize = (tamanho+2) + 'pt';
			}
		}
	}
}