Issue #5215: Modify some css