function change_fs(value, idToChange, classNameReset, idNameHighlight) {
  $(idToChange).setStyle('fontSize', value);
  
  $$(classNameReset).each(function(el) {
    el.setStyle('textDecoration', 'none');
  });
  
  $(idNameHighlight).setStyle('textDecoration', 'underline');
  

}