diff options
author | zachir <zachir@librem.one> | 2023-04-20 14:46:33 -0500 |
---|---|---|
committer | zachir <zachir@librem.one> | 2023-04-20 14:53:52 -0500 |
commit | b63a95de9f9fa3c81377a3a86aa2a890dc940ca7 (patch) | |
tree | 75436e3303b5dc34e21605e12b3daed7b6880e52 /foot/foot.ini | |
parent | 59bd2b89d3f772c0c1cf16316a26f5c86b108fec (diff) |
Resize foot font
Diffstat (limited to 'foot/foot.ini')
-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 11ebba6..429b0e4 100644 --- a/foot/foot.ini +++ b/foot/foot.ini @@ -8,7 +8,7 @@ # title=foot # locked-title=no -font=mononoki Nerd Font Mono:size=10 +font=mononoki Nerd Font Mono:size=7 # font-bold=<bold variant of regular font> # font-italic=<italic variant of regular font> # font-bold-italic=<bold+italic variant of regular font> |