From: Bruce Momjian <bruce@momjian.us>
To: Thom Brown <thom@linux.com>
Cc: Tom Lane <tgl@sss.pgh.pa.us>
Cc: jd@commandprompt.com, Kevin Grittner <Kevin.Grittner@wicourts.gov>
Cc: Dave Page <dpage@pgadmin.org>
Cc: pgsql-docs@postgresql.org, Erik Rijkers <er@xs4all.nl>
Subject: Re: [pgsql-www] Example indenting
Date: Tue, 31 Aug 2010 13:37:42 -0400 (EDT)
Message-ID: <201008311737.o7VHbgG24526@momjian.us> (raw)
In-Reply-To: <AANLkTikvF6tSkC4_zZ7pvWhYh55pkFbrZMLkatt3ahoi@mail.gmail.com>
Thom Brown wrote:
> In a way I am. Users have the ability (although not often exercised)
> to change the default font and size. I gave the HTML tag a font-size,
> so that anything under it would be based on that. We use relative
> font sizes in our CSS, which means usually we'd be proportional to
> whatever the user had set. But what I've done is set a base size
> (17px in this case, and only in documentation) which everything else
> will be based on. So the downside is whatever the user set their
> default font size to in their browser will be ignored (or not fallen
> back to if you prefer). This doesn't, however, prevent them from
> using a text zoom (available in pretty much every web browser) to
> increase the size of all rendered fonts.
>
> The problem is, by default, Firefox sets proportional fonts to 16px,
> and monospace to 12px, so there's always a visual discrepancy when
> these fonts appear alongside one another.
>
> But the benefit of the javascript hack was that we weren't setting a
> base font size for everything, we just bump up the relative font size
> for elements which are monospaced by default.
>
> There's pros and cons to both approaches. I'm not sure which one you
> guys prefer.
If we are using Javascript, why can't we probe the font size and do
something reasonable, e.g. make monospace larger only if it smaller than
proportional?
--
Bruce Momjian <bruce@momjian.us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ It's impossible for everything to be true. +
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: pgsql-docs@postgresql.org
Cc: bruce@momjian.us, thom@linux.com, tgl@sss.pgh.pa.us, Kevin.Grittner@wicourts.gov, dpage@pgadmin.org, er@xs4all.nl
Subject: Re: [pgsql-www] Example indenting
In-Reply-To: <201008311737.o7VHbgG24526@momjian.us>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by DDX for PostgreSQL; see mirroring instructions
for how to clone and mirror all data and code used for this inbox