var fs=0.9;

function changeFontSize(x)
{
  if(x==1)
  {
    fs=fs*1.2;
  }
  else
  {
    fs=fs*0.9;
  }
  document.getElementById('body').style.fontSize=fs+"em";
}