LaTeX2HTML Plugin temporarily disabled
I just noticed that some older posts are broken after LaTeX2HTML updates. I’m disabling it for now. This would in turn break other posts, but should be the less wrong solution.
Adding a table of contents
A quick update: a table of contents has been added to the side bar, which should help navigating the longer posts and pages. There are more possibilities to make it better, but I prefer stability on this blog, and will only make changes in baby steps. Curiously, I discovered an …
Posts and Pages
The blog seems inactive for a few months, but I was actually frequently writing stuff here. The problem was that I was creating pages rather than posts recently. Admittedly, it is hard to organize stuff either way. And organizing things is hard in general, so I don’t blame Workpress for …
Status update: automatic resize disabled
There is nothing much to say about. WordPress silently added an image rescaling functionality without any configurable UI. It automatically scales uploaded images when it thinks they are too “big” and thus “unoptimized for SEO”. The Football Manager game logs therefore have blurry images, while the Europa Universalis ones didn’t, …
Themes: a review after two years
As part of reinstalling systems after hard disk failure, I wanted to set up another local test website to try things out. I learned this the hard way: the online blog is not the best place to play around! So, themes, again.
Theme color meta tag added
It’s mostly a Chrome perk, but a website without a theme-color meta tag looks “less finished” when viewed on Chrome on Android, which I happen to use. So, here it is. Currently, it is implemented as a overridden header.php in my child theme. This is the fastest way to get …
Custom CSS migrated to a child theme
As the amount of custom CSS has been steadily growing, it felt more and more appropriate to put them in a child theme instead. The process is surprisingly easy, and weird, at the same time.
I need to be careful with names
Last week I created a post and a page. The post was this. I wrote about what my first game setup was like, and what difficulties I met with trying to run the game under Linux with Steam Play. The page, available here, was on the other hand not supposed …
More theme changes
As I started writing those Google Code Jam posts, I grew unsatisfied with the blockquote option offered by the current theme: walls of text was set in big, italic typefaces. Not the most readable choice.