From: | Bruce Momjian <bruce(at)momjian(dot)us> |
---|---|
To: | Thom Brown <thom(at)linux(dot)com> |
Cc: | Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>, jd(at)commandprompt(dot)com, Kevin Grittner <Kevin(dot)Grittner(at)wicourts(dot)gov>, Dave Page <dpage(at)pgadmin(dot)org>, pgsql-docs(at)postgresql(dot)org, Erik Rijkers <er(at)xs4all(dot)nl> |
Subject: | Re: [pgsql-www] Example indenting |
Date: | 2010-08-31 17:45:47 |
Message-ID: | 201008311745.o7VHjlf26025@momjian.us |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgsql-docs pgsql-www |
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(at)momjian(dot)us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ It's impossible for everything to be true. +
From | Date | Subject | |
---|---|---|---|
Next Message | Thom Brown | 2010-08-31 17:54:46 | Re: [pgsql-www] Example indenting |
Previous Message | Thom Brown | 2010-08-31 17:40:58 | Re: [pgsql-www] Example indenting |
From | Date | Subject | |
---|---|---|---|
Next Message | Thom Brown | 2010-08-31 17:54:46 | Re: [pgsql-www] Example indenting |
Previous Message | Thom Brown | 2010-08-31 17:40:58 | Re: [pgsql-www] Example indenting |