From ef98a781f168973dec6b1f8e4af8428784a2a8fb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20Av=C3=A9?= <email@thomasave.be>
Date: Sun, 31 Jul 2022 18:13:02 +0200
Subject: [PATCH] Change border color

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

diff --git a/awesome/theme.lua b/awesome/theme.lua
index b179dc5..30f0ab1 100644
--- a/awesome/theme.lua
+++ b/awesome/theme.lua
@@ -50,7 +50,7 @@ theme.gap_single_client = false
 -- Window Borders
 theme.border_width = dpi(3)
 theme.border_normal = "#00000000"
-theme.border_focus = "#2c3496"
+theme.border_focus = "#002F5F"
 theme.border_marked = theme.fg_urgent
 
 -- Tasklist