function setSize()
{   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) {
      p[i].style.fontSize = s+"em"
   }
}
   
function decreaseSize() {
    s -= 0.2;
    if (s<0){
        s=0;
    }
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) {
      p[i].style.fontSize = s+"em"
      var top_links = document.getElementsByName('links'); 
      for(j=0; j<top_links.length; j++){
          var exists = top_links[j].href.indexOf("size");
          if(exists<0){
            top_links[j].href += "?size="+s;
          }else{
            top_links[j].href = top_links[j].href.substring(0,exists);
            top_links[j].href += "size="+s;
          }
      }
   }   
}

function increaseSize() {
    s += 0.2;
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) {
      p[i].style.fontSize = s+"em"
      var top_links = document.getElementsByName('links'); 
      for(j=0; j<top_links.length; j++){
          var exists = top_links[j].href.indexOf("size");
          if(exists<0){
            top_links[j].href += "?size="+s;
          }else{
            top_links[j].href = top_links[j].href.substring(0,exists);
            top_links[j].href += "size="+s;
          }
      }
   }   
}