Site changes

Apologies to anyone who uses the RSS feed and has seen posts being republished as I've been making changes to the site. Apart from fixing a few typos and updating the semantic layout, the major change has been a slight update of the colour palette to one that uses the Solarized scheme.

I've had a few projects on the go and will hopefully have something to write about them soon. In the meantime, here's a rough list of things I've done:

Also, if you're using the Jekyll docs to create an RSS feed, you'll see this line, used to include a short snippet from the post:

{{ post.content | escape | truncate: '400' }}

Because the truncate filter comes after the escape filter, the snippet can sometimes be truncated in the middle of an escaped character, e.g. & becomes &am or similar. This might cause undefined behaviour in some feed parsers (when I tested an affected feed, the W3 validator aborted), but it's easy to fix by switching the order of the filters so the post is truncated, then escaped.