div.variablelist dt { margin-top: 1em; }