function changeFontSize(inc)
{
  var c = document.getElementById("content");
    c.style.fontSize = inc + 'px';
}