Michael Glaesemann <grzm@myrealbox.com> writes:
> Just an idea. I think it's good to have some redundancy in
> distinguishing these things. Not only for those without color printers
> (poor souls ;) but also for people who have trouble distinguishing
> color differences.
Yes. I don't have an objection to using color, but it has to be in
addition to a font difference, not a substitute for a font difference.
regards, tom lane
