customizer.js: remove a workaround for older less.js.