import hightlight.js in docs.html