On 31 August 2010 18:45, Bruce Momjian <bruce@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.
--
Thom Brown
Twitter: @darkixion
IRC (freenode): dark_ixion
Registered Linux user: #516935