> On Jun 11, 2018, at 4:23 PM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
> "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.
Pushed a fixed to relax the spacing that should still conserve screen space.
Available after next cache clear, etc.
Jonathan