body {
  background-color: white;
  padding: 0;
  margin: 5px;
  font-size: 12px;
  font-family: verdana,arial,geneva,Helvetica,"adobe-helvetica","Arial Narrow",sans-serif;
}

dt {
  font-weight: bold;
}

dd, ol {
  margin-top: 1em;
  margin-bottom: 1em;
}

dfn {
  font-weight: bold;
  font-style: normal;
}

.error {
  margin: 0 1em;
  font-weight: bold;
}

.bold {
  font-weight: bold;
}

.red {
  color: red;
}