From 5afc44aab14819afea87b2f36c2f76dc43d3e83c Mon Sep 17 00:00:00 2001
From: catboxanon <122327233+catboxanon@users.noreply.github.com>
Date: Sat, 13 May 2023 12:57:32 +0000
Subject: Requested changes

---
 modules/shared.py | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

(limited to 'modules/shared.py')

diff --git a/modules/shared.py b/modules/shared.py
index b09b384e..96a20a6b 100644
--- a/modules/shared.py
+++ b/modules/shared.py
@@ -665,20 +665,19 @@ def reload_gradio_theme(theme_name=None):
     if not theme_name:
         theme_name = opts.gradio_theme
 
+    default_theme_args = dict(
+        font=["Source Sans Pro", 'ui-sans-serif', 'system-ui', 'sans-serif'],
+        font_mono=['IBM Plex Mono', 'ui-monospace', 'Consolas', 'monospace'],
+    )
+
     if theme_name == "Default":
-        gradio_theme = gr.themes.Default(
-            font=['Helvetica', 'ui-sans-serif', 'system-ui', 'sans-serif'],
-            font_mono=['IBM Plex Mono', 'ui-monospace', 'Consolas', 'monospace'],
-        )
+        gradio_theme = gr.themes.Default(**default_theme_args)
     else:
         try:
             gradio_theme = gr.themes.ThemeClass.from_hub(theme_name)
         except Exception as e:
             errors.display(e, "changing gradio theme")
-            gradio_theme = gr.themes.Default(
-                font=['Helvetica', 'ui-sans-serif', 'system-ui', 'sans-serif'],
-                font_mono=['IBM Plex Mono', 'ui-monospace', 'Consolas', 'monospace'],
-            )
+            gradio_theme = gr.themes.Default(**default_theme_args)
 
 
 
-- 
cgit v1.2.1