// JavaScript Document
var cssArr=new Array();
cssArr['small']="/supporting_files/style/fontsize_small";
cssArr['medium']="/supporting_files/style/fontsize_medium";
cssArr['large']="/supporting_files/style/fontsize_large";
cssArr['small_rssi']="/supporting_files/style/fontsize_small_rssi";
cssArr['medium_rssi']="/supporting_files/style/fontsize_medium_rssi";
cssArr['large_rssi']="/supporting_files/style/fontsize_large_rssi";
function fontsizeChange(id, reg) {
  if(!document.getElementById) return;
  var element = document.getElementById("fontStyle");
  if(!element || !element.cloneNode) return;
  var new_node = element.cloneNode(true);
  new_node.href = cssArr[id] + "_" + reg + ".css";
  element.parentNode.replaceChild(new_node,element);
  return;
}