function changeFontSize()
{
  var p = document.getElementsByTagName('html');
  for(n=0; n<p.length; n++) {
    if(p[n].style.fontSize) {
       var size = parseFloat(p[n].style.fontSize.replace("em", ""));
    } else {
       var size = 1;
   }
   var newSize;
   switch (size) {
       case 1:
           newSize = 1.17;
           break;
       case 1.17:
           newSize = 1.33;
           break;
       case 1.33:
           newSize = 1;
           break;
   }
    p[n].style.fontSize = newSize + 'em';
   }
}