minor change to src/style.less