mmarch/text-generation-webui
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Use Noto Sans font

Browse source 
Copied from 6c8bd06308/public/webfonts/NotoSans
This commit is contained in:
oobabooga 2023-09-13 13:29:00 -07:00
parent 19548482f1
commit 9f199c7a4c
44 changed files with 179 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

6
modules/ui.py
View file

@ -8,8 +8,10 @@ import yaml
from modules import shared
with open(Path(__file__).resolve().parent / '../css/main.css', 'r') as f:
with open(Path(__file__).resolve().parent / '../css/NotoSans/stylesheet.css', 'r') as f:
css = f.read()
with open(Path(__file__).resolve().parent / '../css/main.css', 'r') as f:
css += f.read()
with open(Path(__file__).resolve().parent / '../js/main.js', 'r') as f:
js = f.read()
with open(Path(__file__).resolve().parent / '../js/save_files.js', 'r') as f:
@ -24,7 +26,7 @@ delete_symbol = '🗑️'
save_symbol = '💾'
theme = gr.themes.Default(
font=['Helvetica', 'ui-sans-serif', 'system-ui', 'sans-serif'],
font=['Noto Sans', 'Helvetica', 'ui-sans-serif', 'system-ui', 'sans-serif'],
font_mono=['IBM Plex Mono', 'ui-monospace', 'Consolas', 'monospace'],
).set(
border_color_primary='#c5c5d2',