افزایش سرعت باگذاری

با سلام
بارگذاری گرادیو خیلی طول میکشه. با اعمال تغییر بالا احتمالا سرعت خیلی بهتر میشه. در واقع مشکل زیر سر تلاش چندباره گرادیو برای دانلود فونت هست.
با تشکر از
https://huggingface.co/sadra-barikbin

app.py

@@ -36,7 +36,7 @@ columns_data_type = ["markdown" for i in range(len(leaderboard_df.columns))]
 
 NUM_MODELS=len(leaderboard_df)
 
-with gr.Blocks(css=custom_css) as demo:
+with gr.Blocks(css=custom_css,theme=gr.themes.Default(font=["sans-serif","ui-sans-serif","system-ui"], font_mono=["monospace","ui-monospace","Consolas"])) as demo:
     gr.Markdown("""
     # Persian Text Embedding Benchmark
     """)