// JavaScript Document
function fontSize(fontsize) {
   document.getElementById("body").className = fontsize;
   return false;
}