Robert Haas <robertmhaas(at)gmail(dot)com> writes:
> On Fri, Oct 26, 2012 at 10:03 AM, Karl O. Pinc <kop(at)meme(dot)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