Made the margins bigger, and fixed the numerous resulting overfull hboxes. This greatly reduces the number of 1/2-line paragraphs, facilitates the annotation of printouts, and improves overall readability --- the lines are ~80 characters long.
Merge pull request #66 from eggrobin/fix-margins

Made the margins bigger, and fixed the numerous resulting overfull hboxe...