Upload app.py with huggingface_hub

app.py

@@ -395,6 +395,12 @@ def build_ui() -> gr.Blocks:
                    analytics_enabled=False) as ui:
         session = gr.State(value=new_session)
 
+        # Inject the stylesheet into the page rather than passing css= to
+        # launch(). On Spaces the platform imports this module and calls
+        # launch() itself, so any styling passed there is silently dropped -
+        # the app would deploy looking completely unstyled.
+        gr.HTML(f"<style>{CSS}</style>")
+
         gr.HTML(MASTHEAD)
         verdict = gr.HTML(idle_verdict(START_LANG))
 
@@ -497,9 +503,14 @@ def build_ui() -> gr.Blocks:
     return ui
 
 
+# Module-level so Hugging Face Spaces can find it. The Gradio SDK imports this
+# file and serves the top-level Blocks object - it never runs the __main__
+# block, so an app that only builds its UI in there deploys as a blank Space.
+demo = build_ui()
+
+
 if __name__ == "__main__":
-    build_ui().launch(
-        css=CSS,
+    demo.launch(
         theme=gr.themes.Base(),
         # Spaces route traffic to the container, so it must bind all interfaces.
         # Locally, stay on loopback so the dev server is not exposed to the LAN.