prettify with bootstrap.js