Re: [pgsql-www] Example indenting

Joshua D. Drake wrote:
> On Tue, 2010-08-31 at 12:24 -0400, Tom Lane wrote:
> > Thom Brown <thom@linux.com> writes:
> > > On 31 August 2010 17:14, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> > >> Thom Brown <thom@linux.com> writes:
> > >>> Now the font sizes should be virtually the same in all browsers.
> > >>
> > >> That seems pretty unfriendly from an accessibility standpoint.
> >
> > > Maybe, but the only alternative is to copy the current site's javascript hack.
> >
> > 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.
>
> Heck, as I get older I find myself using ctrl-shift+/- all the time.

Are we talking about the Firefox hack that assume fixed-width font has a
smaller font size and therefore is set to larger than the variable-width
font?  I never liked that code and thought there must be a better way to
fix that.

--
  Bruce Momjian  <bruce@momjian.us>        http://momjian.us
  EnterpriseDB                             http://enterprisedb.com

  + It's impossible for everything to be true. +