Fix source code highlighting with highlight.js