Better spacing in the list of tables section of the PDF user manual.
Authored by: bugman 2012-06-03
Parent: [r16606]
Child: [r16608]
