diff options
| author | zachir <zachir@librem.one> | 2023-06-09 12:41:57 -0500 |
|---|---|---|
| committer | zachir <zachir@librem.one> | 2023-06-09 12:41:57 -0500 |
| commit | b3523f16283ce7e40ea6839ab4b2e5c1917bc068 (patch) | |
| tree | eaff43944564af9236490ab58b6d05ef91fddd9a | |
| parent | 47fb2c65f30e631f59334f83f62a58d306ae130e (diff) | |
make foot font larger
| -rw-r--r-- | foot/foot.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/foot/foot.ini b/foot/foot.ini index 429b0e4..11ebba6 100644 --- a/foot/foot.ini +++ b/foot/foot.ini @@ -8,7 +8,7 @@ # title=foot # locked-title=no -font=mononoki Nerd Font Mono:size=7 +font=mononoki Nerd Font Mono:size=10 # font-bold=<bold variant of regular font> # font-italic=<italic variant of regular font> # font-bold-italic=<bold+italic variant of regular font> |