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 …
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 …
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, …
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.
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 …
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.
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 …
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.
Since I have just updated to WordPress 5, it seems appropriate to start investigate what changes do I need to keep in mind if I am to switch to Gutenberg.