dl.type-list dt {
  font-weight:bold;
  font-family:monospace;
}