fix egl

app.py

@@ -234,15 +234,14 @@ def create_gradio_interface():
 
     # Gradio UI
     with gr.Blocks(css=CUSTOM_CSS) as demo:
-        gr.Markdown(WEBSITE)
+        gr.HTML(WEBSITE)
         random_key_state = gr.State()
 
         with gr.Row():
             with gr.Column(scale=5):
-                gr.Markdown(WEB_source)
-                random_button = gr.Button("Random")
-                
+                gr.HTML(WEB_source)
                 with gr.Row():
+                    random_button = gr.Button("Random",  scale=0)
                     clear_button_retrieval = gr.Button("Clear", scale=0)
 
                 suggested_edit_text = gr.Textbox(
@@ -264,7 +263,7 @@ def create_gradio_interface():
                 )
 
             with gr.Column(scale=5):
-                gr.Markdown(WEB_target)
+                gr.HTML(WEB_target)
                 with gr.Row():
                     clear_button_edit = gr.Button("Clear", scale=0)
                     edit_button = gr.Button("Edit", scale=0)

website.py

@@ -33,9 +33,13 @@ CREDITS=("""<div class="embed_hidden" style="text-align: center;">
 WEB_source =  ("""<div class="embed_hidden" style="text-align: center;">
     <h1>Pick a motion to edit!</h1>
     <h3>
-        Here you should pick a source motion
-        <hr class="double">
+        Here you should pick a source motion. You can select it from different sets.
     </h3>
+    <h3>
+        A text suggestion will be given for a potential edit.
+        You can click the Random button multiple times to pick different motions.
+    </h3>
+    <hr class="double">
 </div>
 """)
 
@@ -43,7 +47,12 @@ WEB_target =  ("""<div class="embed_hidden" style="text-align: center;">
     <h1>Now type the text to edit that motion!</h1>
     <h3>
         Here you should get the generated motion!
-        <hr class="double">
     </h3>
+    <h3>
+        You can use the suggested text or add you own. 
+        Then, you should click Edit to check your result. 
+        You can type a new text and click Edit again to edit the current motion.
+    </h3>
+    <hr class="double">
 </div>
 """)