Printed PDFs have better styling for sections and subsections, closes #131.