I’ve uploaded the first test run of a new theme today. I know there are still a lot of “issues” with the theme, but it does mean that the <code> tags display in a more user-friendly way now. I shall be tweaking and inserting new classes in the CSS over then next few days / weeks / months / whatever, so there should be an increase in the quality of the presentation.