doc: Improve formatting of tutorial in PDF output.