diff options
| author | catboxanon <122327233+catboxanon@users.noreply.github.com> | 2023-05-12 18:08:34 +0000 |
|---|---|---|
| committer | catboxanon <122327233+catboxanon@users.noreply.github.com> | 2023-05-12 18:08:34 +0000 |
| commit | 867be74244dc725fcf2685018b97501e83a16235 (patch) | |
| tree | ff52a7fe5f57d677eb26f2e04216844ca54f4e38 /html | |
| parent | b14e23529f52f926a8912b2c3d10b9a90dae3967 (diff) | |
Define default fonts for Gradio theme
Allows web UI to (almost) be ran fully offline.
The web UI will hang on load if offline when
these fonts are not manually defined, as it will attempt (and fail)
to pull from Google Fonts.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions