I just upgraded the blog software and took the opportunity to also update to a new version of the wp-andreas01 theme that I have been using for my blog since day one. The new theme is more versatile, fixes some rendering bugs, draws a wider pane (1024 instead of 800 pixels) which I think is a more pleasant reading experience.

Please refresh your browser cache if you see graphical glitches. I had to rescale the banner images too, but they still look good: