var size = 10;
       
      
       function enlargeFont()
       {
               size++;
               
               document.body.style.fontSize=size.toString()+"px";
             
             var news = document.getElementById("news");
             
             var newsElements = news.getElementsByTagName("td");
             
             for(var i=0;i<newsElements.length;i++)
               
               newsElements[i].style.fontSize=size.toString()+"px";

       }
       
       function diminishFont()
       {
           size--;
           
           document.body.style.fontSize=size.toString()+"px";
           
           var news = document.getElementById("news");
         
         var newsElements = news.getElementsByTagName("td");
         
         for(var i=0;i<newsElements.length;i++)
           
           newsElements[i].style.fontSize=size.toString()+"px";
        
       }