Merge pull request #10324 from catboxanon/offline (12c78138) · Commits · github_fork / Stable Diffusion Webui

modules/shared.py

+7 −2

Original line number	Diff line number	Diff line
		@@ -667,14 +667,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)

+3 −0

Original line number	Diff line number	Diff line
		/* 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 */