Fixes #4688: Prevents ugly indentation of row headers on Firefox, adds

back the missing environment selector icon, and sets the proper header
row height.