//Gustavo Vieira Lage - Ferramenta para aumentar e reduzir o tamanho da fonte 




	    var tagAlvo = new Array('p'); //pega todas as tags p//

        // Especificando os possíveis tamanhos de fontes, poderia ser: x-small, small...
        var tamanhos = new Array('10px','11px','12px', '13px', '14px', '15px', '16px', '17px', '18px');
        var tamanhoInicial = 2;

        function mudaTamanho(acao) {


            if (!parent.frames.principal.document.body) return
            var selecionados = null, tamanho = tamanhoInicial, i, j, tagsAlvo;
            tamanho += acao;
            if (tamanho < 0) tamanho = 0;
            if (tamanho > 8) tamanho = 8;
            tamanhoInicial = tamanho;
            if (!(selecionados = parent.frames.principal.document.body)) selecionados = parent.frames.principal.document.body[0];
			
          
			selecionados.style.fontSize = tamanhos[tamanho];
			

            for (i = 0; i < tagAlvo.length; i++) {
                tagsAlvo = selecionados.getElementsByTagName(tagAlvo[i]);
                for (j = 0; j < tagsAlvo.length; j++) tagsAlvo[j].style.fontSize = tamanhos[tamanho];
            }
        }
        // Fim do código de Aumentar/ Diminuir a letra -->