Simplify Gradio launch path

app.py

@@ -1321,8 +1321,14 @@ 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) as demo:
+    with gr.Blocks(title=APP_TITLE, fill_width=True, theme=theme, css=CUSTOM_CSS) as demo:
         with gr.Row(elem_id="ct-app", elem_classes=["ct-shell"]):
             with gr.Column(elem_classes=["ct-sidebar"], scale=0):
                 gr.HTML(
@@ -1416,13 +1422,4 @@ print("codex-traces startup: demo ready", flush=True)
 
 if __name__ == "__main__":
     print("codex-traces startup: launching", flush=True)
-    demo.launch(
-        theme=gr.themes.Base(
-            primary_hue="blue",
-            secondary_hue="cyan",
-            neutral_hue="slate",
-            radius_size="sm",
-        ),
-        css=CUSTOM_CSS,
-        show_error=True,
-    )
+    demo.launch(show_error=True)