PM: Removed the TabHighlightColor setting entirely...