diff options
| author | Maciej Sobkowski <maciej@sobkow.ski> | 2025-11-03 12:48:02 +0100 |
|---|---|---|
| committer | Maciej Sobkowski <maciej@sobkow.ski> | 2025-11-03 12:48:07 +0100 |
| commit | 4f7b5dff39022c851688aefbc44b155f03cbf39e (patch) | |
| tree | 6a99f7cf3edf1bdc63a3ea3cacd365a82a46cc50 /.config/foot/foot.ini | |
| parent | 91f68792050745f3353ab72f3bc7d24af5b570e4 (diff) | |
foot: increase font size, set line-height
With some font settings NERD fonts have rendering issues (see [1]).
[1] https://codeberg.org/dnkl/foot/issues/1463
Diffstat (limited to '.config/foot/foot.ini')
| -rw-r--r-- | .config/foot/foot.ini | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.config/foot/foot.ini b/.config/foot/foot.ini index b67b599..4135ef4 100644 --- a/.config/foot/foot.ini +++ b/.config/foot/foot.ini @@ -8,7 +8,8 @@ # title=foot # locked-title=no -font=Iosevka Nerd Font:size=9, Noto Color Emoji:size=8.5 +font=Iosevka Nerd Font:size=11, Noto Color Emoji:size=8.5 +line-height=18px # font-bold=<bold variant of regular font> # font-italic=<italic variant of regular font> # font-bold-italic=<bold+italic variant of regular font> |