function fontsize(s) {
		
	var size=new Array();
	size[1]="63";
	size[2]="70";
	size[3]="80";

	document.body.style.fontSize = size[s]+'%';
	setCookie('fscookie',size[s],null,'/');

/* 
	This doesn't save it to a cookie or anything like that. 
	This fact is a bit rubbish considering the "usefulness" of the feature.

*/

}




function setCookie(name, value, expires, path, domain, secure) {
  var curCookie = name + "=" + escape(value) +
      ((expires) ? "; expires=" + expires.toGMTString() : "") +
      ((path) ? "; path=" + path : "") +
      ((domain) ? "; domain=" + domain : "") +
      ((secure) ? "; secure" : "");
  document.cookie = curCookie;
}

function paintZebra()
  { tables = document.getElementsByTagName("table");
    for(j=0; j<tables.length; j++)
//      if (tables[j].className.indexOf('zebra') > -1) // if the classname includes 'zebra'
      { for (k=0; k<tables[j].rows.length; k=k+2)
        {
          tables[j].rows[k].className='even';
        }
    }
  }