function larger(){   fontsize.style.fontSize="100%";}
function standard(){   fontsize.style.fontSize="90%";}
function smaller(){   fontsize.style.fontSize="80%";}