Fixing seperators highlitedText bug

app.py

@@ -292,17 +292,21 @@ if __name__ == "__main__":
         ori_text_diff = gr.HighlightedText(
             label="The Original Natural Example",
             combine_adjacent=True,
-            adjacent_separator=" ", 
+            theme=gr.themes.Base(),
+            
         )
         adv_text_diff = gr.HighlightedText(
             label="Character Editions of Adversarial Example Compared to the Natural Example",
             combine_adjacent=True,
-            adjacent_separator=" ", 
+            show_legend=True,
+            theme=gr.themes.Base(),
+            
         )
         restored_text_diff = gr.HighlightedText(
             label="Character Editions of Repaired Adversarial Example Compared to the Natural Example",
             combine_adjacent=True,
-            adjacent_separator=" ", 
+            show_legend=True,
+            theme=gr.themes.Base(),
         )
 
         gr.Markdown(