// JavaScript Document
// Tamanho

		var tam = 11;

		function tamanhoDaFonte( tipo ){
		  if( tipo == 'mais' ){
			if( tam < 16 ) tam += 2 ;
		  }else{
			if( tam > 9 ) tam -= 2 ;
		  }
		  if( document.getElementById( 'tamanhoDaFonte' ) )
			tamanhoDaFonteRecursiva( tipo , document.getElementById( 'tamanhoDaFonte' ) ) ;
		}

		function tamanhoDaFonteRecursiva( tipo , domElement ){
		  for( var i = 0 ; i < domElement.childNodes.length ; i++ ){
			tamanhoDaFonteRecursiva( tipo , domElement.childNodes.item( i )  ) ;
		  }
		  if( domElement.style )
			domElement.style.fontSize = tam+'px';
		}