function fontSize(num) {
  var fonts = Array('10px','12px','14px','16px','18px');
  var btns = document.getElementById("fontsize").getElementsByTagName("span");			
  var numBtns = btns.length;
  for (i=0; i < numBtns; i++) {
    if (i == num) {
      btns[i].className = "box on";
    } else {
      btns[i].className = "box off";
    }
  }
  document.getElementById("story-pages").style.fontSize = fonts[num];
}