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
