upgraded highlightjs to version 8.3