Green text editor colour (on a Mac) is too light.