Posts 7 and 8: update.
Make it look better.
Post 8: leave out the ''s in <pre class='code'>.
Hack: insert spaces before newlines.

Required because -webkit-font-feature-settings: 'liga' messes up with the
newlines, at least with the webfont I'm using (Stempel Garamond from fonts.com).

Eventually should be done with a pretext plugin.