diff options
Diffstat (limited to 'gulpfile.js')
-rw-r--r-- | gulpfile.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gulpfile.js b/gulpfile.js index ca766dcce..9d09e984e 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -12,8 +12,8 @@ function swallowError(error) { gulp.task('less', function(cb) { gulp .src(['themes/compact.less', 'themes/compact_night.less', - 'themes/light.less', 'themes/night_blue.less', 'themes/night.less']) - .pipe(less()) + 'themes/light.less', 'themes/light-high-contrast.less', 'themes/night_blue.less', 'themes/night.less']) + .pipe(less({javascriptEnabled: true})) .on('error', swallowError) .pipe( gulp.dest(function(f) { |