fix version error

app.py

@@ -1,5 +1,6 @@
 import html
 import json
+import re
 from pathlib import Path
 
 import gradio as gr
@@ -94,11 +95,6 @@ def init_leaderboard(dataframe):
         bool_checkboxgroup_label="Hide models",
         interactive=False,
     )
-
-
-demo = gr.Blocks(css=custom_css)
-
-
 def create_score_df(json_path: Path, decimals: int):
     data = json.loads(json_path.read_text(encoding="utf-8"))
 
@@ -136,6 +132,25 @@ def dataframe_height(df: pd.DataFrame):
     return max(320, min(1200, height))
 
 
+def create_gr_dataframe(value, **kwargs):
+    dataframe_ctor = getattr(gr, "DataFrame", None) or getattr(gr, "Dataframe")
+    remaining_kwargs = dict(kwargs)
+
+    for _ in range(20):
+        try:
+            return dataframe_ctor(value, **remaining_kwargs)
+        except TypeError as e:
+            match = re.search(r"unexpected keyword argument '([^']+)'", str(e))
+            if match is None:
+                raise
+            bad_key = match.group(1)
+            if bad_key not in remaining_kwargs:
+                raise
+            remaining_kwargs.pop(bad_key)
+
+    return dataframe_ctor(value, **remaining_kwargs)
+
+
 def create_raw_score_df():
     raw_path = Path(__file__).resolve().parent / "src" / "raw_score.json"
     return create_score_df(raw_path, decimals=2)
@@ -246,6 +261,40 @@ def create_weights_table_html():
     return "".join(parts)
 
 
+RAW_SCORE_DF = create_raw_score_df()
+UNWEIGHTED_Z_DF = create_unweighted_z_score_df()
+WEIGHTED_Z_DF = create_weighted_z_score_df()
+
+RAW_SCORE_COLUMN_WIDTHS = [40, 220] + [180] * (len(RAW_SCORE_DF.columns) - 2)
+UNWEIGHTED_Z_COLUMN_WIDTHS = [40, 220] + [180] * (len(UNWEIGHTED_Z_DF.columns) - 2)
+WEIGHTED_Z_COLUMN_WIDTHS = [40, 220] + [180] * (len(WEIGHTED_Z_DF.columns) - 2)
+
+DATAFRAME_HEIGHT_CSS = f"""
+#raw-score-table .table-wrap,
+#raw-score-table .wrap,
+#raw-score-table .wrap-inner {{
+    max-height: {dataframe_height(RAW_SCORE_DF)}px;
+    overflow-y: auto;
+}}
+
+#unweighted-z-table .table-wrap,
+#unweighted-z-table .wrap,
+#unweighted-z-table .wrap-inner {{
+    max-height: {dataframe_height(UNWEIGHTED_Z_DF)}px;
+    overflow-y: auto;
+}}
+
+#weighted-z-table .table-wrap,
+#weighted-z-table .wrap,
+#weighted-z-table .wrap-inner {{
+    max-height: {dataframe_height(WEIGHTED_Z_DF)}px;
+    overflow-y: auto;
+}}
+"""
+
+demo = gr.Blocks(css=custom_css + DATAFRAME_HEIGHT_CSS)
+
+
 with demo:
     gr.HTML(custom_js)
     gr.HTML(TITLE)
@@ -255,38 +304,32 @@ with demo:
         with gr.TabItem("Result", elem_id="result-tab", id=0):
             with gr.Tabs(elem_classes="tab-buttons") as nested_tabs:
                 with gr.TabItem("Raw Score"):
-                    raw_score_df = create_raw_score_df()
-                    column_widths = [40, 220] + [180] * (len(raw_score_df.columns) - 2)
-                    gr.DataFrame(
-                        raw_score_df,
+                    create_gr_dataframe(
+                        RAW_SCORE_DF,
                         wrap=True,
-                        column_widths=column_widths,
-                        row_count=(len(raw_score_df), "fixed"),
-                        height=dataframe_height(raw_score_df),
+                        column_widths=RAW_SCORE_COLUMN_WIDTHS,
+                        row_count=(len(RAW_SCORE_DF), "fixed"),
+                        height=dataframe_height(RAW_SCORE_DF),
                         elem_id="raw-score-table",
                     )
                 with gr.TabItem("Weights"):
                     gr.HTML(create_weights_table_html(), elem_id="weights-table")
                 with gr.TabItem("Unweighted Z-score"):
-                    unweighted_z_df = create_unweighted_z_score_df()
-                    column_widths = [40, 220] + [180] * (len(unweighted_z_df.columns) - 2)
-                    gr.DataFrame(
-                        unweighted_z_df,
+                    create_gr_dataframe(
+                        UNWEIGHTED_Z_DF,
                         wrap=True,
-                        column_widths=column_widths,
-                        row_count=(len(unweighted_z_df), "fixed"),
-                        height=dataframe_height(unweighted_z_df),
+                        column_widths=UNWEIGHTED_Z_COLUMN_WIDTHS,
+                        row_count=(len(UNWEIGHTED_Z_DF), "fixed"),
+                        height=dataframe_height(UNWEIGHTED_Z_DF),
                         elem_id="unweighted-z-table",
                     )
                 with gr.TabItem("Weighted Z-score"):
-                    weighted_z_df = create_weighted_z_score_df()
-                    column_widths = [40, 220] + [180] * (len(weighted_z_df.columns) - 2)
-                    gr.DataFrame(
-                        weighted_z_df,
+                    create_gr_dataframe(
+                        WEIGHTED_Z_DF,
                         wrap=True,
-                        column_widths=column_widths,
-                        row_count=(len(weighted_z_df), "fixed"),
-                        height=dataframe_height(weighted_z_df),
+                        column_widths=WEIGHTED_Z_COLUMN_WIDTHS,
+                        row_count=(len(WEIGHTED_Z_DF), "fixed"),
+                        height=dataframe_height(WEIGHTED_Z_DF),
                         elem_id="weighted-z-table",
                     )