Hugging Face's logo

Spaces:
AI4Math
/
IneqMath-Leaderboard
Running

App Files Community
lorn666 commited on
Commit
182b93f
·
verified ·
1 Parent(s): 4875154

Update app.py

Browse files
Files changed (1) hide show
  1. app.py +39 -24
app.py CHANGED
@@ -31,34 +31,58 @@ blue_ui_css = """
31
  background-color: #667eea !important;
32
  }
33
 
34
- /* Tab styling - change orange tabs to blue */
35
  .gradio-container .tab-nav button[aria-selected="true"],
36
  .gradio-container .tab-nav button.selected,
37
  .gradio-container button[role="tab"][aria-selected="true"],
38
  .gradio-container button[role="tab"].selected {
39
- background-color: #667eea !important;
40
- color: white !important;
41
- border-bottom-color: #667eea !important;
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
42
  }
43
 
 
44
  .gradio-container .tab-nav button:hover,
45
- .gradio-container button[role="tab"]:hover {
46
- background-color: #5a6fd8 !important;
47
- color: white !important;
 
 
48
  }
49
 
50
- /* Target tab buttons with orange styling */
51
- .gradio-container .tabs button,
52
  .gradio-container .tab-nav button,
53
- .gradio-container button[role="tab"] {
 
 
 
 
54
  transition: all 0.3s ease !important;
55
  }
56
 
57
- .gradio-container .tabs button[aria-selected="true"],
58
- .gradio-container .tabs button.selected {
59
- background: linear-gradient(135deg, #667eea 0%, #764ba2 100%) !important;
60
- color: white !important;
61
- border-color: #667eea !important;
 
 
 
62
  }
63
 
64
  /* Override orange primary colors globally */
@@ -109,15 +133,6 @@ blue_ui_css = """
109
  background-color: #667eea !important;
110
  color: white !important;
111
  }
112
-
113
- /* Specific targeting for tab icons and active states */
114
- .gradio-container [data-testid="tab"] button[aria-selected="true"],
115
- .gradio-container .tab button[aria-selected="true"],
116
- .gradio-container [role="tablist"] button[aria-selected="true"] {
117
- background-color: #667eea !important;
118
- color: white !important;
119
- border-bottom: 2px solid #667eea !important;
120
- }
121
  """
122
 
123
  SPACE_REPO_ID = "IneqMath/IneqMath_Judge_Private"
 
31
  background-color: #667eea !important;
32
  }
33
 
34
+ /* Tab styling - blue underline for active tabs, no background fill */
35
  .gradio-container .tab-nav button[aria-selected="true"],
36
  .gradio-container .tab-nav button.selected,
37
  .gradio-container button[role="tab"][aria-selected="true"],
38
  .gradio-container button[role="tab"].selected {
39
+ background-color: transparent !important;
40
+ background: transparent !important;
41
+ color: #667eea !important;
42
+ border-bottom: 2px solid #667eea !important;
43
+ border-top: none !important;
44
+ border-left: none !important;
45
+ border-right: none !important;
46
+ }
47
+
48
+ .gradio-container .tabs button[aria-selected="true"],
49
+ .gradio-container .tabs button.selected {
50
+ background-color: transparent !important;
51
+ background: transparent !important;
52
+ color: #667eea !important;
53
+ border-bottom: 2px solid #667eea !important;
54
+ border-top: none !important;
55
+ border-left: none !important;
56
+ border-right: none !important;
57
  }
58
 
59
+ /* Hover state for tabs - subtle blue text */
60
  .gradio-container .tab-nav button:hover,
61
+ .gradio-container button[role="tab"]:hover,
62
+ .gradio-container .tabs button:hover {
63
+ background-color: transparent !important;
64
+ background: transparent !important;
65
+ color: #5a6fd8 !important;
66
  }
67
 
68
+ /* Ensure inactive tabs have no special styling */
 
69
  .gradio-container .tab-nav button,
70
+ .gradio-container button[role="tab"],
71
+ .gradio-container .tabs button {
72
+ background-color: transparent !important;
73
+ background: transparent !important;
74
+ border-bottom: 2px solid transparent !important;
75
  transition: all 0.3s ease !important;
76
  }
77
 
78
+ /* Specific targeting for tab icons and active states */
79
+ .gradio-container [data-testid="tab"] button[aria-selected="true"],
80
+ .gradio-container .tab button[aria-selected="true"],
81
+ .gradio-container [role="tablist"] button[aria-selected="true"] {
82
+ background-color: transparent !important;
83
+ background: transparent !important;
84
+ color: #667eea !important;
85
+ border-bottom: 2px solid #667eea !important;
86
  }
87
 
88
  /* Override orange primary colors globally */
 
133
  background-color: #667eea !important;
134
  color: white !important;
135
  }
 
 
 
 
 
 
 
 
 
136
  """
137
 
138
  SPACE_REPO_ID = "IneqMath/IneqMath_Judge_Private"