From f9af3a0937e39339cb93b43ced7767260c71ed08 Mon Sep 17 00:00:00 2001
From: Aminda Suomalainen <suomalainen+git@mikaela.info>
Date: Fri, 27 May 2022 16:06:54 +0300
Subject: [PATCH] foot: also change font

---
 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 dd8850f5..80de9108 100644
--- a/conf/foot/foot.ini
+++ b/conf/foot/foot.ini
@@ -9,7 +9,7 @@
 # locked-title=no
 
 # font=monospace:size=8
-font=DejaVuSansMono, Noto Color Emoji
+font=Noto Sans Mono:size=10, 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>