feat: customized font & font size

2025-01-28 02:52:56 +08:00
parent 1213ef19e5
commit 9f39a6571a
10 changed files with 220 additions and 34 deletions
--- a/themes/green.py
+++ b/themes/green.py
@@ -10,6 +10,14 @@ theme_dir = os.path.dirname(__file__)
 def adjust_theme():
    try:
        set_theme = gr.themes.Soft(
+            font=[
+                "Helvetica",
+                "Microsoft YaHei",
+                "ui-sans-serif",
+                "sans-serif",
+                "system-ui",
+            ],
+            font_mono=["ui-monospace", "Consolas", "monospace"],
            primary_hue=gr.themes.Color(
                c50="#EBFAF2",
                c100="#CFF3E1",