diff options
author | zachir <zachir@librem.one> | 2023-08-23 02:00:21 -0500 |
---|---|---|
committer | zachir <zachir@librem.one> | 2023-08-23 02:00:21 -0500 |
commit | 03c40db537b1d3879437916de52bb182e58d5e3c (patch) | |
tree | 7c4344df0300c236a6cfa0f73e1e80d5f7f3091d /foot | |
parent | 14fb0d37525aef2347ab061d1dcfb1b574d56b16 (diff) | |
parent | 0ecfabfed9023dd5c45a9851f452c87eaf56723a (diff) |
Sync to master
Diffstat (limited to 'foot')
-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> |