Re: [DOCS] Doc fixes and improvements

Thom Brown wrote:
> I discussed the javascript change with Magnus, and whilst in *theory*
> it won't affect the rest of the site, we deemed it safer to apply it
> at a later stage, and just keep the existing gecko fixes script there
> until the other one can be tested properly.  It's only really been
> tested against the docs, but would be included in the general site
> header so would be loaded for every page on the site.  The CSS it
> injects affects the document container so that's the "in theory" bit.
> But my version of the site we were using it on isn't the same as the
> current one as it's still under development.
> 
> Once things have died down a little from the 9.0 release, I'll coax
> Magnus into applying that to his copy of the site and draft in people
> to test it both on the docs and the rest of the site.

Thanks.  So, tomorrow?  ;-)

One issue I see is that we made fixed-width font size match
proportional-width fonts in the doc javascript because we were mixing
the two in the same paragraph.  There might be cases where we don't mix
them on the web site and might want to honor whatever size differences
specified by the user.

--  Bruce Momjian  <bruce@momjian.us>        http://momjian.us EnterpriseDB
http://enterprisedb.com
 + It's impossible for everything to be true. +