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

@-moz-document domain("politechbot.com") {
pre {
  margin-left: 5px !important;
  margin-right: 5px !important;
}
}