hook css

backend/app.py

@@ -36,6 +36,10 @@ from fastapi.responses import RedirectResponse
 async def root_redirect():
     return RedirectResponse(url="/web/")
 
+@app.get("/web", include_in_schema=False)
+async def web_no_slash_redirect():
+    return RedirectResponse(url="/web/")
+
 app = gr.mount_gradio_app(app, demo, path="/web")
 
 

vision_ui.py

@@ -457,7 +457,7 @@ def run_agent(
     yield code_view, _terminal_html(terminal_lines), status_html, score_value, rewards_md
 
 
-with gr.Blocks(title="TraceFix-RL Mission Control") as demo:
+with gr.Blocks(title="TraceFix-RL Mission Control", css=CSS) as demo:
     gr.HTML(
         """
         <div id='header-wrap'>