ziyuzhou02 commited on
Commit
618c819
·
verified ·
1 Parent(s): c7b0539

Unify leaderboard table column widths

Browse files
Files changed (1) hide show
  1. src/display/css_html_js.py +23 -7
src/display/css_html_js.py CHANGED
@@ -7,6 +7,9 @@ custom_css = """
7
  --bench-panel: #f8fafc;
8
  --bench-blue: #2563eb;
9
  --bench-teal: #0f766e;
 
 
 
10
  }
11
  .gradio-container {
12
  max-width: 1320px !important;
@@ -72,15 +75,12 @@ custom_css = """
72
  }
73
  .dataframe,
74
  .leaderboard-dataframe {
75
- --leaderboard-model-column-width: 220px;
76
  --cell-width-0: var(--leaderboard-model-column-width) !important;
77
  border-radius: 8px !important;
78
  overflow: hidden !important;
79
  border: 1px solid var(--bench-line) !important;
80
  }
81
  .rank-leaderboard-dataframe {
82
- --leaderboard-model-column-width: 180px;
83
- --leaderboard-rank-table-min-width: 1620px;
84
  --cell-width-0: var(--leaderboard-model-column-width) !important;
85
  }
86
  .dataframe table,
@@ -192,7 +192,7 @@ custom_css = """
192
  .rank-html-table,
193
  .domain-rank-table {
194
  width: 100% !important;
195
- min-width: 1800px !important;
196
  table-layout: fixed !important;
197
  border-collapse: separate !important;
198
  border-spacing: 0 !important;
@@ -234,9 +234,9 @@ custom_css = """
234
  background: #ffffff !important;
235
  }
236
  .rank-html-table .rank-fixed-column {
237
- width: 180px !important;
238
- min-width: 180px !important;
239
- max-width: 180px !important;
240
  }
241
  .domain-rank-table .domain-rank-model-column {
242
  width: auto !important;
@@ -292,6 +292,22 @@ custom_css = """
292
  overflow-y: hidden !important;
293
  white-space: nowrap !important;
294
  }
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
295
  .leaderboard-dataframe.leaderboard-model-col-1 th:nth-child(2),
296
  .leaderboard-dataframe.leaderboard-model-col-1 td:nth-child(2),
297
  .leaderboard-dataframe.leaderboard-model-col-1 [role="columnheader"]:nth-child(2),
 
7
  --bench-panel: #f8fafc;
8
  --bench-blue: #2563eb;
9
  --bench-teal: #0f766e;
10
+ --leaderboard-model-column-width: 180px;
11
+ --leaderboard-metric-column-width: 118px;
12
+ --leaderboard-rank-table-min-width: 1620px;
13
  }
14
  .gradio-container {
15
  max-width: 1320px !important;
 
75
  }
76
  .dataframe,
77
  .leaderboard-dataframe {
 
78
  --cell-width-0: var(--leaderboard-model-column-width) !important;
79
  border-radius: 8px !important;
80
  overflow: hidden !important;
81
  border: 1px solid var(--bench-line) !important;
82
  }
83
  .rank-leaderboard-dataframe {
 
 
84
  --cell-width-0: var(--leaderboard-model-column-width) !important;
85
  }
86
  .dataframe table,
 
192
  .rank-html-table,
193
  .domain-rank-table {
194
  width: 100% !important;
195
+ min-width: var(--leaderboard-rank-table-min-width) !important;
196
  table-layout: fixed !important;
197
  border-collapse: separate !important;
198
  border-spacing: 0 !important;
 
234
  background: #ffffff !important;
235
  }
236
  .rank-html-table .rank-fixed-column {
237
+ width: var(--leaderboard-model-column-width) !important;
238
+ min-width: var(--leaderboard-model-column-width) !important;
239
+ max-width: var(--leaderboard-model-column-width) !important;
240
  }
241
  .domain-rank-table .domain-rank-model-column {
242
  width: auto !important;
 
292
  overflow-y: hidden !important;
293
  white-space: nowrap !important;
294
  }
295
+
296
+ .leaderboard-dataframe.leaderboard-model-col-1 {
297
+ --cell-width-0: var(--leaderboard-metric-column-width) !important;
298
+ --cell-width-1: var(--leaderboard-model-column-width) !important;
299
+ }
300
+ .leaderboard-dataframe.leaderboard-model-col-1 th:first-child,
301
+ .leaderboard-dataframe.leaderboard-model-col-1 td:first-child,
302
+ .leaderboard-dataframe.leaderboard-model-col-1 [role="columnheader"]:first-child,
303
+ .leaderboard-dataframe.leaderboard-model-col-1 [role="gridcell"]:first-child,
304
+ .leaderboard-dataframe.leaderboard-model-col-1 .table-wrap th:first-child .cell-wrap,
305
+ .leaderboard-dataframe.leaderboard-model-col-1 .table-wrap td:first-child .cell-wrap {
306
+ width: var(--leaderboard-metric-column-width) !important;
307
+ min-width: var(--leaderboard-metric-column-width) !important;
308
+ max-width: var(--leaderboard-metric-column-width) !important;
309
+ }
310
+
311
  .leaderboard-dataframe.leaderboard-model-col-1 th:nth-child(2),
312
  .leaderboard-dataframe.leaderboard-model-col-1 td:nth-child(2),
313
  .leaderboard-dataframe.leaderboard-model-col-1 [role="columnheader"]:nth-child(2),