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 | |
| parent | 59bd2b89d3f772c0c1cf16316a26f5c86b108fec (diff) | |
Resize foot font
| -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> |