From d98d06584a43c7a52e0d528679b2ce411daf25f5 Mon Sep 17 00:00:00 2001
From: Aminda Suomalainen <suomalainen+git@mikaela.info>
Date: Sat, 4 Jun 2022 22:15:11 +0300
Subject: [PATCH] conf/foot: shrink font from 8 to 7

---
 conf/foot/foot.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/conf/foot/foot.ini b/conf/foot/foot.ini
index 8acf6827..a4fa7065 100644
--- a/conf/foot/foot.ini
+++ b/conf/foot/foot.ini
@@ -9,7 +9,7 @@
 # locked-title=no
 
 # font=monospace:size=8
-font=Noto Sans Mono:size=8, Noto Color Emoji
+font=Noto Sans Mono:size=7, Noto Color Emoji
 # font-bold=<bold variant of regular font>
 # font-italic=<italic variant of regular font>
 # font-bold-italic=<bold+italic variant of regular font>