div.whatsnew dt { font-weight:bold;}