我们把highlight.js里面的内容进行了一定的修改

app/static/js/highlight.js

@@ -39,9 +39,6 @@ function highLight() {
         var list2 = sel_word2.value.split(" ");
         for (var i = 0; i < list2.length; ++i) {
             list2[i] = list2[i].replace(/(^\s*)|(\s*$)/g, "");
-            if (list2[i] != "" && "<mark>".indexOf(list2[i]) == -1 && "</mark>".indexOf(list2[i]) == -1) {
-                txt = txt.replace(new RegExp(list2[i], "g"), "<mark>" + list2[i] + "</mark>");
-            }
         }
     }
     document.getElementById("article").innerHTML = txt;