Some aesthetic stuff, typos, etc.
Most of the changes are from my trying to get the code to fit on half
of a 1920x1080 monitor, which is kind of arbitrary but works for now.