Update src/display/css_html_js.py

src/display/css_html_js.py

@@ -94,6 +94,29 @@ custom_css = """
 #box-filter > .form{
     border: 0
 }
+/* Add blue styles for Leaderboard and filters */
+.gr-leaderboard {
+    background-color: #f9f9f9; /* Leaderboard 背景颜色 */
+    color: #333; /* 文本颜色 */
+}
+
+.gr-checkbox input[type="checkbox"] {
+    accent-color: #007BFF; /* 改变复选框的颜色为蓝色 */
+}
+
+.gr-slider {
+    background-color: #e7f0ff; /* 滑块背景颜色（浅蓝色） */
+}
+
+.gr-slider .slider-thumb {
+    background-color: #007BFF; /* 滑块按钮颜色为蓝色 */
+}
+
+.gr-dropdown select {
+    background-color: #ffffff; /* 下拉框背景颜色 */
+    color: #333; /* 下拉框文本颜色 */
+    border: 1px solid #007BFF; /* 下拉框边框颜色为蓝色 */
+}
 """
 
 get_window_url_params = """