@-moz-document url-prefix(http://hg.mozilla.org/mozilla-central/rev/),
               url-prefix(https://hg.mozilla.org/mozilla-central/rev/),
               url-prefix(http://hg.mozilla.org/integration/fx-team/rev/),
               url-prefix(https://hg.mozilla.org/integration/fx-team/rev/),
               url-prefix(http://hg.mozilla.org/integration/mozilla-inbound/rev/),
               url-prefix(https://hg.mozilla.org/integration/mozilla-inbound/rev/),
               url-prefix(http://hg.mozilla.org/releases/mozilla-aurora/rev/),
               url-prefix(https://hg.mozilla.org/releases/mozilla-aurora/rev/),
               url-prefix(http://hg.mozilla.org/releases/mozilla-beta/rev/),
               url-prefix(https://hg.mozilla.org/releases/mozilla-beta/rev/),
               url-prefix(http://hg.mozilla.org/releases/mozilla-release/rev/),
               url-prefix(https://hg.mozilla.org/releases/mozilla-release/rev/) {

  /* These are for the old representation.
  .page_body > pre > span:nth-child(1) {
    border-top: 1px solid #cccccc !important;
  }

  .page_body > pre > span:nth-child(1),
  .page_body > pre > span:nth-child(2) {
    background-color: #eeeeee !important;
    padding-right: 5em !important;
  }

  .page_body > pre {
    margin-top: 1em !important;
  }
  */

  /* For the new representation, as of roughly 2015/12/22 or before. */

  .diffblock {
    margin-top: 1em !important;
  }

  .diffblock > .sourcelines > a:nth-child(1),
  .diffblock > .sourcelines > span:nth-child(2) {
    border-top: 1px solid #cccccc !important;
  }

  .diffblock > .sourcelines > a:nth-child(1),
  .diffblock > .sourcelines > span:nth-child(2),
  .diffblock > .sourcelines > a:nth-child(3),
  .diffblock > .sourcelines > span:nth-child(4) {
    background-color: #eeeeee !important;
  }

}