Michael Matz authored Jan 29, 2018 and H.J. Lu committed Aug 07, 2018

The TT font actually feels a bit larger then the normal serif font,
so it can be reduced in size a bit without hampering visual flow.
Also change some examples to remove superfluous spacing, and from
tables redundant entries.  Use the geometry package, which in itself
reduces the large margins a bit already.  Don't explicitely reduce
margins further, as the current setting gives a sensible line-length
for one-column layout.