tweak dark mode

frontend/leaderboard.html

@@ -61,7 +61,19 @@
         }
  
         .dark #table-wrapper {
-            border: 1px solid #252a4a;
+            border: 1px solid #252048;
+        }
+
+        /* Search bar dark mode — matches card family */
+        .dark #searchInput {
+            background-color: #1c2235 !important;
+            border-color: #252048 !important;
+        }
+
+        /* Filter panel dark mode — matches card family */
+        .dark #filterPanel {
+            background-color: #161828 !important;
+            border-color: #252048 !important;
         }
  
         #table-wrapper::-webkit-scrollbar {
@@ -2241,7 +2253,37 @@ window.toggleExpandText = function (idBase, btn) {
  
             })();
     </script>
- 
+
+    <script>
+        // Dark mode overrides for search bar, filter panel, table border
+        // Uses JS (same pattern as header cards) to beat Tailwind CDN specificity
+        function applyLeaderboardDarkMode() {
+            const isDark = document.documentElement.classList.contains('dark');
+
+            const search = document.getElementById('searchInput');
+            if (search) {
+                search.style.backgroundColor = isDark ? '#1c2235' : '';
+                search.style.borderColor     = isDark ? '#252048' : '';
+            }
+
+            const filterPanel = document.getElementById('filterPanel');
+            if (filterPanel) {
+                filterPanel.style.backgroundColor = isDark ? '#161828' : '';
+                filterPanel.style.borderColor     = isDark ? '#252048' : '';
+            }
+
+            const tableWrapper = document.getElementById('table-wrapper');
+            if (tableWrapper) {
+                tableWrapper.style.borderColor = isDark ? '#252048' : '';
+            }
+        }
+
+        applyLeaderboardDarkMode();
+        new MutationObserver(applyLeaderboardDarkMode).observe(
+            document.documentElement, { attributes: true, attributeFilter: ['class'] }
+        );
+    </script>
+
 </body>
  
 </html>