Bunch of copy fitting and style sheet tweakage to get decent looking print
Peter Eisentraut <peter_e@gmx.net>
Bunch of copy fitting and style sheet tweakage to get decent looking print output (from pdfjadetex). Also updated instructions to install documentation processing toolchain.