Re: [pgsql-www] Example indenting

"Joshua D. Drake" <jd@commandprompt.com> writes:
> On Tue, 2010-08-31 at 12:24 -0400, Tom Lane wrote:
>> There's a reason why it was done that way before ...

> There is no reason to do that. Every browser has the ability to override
> font settings. If the user has accessibility issues, they have the
> ability to deal with it.

If that's actually the case, I withdraw the complaint.  I read Thom's
message as saying that he was overriding the user's font settings.

            regards, tom lane