function switchFontSize() {
  var c = readCookie('wstyle'); 
  setActiveStyleSheet(c == 'Large Text' ? 'Small Text' : 'Large Text', 1);
  return false;
}

function setFontSize() {
  var c = readCookie('wstyle'); 
  if (c != null) setActiveStyleSheet(c, 1);
}