use latest docco to void highlight.js bug