Re: Re: [BUGS] BUG #6639: Manual uses boldface where it says italic, and monospace where it says boldface

On Tue, 2012-05-15 at 21:36 +0300, Peter Eisentraut wrote:
> On mån, 2012-05-14 at 21:41 +0000, iain(dot)dalton(at)gmail(dot)com wrote:
> > The following bug has been logged on the website:
> >
> > Bug reference: 6639
> > Logged by: Ian
> > Email address: iain(dot)dalton(at)gmail(dot)com
> > PostgreSQL version: 9.1.3
> > Operating system: GNU/Linux
> > Description:
> >
> > The URL http://www.postgresql.org/docs/9.1/interactive/notation.html lays
> > out the notation used in the rest of the book, but it appears to be out of
> > date with the stylesheet, as the differences noted in the subject apply.
>
> Indeed. I've been wondering for a while why some things look so odd
> with the new stylesheet, but that page really summarizes it quite well.
> Someone on the web team should fix that.

It's still broken. Could someone from the web team fix this, or point
out where the source files are so someone else can fix it?