function setFontSize(s) {
   var p = document.getElementsByTagName('body');
   
   for(i=0;i<p.length;i++) {
      p[i].style.fontSize = s+"px"
   }   
}
$(document).ready(function(){
$("#A_normal").click(function(event){setFontSize(11);}); 
$("#A_grande").click(function(event) {setFontSize(12);});
$("#A_muygrande").click(function(event) {setFontSize(13);});
 });