Re: Website stylesheet for local docs

On Mon, Feb 27, 2012 at 16:20, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> Magnus Hagander <magnus(at)hagander(dot)net> writes:
>> On Mon, Feb 27, 2012 at 04:37, Robert Haas <robertmhaas(at)gmail(dot)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.

There we go, at least two people, and people who do a lot of builds
and checks of the docs, like the current format. So I think that's a
good argument to keep the current format the default, and just add a
target like my suggestion as an *option* :-)

--
 Magnus Hagander
 Me: http://www.hagander.net/
 Work: http://www.redpill-linpro.com/