Yeah, it seems like most editors now it's not that hard to customize the settings--so I end up futzing around with the colors every now and then to see if I can come up with something better. It remains a not very satisfactorily solved problem.