Switched to Highlight.js for code pretty printing