Spaces:
Running
Running
Update app_optimized.py
Browse files- app_optimized.py +2 -2
app_optimized.py
CHANGED
|
@@ -982,10 +982,10 @@ footer = gr.Markdown(footerMD, elem_classes="footer")
|
|
| 982 |
theme = gr.themes.Base(
|
| 983 |
primary_hue="sky",
|
| 984 |
neutral_hue="slate",
|
| 985 |
-
text_size="
|
| 986 |
radius_size="sm",
|
| 987 |
font=[gr.themes.GoogleFont('Zen Maru Gothic'), 'ui-sans-serif', 'system-ui', 'sans-serif'],
|
| 988 |
-
font_mono=[gr.themes.GoogleFont('
|
| 989 |
).set(
|
| 990 |
body_text_weight='500',
|
| 991 |
embed_radius='*radius_xxs',
|
|
|
|
| 982 |
theme = gr.themes.Base(
|
| 983 |
primary_hue="sky",
|
| 984 |
neutral_hue="slate",
|
| 985 |
+
text_size="md",
|
| 986 |
radius_size="sm",
|
| 987 |
font=[gr.themes.GoogleFont('Zen Maru Gothic'), 'ui-sans-serif', 'system-ui', 'sans-serif'],
|
| 988 |
+
font_mono=[gr.themes.GoogleFont('Zen Maru Gothic'), 'ui-monospace', 'Consolas', 'monospace'],
|
| 989 |
).set(
|
| 990 |
body_text_weight='500',
|
| 991 |
embed_radius='*radius_xxs',
|