p { text-indent: 0; margin-top: 0; margin-bottom: 0; }
pre { font-family: monospace; }
div.banner {
  margin: 0;
  text-align: left;
}