Re: [DOCS] Doc fixes and improvements

Josh Berkus wrote:
> On 9/19/10 1:53 AM, Thom Brown wrote:
> > On 19 September 2010 03:07, Bruce Momjian <bruce@momjian.us> wrote:
> >> Where are we on this?  Are we getting installed for the 9.0 release?
> > 
> > I've been meaning to grab Magnus on IRC, but haven't seen him online
> > this weekend.
> > 
> > Magnus, have you had a chance to look at this?
> 
> He's been travelling.   If I'd known you were waiting for Magnus on
> this, I'd have told you.
> 
> Better to get review from Dave and Devrim today.

It appears Magnus has applied most of Thom's changes to our live docs
web site in time for 9.0.  :-)  Unfortunately, the fixed font javascript
change does not appear to be installed.  Magnus, can this be done?

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