Update app.py

app.py

@@ -177,10 +177,7 @@ run_update_dataset()
 block = gr.Blocks(css=custom_css)
 with block:
     with gr.Row(elem_id="header-row"):
-        # total_models = get_total_models()
-        # gr.HTML(f"<h1>HIVEX-Leaderboard</h1><p>Total models: {total_models}</p>")
-        gr.HTML("<h1>HIVEX-Leaderboard</h1>")
-        gr.HTML(f"<p>Total models: {get_total_models()}</p>")
+        gr.HTML(f"<h1>HIVEX-Leaderboard</h1><br><p>Total models: {get_total_models()}</p>")
 
     path_ = download_leaderboard_dataset()
     # gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")