minified all of the highlight.js themes