@namespace url(http://www.w3.org/1999/xhtml);

@-moz-document domain("php.net") {


  code, pre, tt {
      font-family: "Lucida Console", "Bitstream Vera Sans", Monospace !important;
      font-size: 10pt !important;
  }

}