yingzhi commited on
Commit
8afc8d1
·
verified ·
1 Parent(s): a167e2a

Update app.py

Browse files
Files changed (1) hide show
  1. app.py +1 -2
app.py CHANGED
@@ -75,7 +75,7 @@ TYPES = ['str', 'number', 'number', 'number', 'number', 'number', 'number', 'num
75
 
76
  LEADERBOARD_CSS = """
77
  #leaderboard-table th .header-content {
78
- white-space: normal;
79
  }
80
  """
81
 
@@ -94,7 +94,6 @@ with gr.Blocks(css=LEADERBOARD_CSS) as demo:
94
  elem_id="leaderboard-table",
95
  interactive=False,
96
  visible=True,
97
- wrap=True,
98
  )
99
 
100
  with gr.TabItem("📈 Metrics", elem_id="od-benchmark-tab-table", id=1):
 
75
 
76
  LEADERBOARD_CSS = """
77
  #leaderboard-table th .header-content {
78
+ white-space: nowrap;
79
  }
80
  """
81
 
 
94
  elem_id="leaderboard-table",
95
  interactive=False,
96
  visible=True,
 
97
  )
98
 
99
  with gr.TabItem("📈 Metrics", elem_id="od-benchmark-tab-table", id=1):