Fixed order of highlight options in highlight.js example