body {
  font-family: monospace; 
  background-color: #FFFFFF;
}
.small {
  font-size:70%;
}
h3 {
  margin-bottom:5px;
  padding-bottom:0px;
}
ul {
  margin-top:5px;
  padding-top:5px;  
}
li.bad {
  color:red;
  font-weight:bold;
}