Gradio Divider issue fix

ui/compress_tab.py

@@ -218,7 +218,7 @@ def build_compress_tab(run_store) -> gr.Tab:
                 interactive=False,
             )
 
-            gr.Divider()
+            gr.Markdown("---")
 
             gr.Markdown("**Scoring Embedder**")
             embedder_dropdown = gr.Dropdown(