Bootstrappified

I’ve finally bit it and started using Twitter bootstrap for my website and the blog. It was a bit of work (partially done while flying to and from Venice), but I took the occasion to do some spring cleaning.