Bind Gradio launch explicitly

app.py

@@ -1321,14 +1321,8 @@ def build_app() -> gr.Blocks:
     choices = _session_choices(live=False)
     default = None
     initial_summary, initial_transcript, initial_page_info, initial_page = _initial_view(choices)
-    theme = gr.themes.Base(
-        primary_hue="blue",
-        secondary_hue="cyan",
-        neutral_hue="slate",
-        radius_size="sm",
-    )
 
-    with gr.Blocks(title=APP_TITLE, fill_width=True, theme=theme, css=CUSTOM_CSS) as demo:
+    with gr.Blocks(title=APP_TITLE, fill_width=True) as demo:
         with gr.Row(elem_id="ct-app", elem_classes=["ct-shell"]):
             with gr.Column(elem_classes=["ct-sidebar"], scale=0):
                 gr.HTML(
@@ -1422,4 +1416,15 @@ print("codex-traces startup: demo ready", flush=True)
 
 if __name__ == "__main__":
     print("codex-traces startup: launching", flush=True)
-    demo.launch(show_error=True)
+    demo.launch(
+        theme=gr.themes.Base(
+            primary_hue="blue",
+            secondary_hue="cyan",
+            neutral_hue="slate",
+            radius_size="sm",
+        ),
+        css=CUSTOM_CSS,
+        server_name="0.0.0.0",
+        server_port=7860,
+        show_error=True,
+    )