From ce3d4e8f01c8c92a4f86da5921639c28a9fadb13 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20Av=C3=A9?= <email@thomasave.be>
Date: Thu, 21 Jul 2022 16:12:11 +0200
Subject: [PATCH] Adjust font sizing

---
 awesome/theme.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/awesome/theme.lua b/awesome/theme.lua
index af8906f..103274b 100644
--- a/awesome/theme.lua
+++ b/awesome/theme.lua
@@ -25,7 +25,7 @@ local theme = {}
 theme.name = "pastel"
 
 -- Font
-theme.font = "Ubuntu 13"
+theme.font = "Ubuntu 12"
 theme.title_font = "Ubuntu 12"
 
 -- Background