Update space

app.py

@@ -100,9 +100,8 @@ def init_leaderboard(dataframe):
 demo = gr.Blocks(css=custom_css)
 with demo:
     gr.HTML(TITLE)
-    # gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")
-    gr.HighlightedText(INTRODUCTION_TEXT, elem_classes="text")
-
+    gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")
+    
     with gr.Tabs(elem_classes="tab-buttons") as tabs:
         with gr.TabItem("🏅 Overall", elem_id="llm-benchmark-tab-table", id=0):
             leaderboard = init_leaderboard(LEADERBOARD_DF)