"Jonathan S. Katz" <jkatz@postgresql.org> writes:
> Can you try
> #docContent p {
> - margin-bottom: 1rem !important;
> + margin-bottom: 1rem;
> }
> and see how it looks?
In some desultory looking around, I couldn't find anyplace in the
existing text that that changes at all. And it does make the
revised table markup render the way I want ... so +1.
regards, tom lane