Use CodeMirror for highlighting. Use colors from Bootstrap to align better with the hl colors. Follow upstream changes.