Bruce Momjian wrote: > Thom Brown wrote: > > On 31 August 2010 18:45, Bruce Momjian <br...@momjian.us> wrote: > > > 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? > > > > The code on that page shows that the value can be blank, suggesting it > > only picks up applied CSS styles, not font sizes which are a result of > > falling back on the defaults. > > OK, let me dig around.
I found some sample code the is supposed to work in all browers. I tested it in Firefox and it worked. It should work in Opera and IE as well. HTML/Javascript file attached. -- Bruce Momjian <br...@momjian.us> http://momjian.us EnterpriseDB http://enterprisedb.com + It's impossible for everything to be true. +Title: test
hi
hi2
-- Sent via pgsql-docs mailing list (pgsql-docs@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-docs
