gnome-terminal: Make text slightly darker

This allows to distinguish it better from bold text.