fix a few CSS regressions