Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -99,6 +99,54 @@ blue_ui_css = """
|
|
99 |
visibility: visible !important;
|
100 |
}
|
101 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
102 |
/* Override orange primary colors globally */
|
103 |
.gradio-container * {
|
104 |
--primary-color: #667eea !important;
|
|
|
99 |
visibility: visible !important;
|
100 |
}
|
101 |
|
102 |
+
/* Refresh Leaderboard button - gray styling */
|
103 |
+
.gradio-container button:contains("Refresh Leaderboard"),
|
104 |
+
.gradio-container .gr-button:contains("Refresh Leaderboard"),
|
105 |
+
.gradio-container button[value*="Refresh"],
|
106 |
+
.gradio-container button[aria-label*="Refresh"],
|
107 |
+
.gradio-container .gr-button[value*="Refresh"] {
|
108 |
+
background-color: #e5e7eb !important;
|
109 |
+
background: #e5e7eb !important;
|
110 |
+
color: #374151 !important;
|
111 |
+
border: 1px solid #d1d5db !important;
|
112 |
+
}
|
113 |
+
|
114 |
+
.gradio-container button:contains("Refresh Leaderboard"):hover,
|
115 |
+
.gradio-container .gr-button:contains("Refresh Leaderboard"):hover,
|
116 |
+
.gradio-container button[value*="Refresh"]:hover,
|
117 |
+
.gradio-container button[aria-label*="Refresh"]:hover,
|
118 |
+
.gradio-container .gr-button[value*="Refresh"]:hover {
|
119 |
+
background-color: #d1d5db !important;
|
120 |
+
background: #d1d5db !important;
|
121 |
+
color: #1f2937 !important;
|
122 |
+
border: 1px solid #9ca3af !important;
|
123 |
+
}
|
124 |
+
|
125 |
+
/* Use via API and Settings buttons - transparent with black text */
|
126 |
+
.gradio-container button:contains("Use via API"),
|
127 |
+
.gradio-container .gr-button:contains("Use via API"),
|
128 |
+
.gradio-container button:contains("Settings"),
|
129 |
+
.gradio-container .gr-button:contains("Settings"),
|
130 |
+
.gradio-container button[value*="API"],
|
131 |
+
.gradio-container button[value*="Settings"] {
|
132 |
+
background-color: transparent !important;
|
133 |
+
background: transparent !important;
|
134 |
+
color: black !important;
|
135 |
+
border: 1px solid #d1d5db !important;
|
136 |
+
}
|
137 |
+
|
138 |
+
.gradio-container button:contains("Use via API"):hover,
|
139 |
+
.gradio-container .gr-button:contains("Use via API"):hover,
|
140 |
+
.gradio-container button:contains("Settings"):hover,
|
141 |
+
.gradio-container .gr-button:contains("Settings"):hover,
|
142 |
+
.gradio-container button[value*="API"]:hover,
|
143 |
+
.gradio-container button[value*="Settings"]:hover {
|
144 |
+
background-color: transparent !important;
|
145 |
+
background: transparent !important;
|
146 |
+
color: black !important;
|
147 |
+
border: 1px solid #9ca3af !important;
|
148 |
+
}
|
149 |
+
|
150 |
/* Override orange primary colors globally */
|
151 |
.gradio-container * {
|
152 |
--primary-color: #667eea !important;
|