From a2c94c16b5c5626b9838d5c48f984bb3ff6ed195 Mon Sep 17 00:00:00 2001
From: Uwe Kindler <uwe_kindler@web.de>
Date: Mon, 27 Nov 2023 22:04:45 +0100
Subject: [PATCH] Fixed bug in focus_highlighting.css stylesheet

---
 src/stylesheets/focus_highlighting.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/stylesheets/focus_highlighting.css b/src/stylesheets/focus_highlighting.css
index a699b1d..758f586 100644
--- a/src/stylesheets/focus_highlighting.css
+++ b/src/stylesheets/focus_highlighting.css
@@ -333,7 +333,7 @@ ads--CAutoHideDockContainer ads--CDockAreaWidget[focused="true"] ads--CDockAreaT
 
 
 ads--CAutoHideDockContainer #dockAreaAutoHideButton {
-	qproperty-icon: url(:/ads/images/vs-pin-button-pinned-focused.svg),
+	qproperty-icon: url(:/ads/images/vs-pin-button-pinned-focused.svg);
 	qproperty-iconSize: 16px;
 }