Minor CSS-fixes.