Update index.html

index.html

@@ -18,7 +18,7 @@
 
     <style>
         html, body {
-            height: 100%;
+            min-height: 100%;
             margin: 0;
             padding: 0;
         }
@@ -32,11 +32,17 @@
 
 <body>
     <gradio-lite>
-        <gradio-requirements>
-            filelock==3.16.1
-        </gradio-requirements>
-
         <gradio-file name="app.py" entrypoint>
+import os
+
+# Compatibility workaround for Pyodide's os.link implementation.
+_original_link = os.link
+
+def _compatible_link(src, dst, *, follow_symlinks=True):
+    return _original_link(src, dst)
+
+os.link = _compatible_link
+
 import gradio as gr
 
 def greet(name):