no need for clientside highlight.js
javascript highlighting