// Switch Font Size
var fontSizes = new Array();
fontSizes[0] = '63%';
fontSizes[1] = '73%';
fontSizes[2] = '83%';
var currentSize = 0;

function fontBigger() {
   if(currentSize < 2){
      currentSize++;
      document.getElementById('body').style.fontSize = fontSizes[currentSize];
   }
}
function fontSmaller() {
   if(currentSize > 0){
      currentSize--;
      document.getElementById('body').style.fontSize = fontSizes[currentSize];
   }
}