On 31 August 2010 17:14, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> Thom Brown <thom@linux.com> writes:
>> Well that was a pain. Didn't realise there was a special hacky CSS
>> file to fix fonts for gecko and webkit browsers. We use javascript to
>> add it in on the current documentation, which is a nasty hack (try
>> disabling javascript and look at our docs in Firefox, Chrome or
>> Safari... the monospace text will be really small). Fortunately I've
>> worked around that, with the downside being that if users have
>> selected different default font settings for their browser, I've
>> overridden it. Now the font sizes should be virtually the same in all
>> browsers.
>
> That seems pretty unfriendly from an accessibility standpoint.
Maybe, but the only alternative is to copy the current site's javascript hack.
--
Thom Brown
Twitter: @darkixion
IRC (freenode): dark_ixion
Registered Linux user: #516935
