Doc: marginal hacking to remove some PDF build warnings.

Tom Lane <tgl@sss.pgh.pa.us>

Commit: 336aa51b70e9cf7da3969a3f102ff4913717083d
Author: Tom Lane <tgl@sss.pgh.pa.us>
Date: 2020-05-10T20:20:28Z
Releases: 13.0
Doc: marginal hacking to remove some PDF build warnings.

This patch eliminates a few more "exceed the available area" warnings
whose causes aren't particularly connected to anything else.

The only one really worthy of comment is that I increased the space
allowed for an <orderedlist>'s numbers, because the default of 1em
doesn't quite work for more than one digit.  The rest are one-off
insertions of &zwsp; and suchlike tweaks, in places where they
shouldn't do any damage to the material.  (In particular, although
I split some long identifiers with zwsp's, there are other nearby
occurrences of each one; so those changes shouldn't hurt greppability
of the document sources.)

Files

Documentation touched