Stabilize tab navigation by removing fragile tab CSS/JS overrides

app.py

@@ -71,33 +71,7 @@ CSS = """
 
 footer { display: none !important; }
 
-.gradio-container [role="tablist"] {
-  position: sticky !important;
-  top: 0 !important;
-  z-index: 60 !important;
-  background: #fffaf0 !important;
-  border-bottom: 1px solid var(--studio-line);
-  padding: 8px 10px;
-  gap: 8px;
-  overflow: visible !important;
-}
-
-.gradio-container [role="tab"] {
-  opacity: 1 !important;
-  visibility: visible !important;
-  color: var(--studio-ink) !important;
-  background: #f4ecd6 !important;
-  border: 1px solid var(--studio-line) !important;
-  border-radius: 8px !important;
-  padding: 8px 14px !important;
-  font-weight: 700 !important;
-}
-
-.gradio-container [role="tab"][aria-selected="true"] {
-  background: linear-gradient(90deg, #f5c93c, #e5a721) !important;
-  color: white !important;
-  border-color: #d99e1b !important;
-}
+/* Keep native Gradio tab behavior for reliability across Gradio 6 updates. */
 
 .nav-item[role="button"] {
   cursor: pointer;
@@ -260,52 +234,7 @@ footer { display: none !important; }
 }
 """
 
-HEAD = """
-<script>
-(() => {
-  const switchToCodexTab = () => {
-    const tabs = Array.from(document.querySelectorAll('[role="tab"]'));
-    if (!tabs.length) return false;
-    const target = tabs.find((tab) => /codex extractor/i.test((tab.textContent || "").trim()));
-    if (target) {
-      target.click();
-      return true;
-    }
-    if (tabs.length > 1) {
-      tabs[1].click();
-      return true;
-    }
-    return false;
-  };
-
-  const bindSidebarCodexLinks = () => {
-    document.querySelectorAll('.js-open-codex').forEach((el) => {
-      if (el.dataset.boundCodexNav === "1") return;
-      el.dataset.boundCodexNav = "1";
-      el.addEventListener('click', (e) => {
-        e.preventDefault();
-        switchToCodexTab();
-      });
-      el.addEventListener('keydown', (e) => {
-        if (e.key === 'Enter' || e.key === ' ') {
-          e.preventDefault();
-          switchToCodexTab();
-        }
-      });
-    });
-  };
-
-  const observer = new MutationObserver(() => bindSidebarCodexLinks());
-  observer.observe(document.documentElement, { childList: true, subtree: true });
-
-  if (document.readyState === 'loading') {
-    document.addEventListener('DOMContentLoaded', bindSidebarCodexLinks);
-  } else {
-    bindSidebarCodexLinks();
-  }
-})();
-</script>
-"""
+HEAD = ""
 
 
 REVISION_ACTIONS = {