Incorporate a proper local copy of highlight.js
Opened this issue · 0 comments
hnarayanan commented
At the moment it is minified (which it needn't be for http2) and has been built with god-knows-what settings from https://highlightjs.org/download/. Secondly, the corresponding CSS also needs to be fetched in a clean, un-minified fashion with good colours (a la #8)