body,
html body,
.mainbody {
  font-family: Arial, sans-serif;
  font-size: 11pt;
  color: #000000;
  background: transparent;
  padding: 0 !important;
  margin: 0.5em !important;
  border: none;
}
.mainbody a,
.footer a,
.credit a {
  border: none;
  display: inline;
}
#masthead {
  display: none;
}
.nocss {
  display: none;
}
#menu {
  display: none !important;
}
.footer,
.credit {
  margin: 0;
  padding: 1em;
}
.pagemenu {
  margin: 0;
  padding: 0;
}
.pagemenu a {
  text-decoration: none;
}
.mainbody .codeblock {
  font-size: 9pt;
}