fix font size

app.py

@@ -284,7 +284,7 @@ with demo:
 
     # leaderboard tabs
     with gr.Tabs(elem_classes="hardware-tabs"):
-        with gr.TabItem("<h1>🖥️ A100-80GB 🖥️<h1>", id=0):
+        with gr.TabItem("🖥️ A100-80GB 🖥️", id=0):
             with gr.Tabs(elem_classes="A100-tabs") as A100_tabs:
                 with gr.TabItem("🏅 Leaderboard 🏆", id=0):
                     gr.HTML(A100_TEXT)

src/assets/css_html_js.py

@@ -32,7 +32,10 @@ table th:first-child {
     white-space: nowrap;
 }
 
-.tab-buttons button {
+.hardware-tabs button {
+    font-size: 20px;
+}
+.A100-tabs button {
     font-size: 20px;
 }
 .plot-container > div:first-child {