Use consistent title spacing in posts.

Still need to tweak coqdoc output to remove spurious line breaks...