Fix bottom margin when exporting to PDF

This fixes the zero-margin problem in #190, but not the "cut off"
problem. In the future there should be some facility also to
adjust the margins manually instead of always using the default
values, like #196 suggests.