/*Redimensionar fonte*/
function sizeFont(elem, acao){

	// tamanho inicial da fonte (em px)
	var tamInic = 12;	
	// Tamanho mínimo da [b]fonte (em px)
	var tamMin = 12;	
	// Tamanho máximo da fonte (em px)
	var tamMax = 20;
	
	// Pega o tamanho da fonte. Se não foi setada ainda (primeira vez que a função é executada) terá como tamanho padrão 'tamInic'.
	if (document.getElementById(elem).style.fontSize == "") {
		var tamFonte = tamInic;		
	}else{
		var tamFonte = parseInt(document.getElementById(elem).style.fontSize);
	}
	
	switch (acao){
		// Aumenta o tamanho, enquanto foi menor que 'tamMax'
		case '+':
			if (tamFonte < tamMax)
				document.getElementById(elem).style.fontSize = (tamFonte + 2) + "px";
		break;
		
		// Diminui o tamanbo, enquanto for maior que 'tamMin'
		case '-':
		
			if (tamFonte > tamMin)
				document.getElementById(elem).style.fontSize = (tamFonte - 2) + "px";
		break;
	}
}

/*Redimensionar fonte*/
function data(){

	var mydate=new Date()
	var year=mydate.getYear()
	if (year<2000)
		year += (year < 1900) ? 1900 : 0
		var day=mydate.getDay()
		var month=mydate.getMonth()
		var daym=mydate.getDate()
		if (daym<10)
			daym="0"+daym
			var montharray=new Array(" de Janeiro de "," de Fevereiro de "," de Março de ","de Abril de ","de Maio de ","de Junho de","de Julho de ","de Agosto de ","de Setembro de "," de Outubro de "," de Novembro de "," de Dezembro de ")
			document.write("Campinas, "+daym+" "+montharray[month]+year+" ")
					
}