Fixes #4688: Prevents ugly indentation of row headers on Firefox, adds
back the missing environment selector icon, and sets the proper header
row height.
Merge pull request #3845 from ehelms/fixes-4688

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