/*
     FILE ARCHIVED ON 1:18:56 Aug 22, 2006 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 5:30:20 Jul 19, 2011.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
if (navigator.userAgent.indexOf("Firefox") != -1) {
  document.write("<style>p { margin-top: 0; margin-bottom: 0; } p + p { margin-top: 1em; }</style>");
}