prettify docs for PDF