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