Arthur A. Gleckler wrote:
>>> Page 6, section 1.3.3: vertical spaces between paragraphs are much
>>> larger here than in any other place of the report; why is that?
>>
>> I have no idea.
>
> They don't look larger to me.  Note that that section is where the standard
> templates used to define identifiers throughout the report are themselves
> defined, and they are set off from paragraphs rather than being included in
> them so that it's clear that they aren't ordinary paragraphs.  But
> inter-paragraph space looks the same.

Vertical space around <thing1> is 2x as big as space between
the next two paragraphs, which in it's turn is 2x as big as space
between paragraphs on the left. I find that strange and inconsistent.

Anyway, my aim is to inform you.