Spaces:

Jellyfish042
/

UncheatableEval

Running

Jellyfish042 commited on Apr 25

Commit

318bba9

1 Parent(s): a8aeaee

fix

Files changed (1) hide show

app.py CHANGED Viewed

@@ -1346,7 +1346,7 @@ if __name__ == "__main__":
             "sans-serif",
         ],
         font_mono=[
-            gr.themes.LocalFont("IBM Plex Mono"),
             "ui-monospace",
             "Consolas",
             "monospace",

             "sans-serif",
         ],
         font_mono=[
+            "IBM Plex Mono",
             "ui-monospace",
             "Consolas",
             "monospace",