if (navigator.userAgent.indexOf("Firefox") != -1) {
  document.write("<style>p { margin-top: 0; margin-bottom: 0; } p + p { margin-top: 1em; }</style>");
}