I also added a line to my stylesheet for code as displayed in the user stylesheet I posted recently. I think it’s fine, but feel free to drop suggestions (smaller font perhaps) if you please. This is nothing new, I just forgot to add it to my “final” version of the stylesheet before.
I just updated to the latest WordPress version. The uploading took a while, despite multiple threads and my fast connection. Perhaps I should simply have put it to 50 simultaneous connections or so for this operation. Luckily not much has changed so that my custom Atom file (for 1.0 rather than 0.3) still functions fine. I noticed that the (in my eyes useless) TinyMCE editor took up most of the time however. I just thought deleting the files involved from my planned uploads would be harder than to wait a little longer while doing other things.
I thought I’d inform people who don’t know me a little better about the fact that I use valid HTML (and CSS etcetera). When I had done that I thought it would actually be much more important to give credit to a few people. Thanks Ethan and Tom, you’re mentioned on my about page now.