larger fontsize for tabs

app.py

@@ -20,6 +20,10 @@ td {
   font-size: 15px; /* Adjust the font size as needed */
   text-align: center;
 }
+#od-benchmark-tab-table-button{
+    font-size: 15pt;
+    font-weight: bold;
+}
 
 """
 
@@ -86,6 +90,7 @@ def build_demo(original_df, full_df, TYPES):
                     )
 
             with gr.TabItem("🐑 URIAL + 🤗 OpenLLM", elem_id="od-benchmark-tab-table", id=1):
+                gr.Markdown("### More results from the awesome 🤗 [Open LLM Leaderboard](https://huggingface.co/spaces/HuggingFaceH4/open_llm_leaderboard) ", elem_classes="markdown-text")
                 leaderboard_table_full = gr.components.Dataframe(
                     value=full_df,
                     datatype=TYPES,