edit

src/Database.php

@@ -2418,7 +2418,7 @@ class Database
                                 $text = str_replace('<em class="dever_highlight">', '<font color="red" class="dever_highlight">', $text);
                                 $text = str_replace('</em>', '</font>', $text);
                             } else {
-                                $text = preg_replace('/('.$high[$ki].')/i', '<font color="red" class="dever_highlight">${1}</font>', $text);
+                                $text = preg_replace('/('.$high[$ki].')/i', '<font color="red" class="dever_highlight">${1}</font>', $text, 1);
                             }
                         }