tabedini commited on
Commit
9f10de8
·
verified ·
1 Parent(s): 863926a

Update utils.py

Browse files
Files changed (1) hide show
  1. utils.py +34 -32
utils.py CHANGED
@@ -32,14 +32,30 @@ body, .gradio-container, .gr-button, .gr-input, .gr-slider, .gr-dropdown, .gr-ma
32
  margin-top: 15px;
33
  text-align: center;
34
  }
35
-
36
- #leaderboard-table td,
37
- #leaderboard-table th {
38
  text-align: center;
39
  vertical-align: middle;
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
40
  }
41
  #leaderboard-table-lite {
42
- margin-top: 15px
43
  }
44
  #search-bar-table-box > div:first-child {
45
  background: none;
@@ -48,20 +64,6 @@ body, .gradio-container, .gr-button, .gr-input, .gr-slider, .gr-dropdown, .gr-ma
48
  #search-bar {
49
  padding: 0px;
50
  }
51
-
52
- #leaderboard-table td:nth-child(0),
53
- #leaderboard-table th:nth-child(0) {
54
- max-width: 400px;
55
- overflow: auto;
56
- white-space: nowrap;
57
- }
58
-
59
- table > thead {
60
- white-space: normal;
61
- }
62
-
63
-
64
-
65
  .tab-buttons button {
66
  font-size: 20px;
67
  }
@@ -76,7 +78,7 @@ table > thead {
76
  #scale-logo .download {
77
  display: none;
78
  }
79
- #filter_type{
80
  border: 0;
81
  padding-left: 0;
82
  padding-top: 0;
@@ -84,29 +86,29 @@ table > thead {
84
  #filter_type label {
85
  display: flex;
86
  }
87
- #filter_type label > span{
88
  margin-top: var(--spacing-lg);
89
  margin-right: 0.5em;
90
  }
91
- #filter_type label > .wrap{
92
  width: 103px;
93
  }
94
- #filter_type label > .wrap .wrap-inner{
95
  padding: 2px;
96
  }
97
- #filter_type label > .wrap .wrap-inner input{
98
- width: 1px
99
  }
100
- #filter-columns-type{
101
- border:0;
102
- padding:0.5;
103
  }
104
- #filter-columns-size{
105
- border:0;
106
- padding:0.5;
107
  }
108
- #box-filter > .form{
109
- border: 0
110
  }
111
  """
112
 
 
32
  margin-top: 15px;
33
  text-align: center;
34
  }
35
+ #leaderboard-table,
36
+ #leaderboard-table th,
37
+ #leaderboard-table td {
38
  text-align: center;
39
  vertical-align: middle;
40
+ border-collapse: collapse;
41
+ }
42
+ #leaderboard-table td:first-child,
43
+ #leaderboard-table th:first-child {
44
+ text-align: left;
45
+ }
46
+ table > thead {
47
+ white-space: normal;
48
+ }
49
+ table > thead th,
50
+ table > tbody td {
51
+ text-align: center;
52
+ vertical-align: middle;
53
+ }
54
+ table > tbody td:first-child {
55
+ text-align: left;
56
  }
57
  #leaderboard-table-lite {
58
+ margin-top: 15px;
59
  }
60
  #search-bar-table-box > div:first-child {
61
  background: none;
 
64
  #search-bar {
65
  padding: 0px;
66
  }
 
 
 
 
 
 
 
 
 
 
 
 
 
 
67
  .tab-buttons button {
68
  font-size: 20px;
69
  }
 
78
  #scale-logo .download {
79
  display: none;
80
  }
81
+ #filter_type {
82
  border: 0;
83
  padding-left: 0;
84
  padding-top: 0;
 
86
  #filter_type label {
87
  display: flex;
88
  }
89
+ #filter_type label > span {
90
  margin-top: var(--spacing-lg);
91
  margin-right: 0.5em;
92
  }
93
+ #filter_type label > .wrap {
94
  width: 103px;
95
  }
96
+ #filter_type label > .wrap .wrap-inner {
97
  padding: 2px;
98
  }
99
+ #filter_type label > .wrap .wrap-inner input {
100
+ width: 1px;
101
  }
102
+ #filter-columns-type {
103
+ border: 0;
104
+ padding: 0.5;
105
  }
106
+ #filter-columns-size {
107
+ border: 0;
108
+ padding: 0.5;
109
  }
110
+ #box-filter > .form {
111
+ border: 0;
112
  }
113
  """
114