Update documentation in a couple of places.
Remove uses of <tt>...</tt> in a number of places in favor of more
appropriate markups.
Reindent all short comments to standard length.
Convert two more places where we use <code>...</code>.
Merge pull request #160 from bangerth/doc-fixes-7

Update documentation in a couple of places.