Spaces:
Running
Running
openhands commited on
Commit ·
721acc6
1
Parent(s): faddaaf
Fix font change - update Gradio theme font to Arial
Browse files
app.py
CHANGED
|
@@ -202,8 +202,8 @@ theme = gr.themes.Base(
|
|
| 202 |
c50="#F7F8FB", c100="#EBEDF3", c200="#D4D8E7", c300="#B1B9D3", c400="#82889B",
|
| 203 |
c500="#525662", c600="#3A3C45", c700="#2F3137", c800="#222328", c900="#18191C", c950="#0D0D0F"
|
| 204 |
),
|
| 205 |
-
font=[
|
| 206 |
-
font_mono=[
|
| 207 |
).set(
|
| 208 |
body_text_color='*neutral_950',
|
| 209 |
body_text_color_subdued='*neutral_700',
|
|
|
|
| 202 |
c50="#F7F8FB", c100="#EBEDF3", c200="#D4D8E7", c300="#B1B9D3", c400="#82889B",
|
| 203 |
c500="#525662", c600="#3A3C45", c700="#2F3137", c800="#222328", c900="#18191C", c950="#0D0D0F"
|
| 204 |
),
|
| 205 |
+
font=['Arial', 'sans-serif'],
|
| 206 |
+
font_mono=['monospace'],
|
| 207 |
).set(
|
| 208 |
body_text_color='*neutral_950',
|
| 209 |
body_text_color_subdued='*neutral_700',
|