Removed Highlight.js

As it isn’t necessary.