updating a good number of little things

This commit is contained in:
Chris Cochrun 2022-04-14 10:04:55 -05:00
parent f4d4db3ba6
commit a189f2bf8e
13 changed files with 61 additions and 16 deletions

View file

@ -1335,7 +1335,7 @@ c.fonts.default_family = ['VictorMono Nerd Font']
## either a float value with a "pt" suffix, or an integer value with a
## "px" suffix.
## Type: String
# c.fonts.default_size = '10pt'
c.fonts.default_size = '11pt'
## Font used for the downloadbar.
## Type: Font