Fix gradio bug

app.py

@@ -38,8 +38,8 @@ with gr.Blocks(title=f'{benchname} Leaderboard', css=custom_css) as demo:
                 type='pandas',
                 datatype=datatypes,
                 interactive=False,
-                wrap=True,
                 visible=True,
+                max_height=700,
                 column_widths=colwidths,
             )
 

css_html_js.py

@@ -88,4 +88,20 @@ table th:first-child {
 #box-filter > .form{
     border: 0
 }
+.main a {
+    color: blue;
+    text-decoration: underline;
+}
+
+@media (min-width: 1536px)
+{
+    .gradio-container {
+        min-width: var(--size-full) !important;
+    }
+}
+th .header-content
+{
+    white-space: normal;
+    overflow-wrap: break-word;
+}
 """