make it scrollable

app.py

@@ -44,7 +44,12 @@ def upload_file(files):
     return file_paths
 
 
-demo = gr.Blocks()
+demo = gr.Blocks(css="""
+#human-leaderboard-table {
+    width: auto; /* allow auto sizing */
+    min-width: calc(100% + 20px); /* extend a little beyond the content */
+}
+""")
 with demo:
     gr.HTML(TITLE)
     gr.HTML(LINKS)
@@ -63,12 +68,17 @@ with demo:
     with gr.Tab("Human Evaluation", elem_id="human-tab", id=1):
         human_leaderboard_table_test = gr.components.Dataframe(
             value=human_eval_dataframe_test, datatype=TYPES, interactive=False,
-            column_widths=["15%", "15%", "15%", "15%", "10%", "10%", "10%", "10%", "15%"]
+            # column_widths=["15%", "15%", "15%", "15%", "10%", "10%", "10%", "10%", "15%"]
+            # interactive=False,
+            # height=700,
+            # column_widths=[190, 140, 75, 75, 50, 50, 50, 50, 75],
+            wrap=False
         )
     with gr.Tab("Auto Evaluation", elem_id="auto-tab", id=2):
         auto_leaderboard_table_test = gr.components.Dataframe(
             value=auto_eval_dataframe_test, datatype=TYPES, interactive=False,
-            column_widths=["15%", "15%", "15%", "15%", "10%", "10%", "10%", "10%", "15%"]
+            wrap=False
+            # column_widths=["15%", "15%", "15%", "15%", "10%", "10%", "10%", "10%", "15%"]
         )
 
     with gr.Tab("Submission Guideline", elem_id="submit-tab", id=3):