/* ==================================================================================================== */
/* FUNCTION changeFontSize                                                                              */
/* ==================================================================================================== */

var fontSize = 1.1;
function changeFontSize(symbol,divbox) {
  if (symbol == "+") {
    fontSize += 0.1;
  } else {
    fontSize -= 0.1;
  }
  objDiv = document.getElementById(divbox);
  objDiv.style.fontSize = fontSize + "em";
}