update docs using fixed highlight.js