Include the highlight.js theme licence in the docs