pre.html, pre.user, pre.author, pre.bad {
  margin: 1em 5%;
  border: medium solid;
  padding: 1em;
  white-space: pre; /* to make NN4 happy */
  font-family: "Courier New", Courier, monospace; /* to make NN4 happy */
  }

pre.html { border-color: maroon; }
pre.user { border-color: green; }
pre.author { border-color: blue; }
pre.bad { border-color: red; }

a.internal:link, a.internal:visited { text-decoration: underline; }