// Copyright 2003 Eddie Traversa
// http://www.dhtmlnirvana.com/
// free to use as long as this copyright notice stays intact
var tags = new Array( 'div','td','tr','p','b','table','strong','emphasis','a','h2','h3','h4','pre','sub','sup','i','th','cp','ul','ol','li','dt','dd');
var pixelArray =  new Array('9','10','12','13');
var initSize = getCookie('truefont');
  if (initSize == null){initSize=1;}
function fontSizer(inc,unit) {
  if (!document.getElementById)
  return;
  var size = initSize;
  size += inc;
  if (size<0) {size=0;alert("You are already at the minimum font size allowed.");}
  if (size>3) {size=3;alert("You are already at the maximum font size allowed.");}
  initSize=size;
  setCookie('truefont',size,'12/31/2099 11:59:59 PM','/');
  getBody = document.getElementsByTagName('body')[0];
  for (i = 0 ; i < tags.length ; i++ ) {
    getallTags = getBody.getElementsByTagName(tags[i]);
  for (k = 0 ; k < getallTags.length ; k++)
    getallTags[k].style.fontSize = pixelArray[size]+'px';
  }
}
function setCookie(name, value, expires, path, domain, secure) {
  var curCookie = name + "=" + escape(value) +
      ((expires) ? "; expires=" + expires : "") +
      ((path) ? "; path=" + path : "") +
      ((domain) ? "; domain=" + domain : "") +
      ((secure) ? "; secure" : "");
  document.cookie = curCookie;
}
function getCookie(name) {
  var dc = document.cookie;
  var prefix = name + "=";
  var begin = dc.indexOf("; " + prefix);
  if (begin == -1) {
    begin = dc.indexOf(prefix);
    if (begin != 0) return null;
  } else
    begin += 2;
  var end = document.cookie.indexOf(";", begin);
  if (end == -1)
    end = dc.length;
  return unescape(dc.substring(begin + prefix.length, end));
}
function sfs(){
  if (!document.getElementById)
  return;
  var size = getCookie('truefont');
  if (size == null){size=1;}
  getBody = document.getElementsByTagName('body')[0];
  for (i = 0 ; i < tags.length ; i++ ) {
  getallTags = getBody.getElementsByTagName(tags[i]);
  for (k = 0 ; k < getallTags.length ; k++)
    getallTags[k].style.fontSize = pixelArray[size]+'px';
  }
}