K 10
svn:author
V 5
gabor
K 8
svn:date
V 27
2013-07-15T15:23:13.672709Z
K 7
svn:log
V 435
- Enable FOP extensions, which eliminate most of the warnings and turn on
  some advanced features, like PDF bookmarks.
- Allow breaking lines of verbatim elements at spaces.  Such a break is
  denoted with a special arrow symbol.  This technique is commonly used
  in technical books to present long source lines.
- Use other monospace font, that has an appropriate arrow symbol for this.
- Add some padding to verbatim environments.

END
