size=12;

function changeFont(dif) {
  newsize = size+dif;
  if (newsize <=20 && newsize>=10) {
    document.getElementById('main').className = "main_"+newsize;
    size = newsize;
  }
}