Minimal changes. redish theme's css is W3C compliant again