Tag: css

I’ve updated the theme, and applied my handy modifications that make it more grey. Here’s the diff on the css file, if you’re wondering what I did (and for next time when I forget). I despise CSS, so it’s all nice and easy. The changes are to give the <pre> tags a grey (#EEE) background…