fine-tune pdf output; add page-numbering, page titles to pdf