Taken from [highlight.js](https://highlightjs.org). Wonderful project; go check it out!