From 6d55c4fbe14e02d20ebcb9184641d991860f3e88 Mon Sep 17 00:00:00 2001 From: Your Name Date: Sun, 26 Mar 2023 20:04:59 +0800 Subject: [PATCH] =?UTF-8?q?=E8=B0=83=E6=95=B4=E6=A0=B7=E5=BC=8F?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- main.py | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/main.py b/main.py index a46bda7..220c3db 100644 --- a/main.py +++ b/main.py @@ -29,8 +29,12 @@ crazy_functional = get_crazy_functionals() # 处理markdown文本格式的转变 gr.Chatbot.postprocess = format_io -try: set_theme = gr.themes.Default(font=["Arial", "sans-serif","Microsoft YaHei"], font_mono=["Arial", "sans-serif","Microsoft YaHei"]) -except: set_theme = None +# 做一些样式上的调整 +try: set_theme = gr.themes.Default( primary_hue=gr.themes.utils.colors.orange, + font=["ui-sans-serif", "system-ui", "sans-serif", gr.themes.utils.fonts.GoogleFont("Source Sans Pro")], + font_mono=["ui-monospace", "Consolas", "monospace", gr.themes.utils.fonts.GoogleFont("IBM Plex Mono")]) +except: + set_theme = None; print('gradio 版本老旧,不能自定义字体和颜色') with gr.Blocks(theme=set_theme, analytics_enabled=False) as demo: gr.HTML(title_html)