From: Bruce Momjian <bruce@momjian.us>
Message-Id: <201008311745.o7VHjlf26025@momjian.us>
Subject: Re: [pgsql-www] Example indenting
In-Reply-To: <AANLkTi=cMZrD6d7aR9msYiOWNF4KQO+VyGrifS=0b3NM@mail.gmail.com>
To: Thom Brown <thom@linux.com>
Date: Tue, 31 Aug 2010 13:45:47 -0400 (EDT)
CC: Tom Lane <tgl@sss.pgh.pa.us>, jd@commandprompt.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"

Thom Brown wrote:
> >> 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?
> 
> Hmm.. I don't know if the rendered font size is exposed to the DOM.

I quick search shows it as document.body.style.fontSize:

	http://www.ehow.com/how_5924039_change-font-size-javascript.html

I believe you can query a fixed-width attribute to find its font size.
Would you like me to write some Javascript that illustrates that?

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

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