function setLargeFont(){
  Element.setStyle('body', 
  { 
	"font-size" : "90%"
  });
}
//文字サイズ中ファンクション
function setMidStyle(){
  Element.setStyle('body', 
  { 
	"font-size" : "75%"
  });
}
//文字サイズ小ファンクション
function setSmallStyle(){
  Element.setStyle('body', 
  { 
	"font-size" : "60%"
  });
}