.banner {
  color: black;
  background-color: #EDD097;
  font-family: times new, times, serif;
}

div.relhistory {
  margin: 1em 3em;
}

div.relhistory dl dt {
  font-weight: bold;
  font-family: courier new, mono, fixed;
}