On Sat, Apr 28, 2012 at 17:41, Andrew Dunstan <and...@dunslane.net> wrote: > > On 04/27/2012 12:44 PM, Magnus Hagander wrote: >>>> >>>> >>>> Hmm. Forgive me, I pressed the wrong button and looked at current docs >>>> rather than dev docs. >>>> >>>> (Easier when they used to look different...) >>> >>> >>> Maybe we should have the stylesheet watermark the dev docs pages. >> >> Are you offering to write the patch? ;) > > > > I am about the worst person in the world to ask to do this. But there are > plenty of web jockeys in the community who would be better at it than would > I.
:-) Well, same here. But if one of said web jockeys can come up with a good stylesheet, I'll be happy to integrate it. -- Magnus Hagander Me: http://www.hagander.net/ Work: http://www.redpill-linpro.com/ -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
