Attempts at CSS prettification

app.py

@@ -19,7 +19,7 @@ def filter_table(cols, name, type, arch, license):
     # prettify
     tmp["Type"] = tmp["Type"].apply(lambda x: x[0])
     tmp = tmp.rename({"Type": "T"}, axis=1)
-    tmp["Name"] = tmp["Name"].apply(lambda x: f'<a target="_blank" href="https://huggingface.co/{x}" style="color: var(--link-text-color); text-decoration: underline;text-decoration-style: dotted;">{x}</a>')
+    tmp["Name"] = tmp["Name"].apply(lambda x: f'<a target="_blank" href="https://huggingface.co/{x}" style="color:var(--link-text-color);text-decoration:underline;text-decoration-style:dotted">{x}</a>')
     
     return tmp
 
@@ -46,8 +46,8 @@ def submit_model(name):
     
     return "# SUCCESS: Please wait up to 24 hours for your model to be added to the queue."
 
-with gr.Blocks() as demo:
-    gr.HTML('<style>.tab-buttons button{font-size:1.3em}</style><h1 style="text-align:center"><span style="font-size:1.3em">Subquadratic LLM Leaderboard</span></h1>')
+with gr.Blocks(css=".tab-buttons button{font-size:1.3em}table::-webkit-scrollbar-track{background:var(--scrollbarBG)}table::-webkit-scrollbar-thumb{background:var(--thumbBG)}") as demo:
+    gr.HTML('<h1 style="text-align:center"><span style="font-size:1.3em">Subquadratic LLM Leaderboard</span></h1>')
 
     with gr.Tabs(elem_classes="tab-buttons") as tabs:
         with gr.Tab("🏅 LLM Benchmark"):