BODY {
  background-color: white;
  color: black;
}

B {
  color: grey20;
}

H1, H2, H3 {
  color: #0090e0;
  text-shadow: black;
}

PRE, .pre {
  background: url(pre.png) repeat-y;
  padding: 10px 10px 10px;
}

.pre > H1 {
  margin-top: 0px;
}

U {
  color: #0090e0;
  text-decoration: none;
}

HR {
  width: 33%;
  horizontal-align: left;
}