##// END OF EJS Templates
ui: dropped the custom font in favor of builtin ones....
ui: dropped the custom font in favor of builtin ones. - this is faster to load/display and produces less problems with UI on multiple platforms - fixed few ui elements after changes

File last commit:

r3160:11a89089 default
r3164:9a2c9ca9 default
Show More
Gruntfile.js
14 lines | 520 B | application/javascript | JavascriptLexer
var gruntConfig = require('./grunt_config.json');
module.exports = function(grunt) {
grunt.initConfig(gruntConfig);
grunt.loadNpmTasks('grunt-contrib-less');
grunt.loadNpmTasks('grunt-contrib-concat');
grunt.loadNpmTasks('grunt-contrib-watch');
grunt.loadNpmTasks('grunt-contrib-jshint');
grunt.loadNpmTasks('grunt-vulcanize');
grunt.loadNpmTasks('grunt-contrib-copy');
grunt.registerTask('default', ['less:production', 'less:components', 'concat:polymercss', 'copy', 'concat:dist', 'vulcanize']);
};