Docs: Nicer PDF output