(issue #3900) adjust css lint options