移除google字体
This commit is contained in:
parent
93fe457e99
commit
3ccbb4d6fb
@ -9,9 +9,8 @@ def adjust_theme():
|
|||||||
set_theme = gr.themes.Default(
|
set_theme = gr.themes.Default(
|
||||||
primary_hue=gr.themes.utils.colors.orange,
|
primary_hue=gr.themes.utils.colors.orange,
|
||||||
neutral_hue=gr.themes.utils.colors.gray,
|
neutral_hue=gr.themes.utils.colors.gray,
|
||||||
font=["sans-serif", "Microsoft YaHei", "ui-sans-serif", "system-ui",
|
font=["sans-serif", "Microsoft YaHei", "ui-sans-serif", "system-ui"],
|
||||||
"sans-serif", gr.themes.utils.fonts.GoogleFont("Source Sans Pro")],
|
font_mono=["ui-monospace", "Consolas", "monospace"])
|
||||||
font_mono=["ui-monospace", "Consolas", "monospace", gr.themes.utils.fonts.GoogleFont("IBM Plex Mono")])
|
|
||||||
set_theme.set(
|
set_theme.set(
|
||||||
# Colors
|
# Colors
|
||||||
input_background_fill_dark="*neutral_800",
|
input_background_fill_dark="*neutral_800",
|
||||||
|
Loading…
x
Reference in New Issue
Block a user