On 4/26/20 9:44 PM, Tom Lane wrote:
> "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.
Great. I do want to do a bit more desultory testing in the older
versions of the docs, but it can be committed whenever the -docs side is
ready.
Thanks,
Jonathan