var minTextSize = 8;
var maxTextSize = 18;

function changeTextSize(change) {
  var content = document.getElementById('content');
  if (content.style.fontSize) {
    var size = parseInt(content.style.fontSize.replace("px",""));
  }
  else {
    var size = 12;
  }
  if (change == 1 && size != maxTextSize) {
    size += 1;
  }
  else if (change == -1 && size != minTextSize) {
    size -= 1;
  }
  content.style.fontSize = size + "px";
}
function increaseTextSize() {
  changeTextSize(1);
}
function decreaseTextSize() {
  changeTextSize(-1);
}