Re: Doc patch, distinguish sections with an empty row in error code table

Robert Haas <robertmhaas@gmail.com> writes:
> On Fri, Oct 26, 2012 at 10:03 AM, Karl O. Pinc <kop@meme.com> wrote:
>> This patch adds an empty row before each section header
>> in the error codes table in the docs.

> This doesn't seem like a particularly good idea to me, but what do
> other people think?

It seems like a kluge.  If the vertical spacing isn't nice looking, the
place to fix that is in the stylesheet or formatting macros, not by
hacking table contents.
        regards, tom lane