de-tabify
versions in dropdowns should not be bold
repair size/position of heading anchor icons
separate nav icons from text with css, not spaces (again)

This eliminates the ugly extra underline between the icon and the text
on hover.
Merge pull request #1269 from haarg/bootstrap-3-cleanups

Bootstrap 3 cleanups
Do not display table header when no data found and add no result msg