"Jonathan S. Katz" <jkatz@postgresql.org> writes:
>> On Jun 11, 2018, at 3:11 PM, Jonathan S. Katz <jkatz@postgresql.org> wrote:
>>> On Jun 11, 2018, at 3:06 PM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>>>> Hm ... there's now a surprisingly large amount of vertical space between
>>>> paragraphs (ie, double newlines in the original text). Weird that this
>>>> affects that.
> Based upon some research this did not sound like a problem people were
> trying to solve, but I tested, committed and pushed a change that should help
> reduce the gap. Will be available as caches clear, but I did apply it to originally
> discussed thread[1].
Thanks, it looks more proportionate now. The text is all rather tightly
set now, but I guess we're doing that intentionally to conserve screen
space.
regards, tom lane