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.
regards, tom lane