foot: adjust font size one more time

diff --git a/dot-config/foot/foot.ini b/dot-config/foot/foot.ini
index 8195f2217c203d5a180a856512e3c58252d5a014..013800b65f0ff4a23f9d7888c5ba26abad61df8e 100644 (file)
--- a/dot-config/foot/foot.ini
+++ b/dot-config/foot/foot.ini
@@ -15,8 +15,8 @@ shell=/bin/fish
 # font-italic=<italic variant of regular font>
 # font-bold-italic=<bold+italic variant of regular font>
 # font-size-adjustment=0.5
-font=ZedMono NFP:size=14:weight=normal
-font-bold=ZedMono NFP:size=14:weight=bold
+font=ZedMono NFP:size=13:weight=normal
+font-bold=ZedMono NFP:size=13:weight=bold
 # font-italic=IosevkaTerm NFM:size=12:style=italic:weight=200
 # font-bold-italic=IosevkaTerm NFM:size=12:slant=italic:weight=500
 # line-height=<font metrics>