Formatting fixes.

Drop HTML/CSS formatting tricks that don't work in GitHub-flavored
Markdown even though they work with the native markdown converter.