diff options
| -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 31afec1..9d1c8c1 100644 --- a/foot/foot.ini +++ b/foot/foot.ini @@ -1,5 +1,5 @@ [main] -font=JetBrainsMono-Regular:size=14 +font=JetBrainsMono-Regular:size=13 dpi-aware=no include=/usr/share/foot/themes/zenburn |