function increaseTextSize(current) {
  document.body.style.fontSize = ((10 * current.replace("em","")) + 1)/10 + 'em';
 }
function decreaseTextSize(current) {
  document.body.style.fontSize = ((10 * current.replace("em","")) - 1)/10 + 'em';
 }
