Fixed handling of lists with titles. Also reworked handling of

Fixed handling of lists with titles. Also reworked handling of
space around lists. (Closes #1243003 and 1241371).

Among other things, this change "normalizes" line space before and
after verbatims. For most cases, the stylesheet now attempts to
ensure each verbatim is preceded and followed by exactly one line
of space.