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:

• New(ish) colour scheme.
• Changed article headings to second-level (the site title is now the only top-level header).
• Discovered there's a <main> element in HTML5, so substituted that in for the <div id="main"> that I've been using since first starting with CSS somewhere around the year 2000.
• Added a link to the RSS feed at the bottom of the home page because most browsers seem to have removed buttons for feeds.
• Post archive is now organised by year rather than month.
• Got rid of the by tag archive because I'm bad at tagging and honestly I don't post enough here to justify it.
• Changed the permalink structure to omit the month of the post, then remembered what 'permalink' means and reverted it.
• Rewrote stylesheet using Sass
• Updated stylesheet to add line spacing (21 April 2019).

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.