let mind_map_tab_button = document.querySelector("#mind_map_tab-button");

app.py

@@ -3199,7 +3199,7 @@ HEAD = """
     <script src="https://cdn.jsdelivr.net/npm/[email protected]"></script>
 
     <script>
-        const mind_map_tab_button = document.querySelector("#mind_map_tab-button");
+        let mind_map_tab_button = document.querySelector("#mind_map_tab-button");
         
         if (mind_map_tab_button) {
             mind_map_tab_button.addEventListener('click', function() {
@@ -3216,7 +3216,7 @@ HEAD = """
 
 JS = """
 function createGradioAnimation() {
-    const mind_map_tab_button = document.querySelector("#mind_map_tab-button");
+    let mind_map_tab_button = document.querySelector("#mind_map_tab-button");
         
     if (mind_map_tab_button) {
         mind_map_tab_button.addEventListener('click', function() {