tohid.abedini commited on
Commit
9a44431
·
1 Parent(s): 6373204
Files changed (1) hide show
  1. utils.py +58 -22
utils.py CHANGED
@@ -9,6 +9,8 @@ from envs import API, EVAL_REQUESTS_PATH, TOKEN, QUEUE_REPO
9
 
10
  custom_css = """
11
  @import url('https://fonts.googleapis.com/css2?family=Vazirmatn&display=swap');
 
 
12
  body, .gradio-container, .gr-button, .gr-input, .gr-slider, .gr-dropdown, .gr-markdown {
13
  font-family: 'Vazirmatn', sans-serif !important;
14
  }
@@ -35,23 +37,36 @@ body, .gradio-container, .gr-button, .gr-input, .gr-slider, .gr-dropdown, .gr-ma
35
  }
36
 
37
  #leaderboard-table {
38
- margin-top: 15px
39
  }
40
 
 
 
41
  #leaderboard-table-lite {
42
- margin-top: 15px
 
 
43
  }
44
 
45
- #search-bar-table-box > div:first-child {
46
- background: none;
47
- border: none;
 
 
 
 
48
  }
49
 
50
- #search-bar {
51
- padding: 0px;
 
 
 
 
 
52
  }
53
 
54
- /* Limit the width of the first AutoEvalColumn so that names don't expand too much */
55
  #leaderboard-table td:nth-child(2),
56
  #leaderboard-table th:nth-child(2) {
57
  max-width: 400px;
@@ -59,10 +74,12 @@ body, .gradio-container, .gr-button, .gr-input, .gr-slider, .gr-dropdown, .gr-ma
59
  white-space: nowrap;
60
  }
61
 
 
62
  .tab-buttons button {
63
  font-size: 20px;
64
  }
65
 
 
66
  #scale-logo {
67
  border-style: none !important;
68
  box-shadow: none;
@@ -75,37 +92,56 @@ body, .gradio-container, .gr-button, .gr-input, .gr-slider, .gr-dropdown, .gr-ma
75
  #scale-logo .download {
76
  display: none;
77
  }
78
- #filter_type{
 
 
 
 
 
 
 
 
 
 
 
79
  border: 0;
80
  padding-left: 0;
81
  padding-top: 0;
82
  }
 
83
  #filter_type label {
84
  display: flex;
85
  }
86
- #filter_type label > span{
 
87
  margin-top: var(--spacing-lg);
88
  margin-right: 0.5em;
89
  }
90
- #filter_type label > .wrap{
 
91
  width: 103px;
92
  }
93
- #filter_type label > .wrap .wrap-inner{
 
94
  padding: 2px;
95
  }
96
- #filter_type label > .wrap .wrap-inner input{
97
- width: 1px
 
98
  }
99
- #filter-columns-type{
100
- border:0;
101
- padding:0.5;
 
102
  }
103
- #filter-columns-size{
104
- border:0;
105
- padding:0.5;
 
106
  }
107
- #box-filter > .form{
108
- border: 0
 
109
  }
110
  """
111
 
 
9
 
10
  custom_css = """
11
  @import url('https://fonts.googleapis.com/css2?family=Vazirmatn&display=swap');
12
+
13
+ /* Maintain your existing font styles */
14
  body, .gradio-container, .gr-button, .gr-input, .gr-slider, .gr-dropdown, .gr-markdown {
15
  font-family: 'Vazirmatn', sans-serif !important;
16
  }
 
37
  }
38
 
39
  #leaderboard-table {
40
+ margin-top: 15px;
41
  }
42
 
43
+ /* Added Center Alignment for Table Cells */
44
+ #leaderboard-table,
45
  #leaderboard-table-lite {
46
+ margin-top: 15px;
47
+ width: 100%;
48
+ border-collapse: collapse;
49
  }
50
 
51
+ #leaderboard-table th,
52
+ #leaderboard-table td,
53
+ #leaderboard-table-lite th,
54
+ #leaderboard-table-lite td {
55
+ text-align: center; /* Center-align text in cells */
56
+ padding: 10px; /* Add some padding for readability */
57
+ border: 1px solid #ddd; /* Optional: Add a border */
58
  }
59
 
60
+ #leaderboard-table th {
61
+ background-color: #f4f4f4; /* Optional: Light background for header row */
62
+ }
63
+
64
+ /* Add hover effect for table rows */
65
+ #leaderboard-table tr:hover {
66
+ background-color: #f9f9f9; /* Optional: Highlight row on hover */
67
  }
68
 
69
+ /* Maintain the width limit for the second column */
70
  #leaderboard-table td:nth-child(2),
71
  #leaderboard-table th:nth-child(2) {
72
  max-width: 400px;
 
74
  white-space: nowrap;
75
  }
76
 
77
+ /* Tab buttons styles */
78
  .tab-buttons button {
79
  font-size: 20px;
80
  }
81
 
82
+ /* Logo and search bar adjustments */
83
  #scale-logo {
84
  border-style: none !important;
85
  box-shadow: none;
 
92
  #scale-logo .download {
93
  display: none;
94
  }
95
+
96
+ #search-bar-table-box > div:first-child {
97
+ background: none;
98
+ border: none;
99
+ }
100
+
101
+ #search-bar {
102
+ padding: 0px;
103
+ }
104
+
105
+ /* Filter-related styles */
106
+ #filter_type {
107
  border: 0;
108
  padding-left: 0;
109
  padding-top: 0;
110
  }
111
+
112
  #filter_type label {
113
  display: flex;
114
  }
115
+
116
+ #filter_type label > span {
117
  margin-top: var(--spacing-lg);
118
  margin-right: 0.5em;
119
  }
120
+
121
+ #filter_type label > .wrap {
122
  width: 103px;
123
  }
124
+
125
+ #filter_type label > .wrap .wrap-inner {
126
  padding: 2px;
127
  }
128
+
129
+ #filter_type label > .wrap .wrap-inner input {
130
+ width: 1px;
131
  }
132
+
133
+ #filter-columns-type {
134
+ border: 0;
135
+ padding: 0.5;
136
  }
137
+
138
+ #filter-columns-size {
139
+ border: 0;
140
+ padding: 0.5;
141
  }
142
+
143
+ #box-filter > .form {
144
+ border: 0;
145
  }
146
  """
147