highligh.js instead of prettyprint