Fix font size

app.py

@@ -60,7 +60,7 @@ for metric in ["WQL", "MASE"]:
     lb = lb.astype("float64").round(3).reset_index()
     lb["Training corpus overlap (%)"] = (lb["Training corpus overlap (%)"] * 100).round(1)
     lb["model_name"] = lb["model_name"].apply(make_clickable_model)
-    leaderboards[metric] = highlight_zeroshot(lb.style).format(precision=3)
+    leaderboards[metric] = highlight_zeroshot(lb.style)
 
 
 with gr.Blocks(css=custom_css) as demo:

src/custom_html_js.py

@@ -4,13 +4,13 @@ custom_css = """
     font-size: 20px !important;
 }
 
-.tab-buttons button {
-    font-size: 20px;
-}
-
 """
 
 
+# .tab-buttons button {
+#     font-size: 20px;
+# }
+
 # #citation-button span {
 #     font-size: 16px !important;
 # }