diff options
author | jao <jao@gnu.org> | 2023-07-25 04:37:57 +0100 |
---|---|---|
committer | jao <jao@gnu.org> | 2023-07-25 04:37:57 +0100 |
commit | af63540b8d9708c18df6712112964308f6e0182f (patch) | |
tree | ee07c6bf45d27dfe03f580c1da0e96e43d3fcfa1 | |
parent | 4168cc5a46533273d8a25dc66a8317c87be3a1ba (diff) | |
download | elibs-af63540b8d9708c18df6712112964308f6e0182f.tar.gz elibs-af63540b8d9708c18df6712112964308f6e0182f.tar.bz2 |
foot now uses correct font sizes
-rw-r--r-- | data/foot.ini | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/data/foot.ini b/data/foot.ini index 3155edc..7063716 100644 --- a/data/foot.ini +++ b/data/foot.ini @@ -1,7 +1,7 @@ # -*- conf -*- -font=DejaVu Sans Mono:size=5, Noto Color Emoji:size=5 -font-bold=DejaVu Sans Mono:size=5:weight=semibold +font=DejaVu Sans Mono:size=9, Noto Color Emoji:size=9 +font-bold=DejaVu Sans Mono:size=9:weight=semibold # font=Iosevka Comfy Fixed:size=6 # font-bold=Iosevka Comfy Motion:size=6:weight=bold |