Merge pull request #10324 from catboxanon/offline

Allow web UI to be ran fully offline

2 files changed, 10 insertions, 2 deletions

diff --git a/modules/shared.py b/modules/shared.py
index 1df1dd45..96a20a6b 100644
--- a/modules/shared.py
+++ b/modules/shared.py
@@ -665,14 +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()

+        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()

+            gradio_theme = gr.themes.Default(**default_theme_args)

 

 

 

diff --git a/style.css b/style.css
index 4ac919b5..8c7be275 100644
--- a/style.css
+++ b/style.css
@@ -1,3 +1,6 @@
+/* temporary fix to load default gradio font in frontend instead of backend */

+

+@import url('https://fonts.googleapis.com/css2?family=Source+Sans+Pro:wght@400;600&display=swap');

 

 /* general gradio fixes */