or the user adjust how that stuff is displayed in the preferences (while I must say, using green/red on white isn't a bad idea). But as the Everything engine already allows different themes to be used for each user, it's a really bad idea (IMO) to allow absolute settings for font colors etc..