Plumbing

As you may have noticed, I’ve cleaned up the navigation bar and made the content bar wider.

I’ve also added a Google search box, but it’s not that great. I may switch to a different blogging system in the future.

Update: the Opera / Windows glitch that made the side bar disappear has been fixed. Note to self: do not use < or > in normal text: use HTML entities &lt; and &gt; … Funnily enough, Safari, Mozilla, IE6 and Opera / Mac didn’t have any problem.