Improve PDF rendering

[nuest]

Just some ideas for improving the PDF output. Not urgent.

Fix title page (e.g., o2r logo):

Add page breaks before new chapters

Keep code blocks on one page

Reduce font size for code chunks

More

• page numbers
• page header (spec name, small logo, link)