<!--
var index=10;
var mais=1;
var menos=0;

function zoom(how) {

	if ((index<=20)&&(how==1)) index++;
    	if ((index>8)&&(how==0)) index--;

	x = document.getElementsByTagName("font");
	for(i=0;i<x.length;++i){
		x[i].style.fontSize = index+1;
		x.innerHTML;
	}
}