From ac34117c6c74b2fec79100a8cfb738674dfc58c1 Mon Sep 17 00:00:00 2001
From: Johannes Rothe <rothe@magazino.eu>
Date: Wed, 14 Sep 2022 19:45:48 +0200
Subject: [PATCH] foot.ini: font size

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

diff --git a/roles/dotfiles/files/foot.ini b/roles/dotfiles/files/foot.ini
index 5326aca..7f2696c 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=9
+font=Roboto Mono:size=11
 # font-bold=<bold variant of regular font>
 # font-italic=<italic variant of regular font>
 # font-bold-italic=<bold+italic variant of regular font>
@@ -17,7 +17,7 @@ font=Roboto Mono:size=9
 # vertical-letter-offset=0
 # underline-offset=<font metrics>
 # box-drawings-uses-font-glyphs=no
-dpi-aware=auto
+dpi-aware=no
 
 # initial-window-size-pixels=700x500  # Or,
 # initial-window-size-chars=<COLSxROWS>