function changeFont(file_name){
      var path="http://portal.chronos.org:8080/gridsphere/html/";      
      var css_link = path+file_name;
      var elt = document.getElementById("font"); 
      elt.href=css_link;
 }