From 960b354b31e1c2084066f6cba3d923f2a85a9e84 Mon Sep 17 00:00:00 2001
From: Oliver Davies <oliver@oliverdavies.dev>
Date: Tue, 23 Jul 2024 21:32:25 +0100
Subject: [PATCH] awesome: change font size

---
 config/awesome/theme.lua           | 2 +-
 config/awesome/widgets/battery.lua | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/config/awesome/theme.lua b/config/awesome/theme.lua
index 72f1f19..669b8c2 100644
--- a/config/awesome/theme.lua
+++ b/config/awesome/theme.lua
@@ -11,7 +11,7 @@ local themes_path = gfs.get_themes_dir()
 
 local theme = {}
 
-theme.font = "sans 10"
+theme.font = "sans 9"
 
 theme.bg_normal = "#222222"
 theme.bg_focus = "#535d6c"
diff --git a/config/awesome/widgets/battery.lua b/config/awesome/widgets/battery.lua
index f788963..3eadb20 100644
--- a/config/awesome/widgets/battery.lua
+++ b/config/awesome/widgets/battery.lua
@@ -7,7 +7,7 @@ local gears = require "gears"
 local wibox = require "wibox"
 
 local text = wibox.widget {
-  font = "sans 10",
+  font = "sans 9",
   widget = wibox.widget.textbox,
 }