A minor change to CSS