On Mon, Feb 27, 2012 at 05:26:04PM +0100, Magnus Hagander wrote: > On Mon, Feb 27, 2012 at 16:20, Tom Lane <[email protected]> wrote: > > Magnus Hagander <[email protected]> writes: > >> On Mon, Feb 27, 2012 at 04:37, Robert Haas <[email protected]> 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 <[email protected]> http://momjian.us EnterpriseDB http://enterprisedb.com + It's impossible for everything to be true. + -- Sent via pgsql-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
