Since the standard highlight colors apparently aren’t changeable,
devon-technologies.com/phpBB … hp?p=24022
I hope this feature will be added soon. As I noted in that post, some of the standard colors are too dark for screen display or too light for monochromatic printing.
It would be great if the changed colors would apply to all highlights already in the database, but I guess that wouldn’t be easy to do.
Also, if for some reason these colors are controlled by OS X, is there a way to change them with Terminal?