Update app.py

app.py

@@ -99,54 +99,6 @@ blue_ui_css = """
     visibility: visible !important;
 }
 
-/* Refresh Leaderboard button - gray styling */
-.gradio-container button:contains("Refresh Leaderboard"),
-.gradio-container .gr-button:contains("Refresh Leaderboard"),
-.gradio-container button[value*="Refresh"],
-.gradio-container button[aria-label*="Refresh"],
-.gradio-container .gr-button[value*="Refresh"] {
-    background-color: #e5e7eb !important;
-    background: #e5e7eb !important;
-    color: #374151 !important;
-    border: 1px solid #d1d5db !important;
-}
-
-.gradio-container button:contains("Refresh Leaderboard"):hover,
-.gradio-container .gr-button:contains("Refresh Leaderboard"):hover,
-.gradio-container button[value*="Refresh"]:hover,
-.gradio-container button[aria-label*="Refresh"]:hover,
-.gradio-container .gr-button[value*="Refresh"]:hover {
-    background-color: #d1d5db !important;
-    background: #d1d5db !important;
-    color: #1f2937 !important;
-    border: 1px solid #9ca3af !important;
-}
-
-/* Use via API and Settings buttons - transparent with black text */
-.gradio-container button:contains("Use via API"),
-.gradio-container .gr-button:contains("Use via API"),
-.gradio-container button:contains("Settings"),
-.gradio-container .gr-button:contains("Settings"),
-.gradio-container button[value*="API"],
-.gradio-container button[value*="Settings"] {
-    background-color: transparent !important;
-    background: transparent !important;
-    color: black !important;
-    border: 1px solid #d1d5db !important;
-}
-
-.gradio-container button:contains("Use via API"):hover,
-.gradio-container .gr-button:contains("Use via API"):hover,
-.gradio-container button:contains("Settings"):hover,
-.gradio-container .gr-button:contains("Settings"):hover,
-.gradio-container button[value*="API"]:hover,
-.gradio-container button[value*="Settings"]:hover {
-    background-color: transparent !important;
-    background: transparent !important;
-    color: black !important;
-    border: 1px solid #9ca3af !important;
-}
-
 /* Override orange primary colors globally */
 .gradio-container * {
     --primary-color: #667eea !important;
@@ -158,43 +110,6 @@ blue_ui_css = """
     --color-accent: #667eea !important;
     --color-accent-soft: #667eea !important;
 }
-
-/* Button styling - comprehensive coverage */
-.gradio-container button,
-.gradio-container .gr-button,
-.gradio-container input[type="button"],
-.gradio-container input[type="submit"],
-.gradio-container .btn,
-.gradio-container [role="button"] {
-    background: linear-gradient(135deg, #667eea 0%, #764ba2 100%) !important;
-    background-color: #667eea !important;
-    border-color: #667eea !important;
-    color: white !important;
-    border: 1px solid #667eea !important;
-}
-
-.gradio-container button:hover,
-.gradio-container .gr-button:hover,
-.gradio-container input[type="button"]:hover,
-.gradio-container input[type="submit"]:hover,
-.gradio-container .btn:hover,
-.gradio-container [role="button"]:hover {
-    background: linear-gradient(135deg, #5a6fd8 0%, #6b4190 100%) !important;
-    background-color: #5a6fd8 !important;
-    border-color: #5a6fd8 !important;
-    transform: translateY(-1px) !important;
-    box-shadow: 0 2px 4px rgba(0,0,0,0.1) !important;
-}
-
-/* Force override for any remaining orange elements */
-.gradio-container button[style*="background"],
-.gradio-container .gr-button[style*="background"],
-.gradio-container [style*="orange"],
-.gradio-container [class*="orange"] {
-    background: linear-gradient(135deg, #667eea 0%, #764ba2 100%) !important;
-    background-color: #667eea !important;
-    color: white !important;
-}
 """
 
 SPACE_REPO_ID = "IneqMath/IneqMath_Judge_Private"