// fixes font sizes in Mozilla

var agt=navigator.userAgent.toLowerCase();

if ( (agt.indexOf("msie") == -1) && (agt.indexOf("opera") == -1) ) {

  document.write('<style type="text/css">');
  document.write('body { font-size: medium; }');
  document.write('h2 { font-size: x-large; }');
  document.write('#head,div.update { font-size: small; }');
  document.write('</style>');

}