RvonMassow/xDoc — Issue #64: Use a smaller font in PDF
Author: JanKoehnlein
Created: 2011-10-28 08:18:23+00:00
State: open

The font is really bulky, and the limit of 74 chars for code makes it hard to format code in a serious way.
We should also decrease the margins: They are huge as always in LaTeX's defaults.