Don't highlightjs anymore