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

...s. 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.