/*
* Display Webmaster email address, in Javascript so it can't be read by spamming programs
*/
	function sm(name, domain, display) {
		
		displayed=(typeof(display)=="undefined") ? name+"@"+domain : display
		document.write('<a class=g href=mailto:' + name + '@' + domain + '>' + display + '</a>');

	}


  function font_size(increase) {
   fsize = document.getElementById('maintext').style.fontSize;
   fsize = fsize.slice(0,-2);

   if(fsize<13) {
     fsize = 11;
   }

   if (increase == true) {
        fsize ++;
        fsize ++;
   } else {
        fsize--;
        fsize--;
   }
    document.getElementById('maintext').style.fontSize = fsize+'px';
  }