function toggleFontSize(type)
{
  if (type == 'small') {
    document.body.style.fontSize = '0.75em';
  } else if (type == 'medium') {
    document.body.style.fontSize = '0.90em';
  } else {
    document.body.style.fontSize = '1.20em';
  }
}