dt { font-weight: bold; margin-top: 0.5ex; }
li { margin-top: 1ex; }
dd li { margin-top: 0.25ex; }