testing .webm instead of .mp4

app.py

@@ -41,9 +41,9 @@ def segmentation_generation(image_name, c_width, n_top, n_gif_imgs):
     print("GRADIO INPUTS:", image_name, c_width, n_top, n_gif_imgs)
 
     html =  '''   
-        <video width="500px" height="500px" controls="controls"/> 
-            <source src="./diego_mp4.mp4" type="video/mp4"> 
-        </video> >
+        <video controls="controls"/> 
+            <source src="./diego_mp4.webm" type="video/webm"> 
+        </video> 
     ''' 
     return html