A small tweak in the css for bug #8365.