style

app.py

@@ -165,11 +165,9 @@ def format_df(df: pd.DataFrame):
     return df.values.tolist()
 
 
-TITLE = """
-🚀 Open RL Leaderboard
-"""
+HEADING = """
+# 🥇 Open RL Leaderboard 🥇
 
-INTRODUCTION_TEXT = """
 Welcome to the Open RL Leaderboard! This is a community-driven benchmark for reinforcement learning models.
 """
 
@@ -247,8 +245,7 @@ If you encounter any issue, please open an issue on the [Open RL Leaderboard rep
 
 
 with gr.Blocks() as demo:
-    gr.HTML(TITLE)
-    gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")
+    gr.Markdown(HEADING)
     with gr.Tabs(elem_classes="tab-buttons") as tabs:
         with gr.TabItem("🏅 Leaderboard"):
             df = get_leaderboard_df()
@@ -262,7 +259,7 @@ with gr.Blocks() as demo:
                                 env_df = select_env(df, env_id)
                                 gr.components.Dataframe(
                                     value=format_df(env_df),
-                                    headers=["🏆 Ranking", "🧑 User", "🤖 Model id", "📊 Mean episodic return"],
+                                    headers=["🏆", "🧑 User", "🤖 Model id", "📊 Mean episodic return"],
                                     datatype=["number", "markdown", "markdown", "number"],
                                     row_count=(10, "fixed"),
                                     scale=3,
@@ -287,7 +284,7 @@ with gr.Blocks() as demo:
                                     )
                                     # Doesn't loop for the moment, see https://github.com/gradio-app/gradio/issues/7689
 
-        with gr.TabItem("📝 About", elem_id="llm-benchmark-tab-table", id=2):
+        with gr.TabItem("📝 About"):
             gr.Markdown(ABOUT_TEXT)