Pixel pushing.

Should improve mobile experience. The preformatted RFC still
overflows in the margins though.
Merge pull request #5 from dbuenzli/master

Pixel pushing.