update highlightjs, add themes