function setFontsizeS(){
  document.getElementById('beta').style.fontSize = '1.0em';
}
function setFontsizeM(){
  document.getElementById('beta').style.fontSize = '1.1em';
}
function setFontsizeL(){
  document.getElementById('beta').style.fontSize = '1.2em';
}