Style tweaks for pdfbuild