regeneration of css files pursuant to changes in numbering.less