Updated Highlight.js to version 7.4. This fixes issue #59.