Merge pull request #511 from chrox/master

get rid of several dirty hacks
Merge pull request #512 from chrox/master

fix missing page margin settings
Merge pull request #513 from chrox/master

fix semi-auto cropping for djvu files
fix font-family property ignored if no generic-family is provided