From 990d78b23fbd5657e66d2eaf334d02f2bbd308e9 Mon Sep 17 00:00:00 2001
From: Johannes Rothe <rothe@magazino.eu>
Date: Tue, 11 Oct 2022 07:29:10 +0200
Subject: [PATCH] foot: decrease font size

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

diff --git a/roles/dotfiles/files/foot.ini b/roles/dotfiles/files/foot.ini
index 7f2696c..a80cc81 100644
--- a/roles/dotfiles/files/foot.ini
+++ b/roles/dotfiles/files/foot.ini
@@ -7,7 +7,7 @@
 # app-id=foot
 # title=foot
 # locked-title=no
-font=Roboto Mono:size=11
+font=Roboto Mono:size=10
 # font-bold=<bold variant of regular font>
 # font-italic=<italic variant of regular font>
 # font-bold-italic=<bold+italic variant of regular font>