pct=100;function incrementa(a){x=document.getElementById(a);pct+=10;x.style.fontSize=pct.toString()+"%"}function decrementa(a){x=document.getElementById(a);pct-=10;x.style.fontSize=pct.toString()+"%"}function restaura(a){x=document.getElementById(a);pct=100;x.style.fontSize=pct.toString()+"%"};