h3 {
  font-style: italic;
}

dt {
  font-weight: bold;
  margin-top: 1ex;
}

li {
  margin-top: 1ex;
}

pre {
  margin-left: 3ex;
}