Spaces:
Paused
Paused
UI
Browse files
main.py
CHANGED
@@ -34,7 +34,7 @@ try: set_theme = gr.themes.Default( primary_hue=gr.themes.utils.colors.orange,
|
|
34 |
font=["ui-sans-serif", "system-ui", "sans-serif", gr.themes.utils.fonts.GoogleFont("Source Sans Pro")],
|
35 |
font_mono=["ui-monospace", "Consolas", "monospace", gr.themes.utils.fonts.GoogleFont("IBM Plex Mono")])
|
36 |
except:
|
37 |
-
set_theme = None; print('gradio
|
38 |
|
39 |
with gr.Blocks(theme=set_theme, analytics_enabled=False) as demo:
|
40 |
gr.HTML(title_html)
|
|
|
34 |
font=["ui-sans-serif", "system-ui", "sans-serif", gr.themes.utils.fonts.GoogleFont("Source Sans Pro")],
|
35 |
font_mono=["ui-monospace", "Consolas", "monospace", gr.themes.utils.fonts.GoogleFont("IBM Plex Mono")])
|
36 |
except:
|
37 |
+
set_theme = None; print('gradio版本较旧,不能自定义字体和颜色')
|
38 |
|
39 |
with gr.Blocks(theme=set_theme, analytics_enabled=False) as demo:
|
40 |
gr.HTML(title_html)
|