From af63540b8d9708c18df6712112964308f6e0182f Mon Sep 17 00:00:00 2001
From: jao <jao@gnu.org>
Date: Tue, 25 Jul 2023 04:37:57 +0100
Subject: foot now uses correct font sizes

---
 data/foot.ini | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'data')

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
-- 
cgit v1.2.3