From dcdf17d9d894c9ca395c8bab1e75e69fe7defcb7 Mon Sep 17 00:00:00 2001
From: Charles Gagnon <charlesg99@outlook.com>
Date: Tue, 25 Nov 2025 12:32:41 -0500
Subject: [PATCH] Join panel margins to existing panelBox theme padding

gh-2424
---
 src/panel.js | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/src/panel.js b/src/panel.js
index 1a72d3d..b0e2af2 100644
--- a/src/panel.js
+++ b/src/panel.js
@@ -1108,16 +1108,23 @@ export const Panel = GObject.registerClass(
     }
 
     _setPanelBoxStyle(disable) {
-      let style = ''
+      this.panelBox.set_style('')
 
       if (!disable) {
         let topBottomMargins = SETTINGS.get_int('panel-top-bottom-margins')
         let sideMargins = SETTINGS.get_int('panel-side-margins')
+        let panelBoxTheme = this.panelBox.get_theme_node()
+        let getPadding = (side) => panelBoxTheme.get_padding(side)
 
-        style = `padding: ${this.geom.topOffset + topBottomMargins}px ${sideMargins}px ${topBottomMargins}px;`
+        // add existing theme padding to dtp panel margins
+        this.panelBox.set_style(
+          `padding: 
+              ${this.geom.topOffset + topBottomMargins + getPadding(St.Side.TOP)}px 
+              ${sideMargins + getPadding(St.Side.RIGHT)}px 
+              ${topBottomMargins + getPadding(St.Side.BOTTOM)}px 
+              ${sideMargins + getPadding(St.Side.LEFT)}px;`,
+        )
       }
-
-      this.panelBox.set_style(style)
     }
 
     _maybeSetDockCss(disable) {