don't overwrite highlightjs theme in gitr web