Hide Gradio menu and add packing favicon

app.py

@@ -29,6 +29,7 @@ from packing_benchmark.verifier import (
 SPACE_ROOT = Path(__file__).resolve().parent
 DATA_DIR = SPACE_ROOT / "data"
 DATA_DIR.mkdir(parents=True, exist_ok=True)
+FAVICON_PATH = SPACE_ROOT / "assets" / "favicon.svg"
 HYDRATE_STATUS = maybe_hydrate_from_dataset(DATA_DIR)
 STORE = SolutionStore(DATA_DIR)
 
@@ -218,6 +219,9 @@ footer,
 .gradio-container .footer,
 .gradio-container .built-with,
 .gradio-container .api-docs,
+.gradio-container .app > header,
+.gradio-container .app > .header,
+.gradio-container .contain > button:not(.site-nav-link),
 .gradio-container a[href*="view=api"],
 .gradio-container a[href*="/api"],
 .gradio-container button[aria-label="Settings"],
@@ -226,8 +230,14 @@ footer,
 .gradio-container button[aria-label="More options"],
 .gradio-container button[title="More"],
 .gradio-container button[title="More options"],
+.gradio-container button[aria-haspopup="menu"],
 .gradio-container [data-testid="settings-button"],
-.gradio-container [data-testid="more-button"] {
+.gradio-container [data-testid="more-button"],
+.gradio-container [data-testid="app-menu"],
+.gradio-container [data-testid="menu-button"],
+.gradio-container [class*="settings"],
+.gradio-container [class*="kebab"],
+.gradio-container [class*="ellipsis"] {
   display: none !important;
 }
 
@@ -1132,6 +1142,32 @@ APP_JS = """
     tab.click();
     return true;
   };
+  const isInsideBenchmarkUi = (element) => Boolean(
+    element.closest(".packing-shell, .site-nav, .submit-shell, .schema-shell, .record-modal, .modal-panel")
+  );
+  const hideGradioChrome = () => {
+    Array.from(document.querySelectorAll("footer, button, a")).forEach((element) => {
+      if (isInsideBenchmarkUi(element)) {
+        return;
+      }
+      const labels = normalizedLabels(element).join(" ");
+      const text = (element.innerText || element.textContent || "").replace(/\\s+/g, "").trim();
+      const rect = element.getBoundingClientRect ? element.getBoundingClientRect() : null;
+      const iconOnlyTopRight = rect
+        && rect.top >= 0
+        && rect.top < 84
+        && rect.right > window.innerWidth - 120
+        && rect.width <= 84
+        && rect.height <= 84
+        && Boolean(element.querySelector && element.querySelector("svg"));
+      const chromeText = /settings|more|menu|useviaapi|builtwithgradio/.test(labels.replace(/\\s+/g, ""))
+        || /^(\\.\\.\\.|…|⋯|⋮)$/.test(text);
+      if (chromeText || iconOnlyTopRight || element.tagName.toLowerCase() === "footer") {
+        element.style.setProperty("display", "none", "important");
+        element.setAttribute("aria-hidden", "true");
+      }
+    });
+  };
   const isNativeHomeControl = (element) => {
     if (!element) {
       return false;
@@ -1187,9 +1223,19 @@ APP_JS = """
   document.addEventListener("pointerdown", routeFromClick, true);
   document.addEventListener("click", routeFromClick, true);
   document.addEventListener("click", nativeHomeFallback, true);
+  hideGradioChrome();
+  window.setTimeout(hideGradioChrome, 100);
+  window.setTimeout(hideGradioChrome, 700);
+  window.setTimeout(hideGradioChrome, 1800);
+  new MutationObserver(hideGradioChrome).observe(document.body, {childList: true, subtree: true});
 }
 """
 
+APP_HEAD = """
+<link rel="icon" type="image/svg+xml" href="data:image/svg+xml,%3Csvg%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20viewBox%3D%220%200%2064%2064%22%3E%3Crect%20x%3D%228%22%20y%3D%228%22%20width%3D%2248%22%20height%3D%2248%22%20rx%3D%224%22%20fill%3D%22%23fffdf7%22%20stroke%3D%22%23151515%22%20stroke-width%3D%225%22%2F%3E%3Cpath%20d%3D%22M32%2016%2051%2048H13Z%22%20fill%3D%22%23e69f00%22%20stroke%3D%22%23151515%22%20stroke-width%3D%224%22%20stroke-linejoin%3D%22round%22%2F%3E%3C%2Fsvg%3E">
+<link rel="shortcut icon" type="image/svg+xml" href="data:image/svg+xml,%3Csvg%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20viewBox%3D%220%200%2064%2064%22%3E%3Crect%20x%3D%228%22%20y%3D%228%22%20width%3D%2248%22%20height%3D%2248%22%20rx%3D%224%22%20fill%3D%22%23fffdf7%22%20stroke%3D%22%23151515%22%20stroke-width%3D%225%22%2F%3E%3Cpath%20d%3D%22M32%2016%2051%2048H13Z%22%20fill%3D%22%23e69f00%22%20stroke%3D%22%23151515%22%20stroke-width%3D%224%22%20stroke-linejoin%3D%22round%22%2F%3E%3C%2Fsvg%3E">
+"""
+
 SAMPLE_JSON = """{
   "schema_version": "packing-benchmark/v1",
   "case": "triintri@1",
@@ -2219,7 +2265,7 @@ def prewarm_pages() -> None:
         family_page_html(setup)
 
 
-with gr.Blocks(**supported_gradio_kwargs(gr.Blocks, title="Packing Benchmark", analytics_enabled=False)) as demo:
+with gr.Blocks(**supported_gradio_kwargs(gr.Blocks, title="Packing Benchmark", analytics_enabled=False, head=APP_HEAD)) as demo:
     with gr.Tabs():
         with gr.Tab("Home"):
             browse_page = gr.HTML(directory_html())
@@ -2312,5 +2358,5 @@ if __name__ == "__main__":
         js=APP_JS,
         server_name="0.0.0.0",
         ssr_mode=False,
-        **supported_call_kwargs(demo.launch, show_api=False),
+        **supported_call_kwargs(demo.launch, show_api=False, favicon_path=str(FAVICON_PATH)),
     )