Update docs and prettify PDF output