function changeFontSize (fontSize, url) {
  switch (fontSize)
     {
      case 1 : setActiveStyleSheet('smallfont', url); break;
      case 2 : setActiveStyleSheet('mediumfont', url); break;
      case 3 : setActiveStyleSheet('largefont', url); break;
     }
}
function setActiveStyleSheet (cssFileName, url) {

   href = url + '/Style/Default/css/' + cssFileName + '.css';
   //document.getElementsByTagName("body").style="font-size:200%;";
   document.getElementById ("bodyCSS").href = href;
   return null;
}