[raphael_kimmig]

We used to do wkhtmltopdf but nowadays we are using weasyprint + django templates. Much better support for css (including CSS Paged Media). See http://weasyprint.org/