Making this website a bit more W3C standards-compliant

I spent some hours today to make the HTML and the CSS of this website validate with W3C’s checker.
I probably should send patches to the theme developers, but they don’t make it easier by developing exclusively on GitHub and not hosting a mailing list. The CSS code …