Re: Website stylesheet for local docs

Magnus Hagander <magnus@hagander.net> writes:
> On Mon, Feb 27, 2012 at 04:37, Robert Haas <robertmhaas@gmail.com> wrote:
>> Why not change the default? �Does anyone really prefer the bare bones
>> doc output?

> Yes, Peter made a point about preferring that back when we changed the
> developer docs to be on the main website (how it got worse but at
> least he could work on his local build).

FWIW, I don't especially like the website style either --- it's too busy
calling attention to itself with colored backgrounds etc.
        regards, tom lane