github-actions[bot] commited on
Commit
2c5bac9
·
1 Parent(s): 77cf774

Update leaderboard from GitHub main branch

Browse files
Files changed (1) hide show
  1. app.py +7 -2
app.py CHANGED
@@ -29,8 +29,13 @@ custom_css = """
29
  color: white;
30
  text-align: center;
31
  }
 
32
  .leaderboard-table {
33
- font-size: 14px;
 
 
 
 
34
  }
35
  """
36
 
@@ -327,7 +332,7 @@ with gr.Blocks(css=custom_css, title="LLM Enzyme Kinetics Extraction Benchmark")
327
  datatype=["markdown"] * 14,
328
  interactive=False,
329
  wrap=True,
330
- height=600
331
  )
332
 
333
  refresh_btn = gr.Button("🔄 Refresh", variant="primary")
 
29
  color: white;
30
  text-align: center;
31
  }
32
+ /* Make leaderboard table taller with scrolling */
33
  .leaderboard-table {
34
+ min-height: 600px !important;
35
+ }
36
+ .leaderboard-table .wrap {
37
+ height: 600px !important;
38
+ overflow-y: auto !important;
39
  }
40
  """
41
 
 
332
  datatype=["markdown"] * 14,
333
  interactive=False,
334
  wrap=True,
335
+ elem_classes=["leaderboard-table"]
336
  )
337
 
338
  refresh_btn = gr.Button("🔄 Refresh", variant="primary")