Synchronously load highlight.js, so code highlighting can be initialized after markdown is parsed