var tamanhos = new Array( '9px','10px','11px','12px','13px','14px','15px','17px','20px' );
var tamanhoInicial = 4;

function mudaTamanho(idAlvo,acao){
	if (!document.getElementById) return;
	var selecionado = null,tamanho = tamanhoInicial;
	tamanho += acao;
	if ( tamanho < 0 ) tamanho = 0;
	if ( tamanho > 8 ) tamanho = 8;
	tamanhoInicial = tamanho;
	selecionado = document.getElementById(idAlvo);
	selecionado.style.fontSize = tamanhos[tamanho];
}