// JavaScript Document

function small_size(){
   font_setting.style.fontSize="small";
}
function large_size(){
   font_setting.style.fontSize="large";
}