body {
  font-size: 100%;
}

tt {
  background-color: #eeeeee;
}

ul li {
  margin-top: 8px;
}

ol li {
  margin-top: 8px;
}

dd {
  margin-bottom: 11px;
}