Use minified versions of css and js for prettify