Use cssmin on highlighting css
Use non-minified versions of bootstrap and jquery, as they are minified by flask-assets