Make green darker for color-blind users.

See #172. Replaces #190.