On Mon, Feb 27, 2012 at 05:26:04PM +0100, Magnus Hagander wrote:
> On Mon, Feb 27, 2012 at 16:20, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> > 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.
>
> 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* :-)
One other problem with the website style is that there is a zero left
margin, making it harder to read. That might work fine when displayed
inside our existing website div blocks, but not stand-alone.
-- Bruce Momjian <bruce@momjian.us> http://momjian.us EnterpriseDB
http://enterprisedb.com
+ It's impossible for everything to be true. +
