div.checksums {
  font-size: 8pt;
  margin-top: 0.5em;
}

div.checksums dl dt {
  font-weight: bold;
}

div.checksums dl dd {
  color: #808080;
  margin-left: 1em;
}