From: Bruce Momjian <bruce@momjian.us>
Message-Id: <201008311637.o7VGb9l14416@momjian.us>
Subject: Re: [pgsql-www] Example indenting
In-Reply-To: <1283272463.2867.17.camel@jd-desktop.unknown.charter.com>
To: jd@commandprompt.com
Date: Tue, 31 Aug 2010 12:37:09 -0400 (EDT)
CC: Tom Lane <tgl@sss.pgh.pa.us>, Thom Brown <thom@linux.com>,
	Kevin Grittner <Kevin.Grittner@wicourts.gov>,
	Dave Page <dpage@pgadmin.org>,
	pgsql-docs@postgresql.org, Erik Rijkers <er@xs4all.nl>
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="US-ASCII"

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. +