From a5d7259443ff5781d5f5e6081d62e72191231275 Mon Sep 17 00:00:00 2001
From: Sanchayan Maity <sanchayan@sanchayanmaity.net>
Date: Fri, 6 Jan 2023 19:13:33 +0530
Subject: [PATCH] foot: Increase font size

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

diff --git a/foot/.config/foot/foot.ini b/foot/.config/foot/foot.ini
index 305abce..65b0a86 100644
--- a/foot/.config/foot/foot.ini
+++ b/foot/.config/foot/foot.ini
@@ -4,10 +4,10 @@ term        = foot-extra
 login-shell = no
 shell       = tmux attach -t scratch
 
-font                          = JetBrains Mono:style=Medium Italic:size=11
-font-bold                     = JetBrains Mono:style=Bold:size=11
-font-italic                   = JetBrains Mono:style=SemiBold Italic:size=11
-font-bold-italic              = JetBrains Mono:style=Bold Italic:size=11
+font                          = JetBrains Mono:style=Medium Italic:size=13
+font-bold                     = JetBrains Mono:style=Bold:size=13
+font-italic                   = JetBrains Mono:style=SemiBold Italic:size=13
+font-bold-italic              = JetBrains Mono:style=Bold Italic:size=13
 box-drawings-uses-font-glyphs = yes
 dpi-aware                     = yes