Remove extraneous whitespace from within <userinput> tags. I also fixed a few typos that I noticed along the way.
Extraneous whitespace became important when I started using CSS for the HTML output. Now that I shade examples in grey, any extraneous newlines is very apparent (and looks amateur-ish).