body {
  background-image: url("leftBorder.gif");
  background-repeat: repeat-y;
  padding-left: 30px;
}

h1 {
  color: #0071B3;
  background-image: url("title.png");
  background-repeat: no-repeat;
  height: 30px;
  padding-left: 300px;
  padding-top: 80px;
  margin-left: 10px;
}

h2 {
 color: #f57e20;
}

a {
  color: black;
}

pre {
  border: 3px double #f57e20;
  padding-left: .5em;
}

.warning {
  display: block;
  background-color: red;
  color: white;
}