// JavaScript Document


function normalFontSize() {
  document.body.style.fontSize = "13px"  
  this.focus.blur
}

function biggerFontSize() {
  document.body.style.fontSize = "16px"  
}

function biggestFontSize() {
  document.body.style.fontSize = "18px"
}