ant/workstation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Bold is too heavy

Browse source
This commit is contained in:
Anthony Rose 2021-12-30 19:35:14 +00:00
parent 61830b6287
commit c6a286284f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
roles/home-gui/files/gnome-setup.sh
View file

@ -94,7 +94,7 @@ set_misc_preferences () {
gsettings set org.gnome.desktop.interface document-font-name 'Noto Sans 11'
gsettings set org.gnome.desktop.interface font-name 'Noto Sans 11'
gsettings set org.gnome.desktop.interface monospace-font-name 'Monospace 11'
gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Noto Sans Bold 11'
gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Noto Sans SemiBold 11'
}
set_misc_preferences