From 18a774a1424ebb4888edc2561950ce66618984fb Mon Sep 17 00:00:00 2001
From: Charles Gagnon <charlesg99@outlook.com>
Date: Tue, 10 Sep 2019 08:54:25 -0400
Subject: [PATCH] Adjust boxes padding

---
 panel.js       | 5 +++--
 stylesheet.css | 4 ++--
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/panel.js b/panel.js
index 2802234..ebcffec 100644
--- a/panel.js
+++ b/panel.js
@@ -709,17 +709,18 @@ var dtpPanel = Utils.defineClass({
                 actor.vertical = isVertical;
             }
 
-            if (actor instanceof PanelMenu.Button) {
+            if (actor instanceof PanelMenu.ButtonBox) {
                 let child = actor.get_first_child();
 
                 if (child) {
                     let currentStyle = child.get_style();
-                    let style = 'padding: ' + (isVertical ? '8px 0' : '0');
+                    let style = 'padding: ' + (isVertical ? '6px 0' : '0');
 
                     if (currentStyle && currentStyle != style) {
                         style = currentStyle + (currentStyle.trim().slice(-1) != ';' ? ';' : '') + style;
                     }
 
+                    actor.set_width(isVertical ? size : -1);
                     child.set_style(style);
                 }
             }
diff --git a/stylesheet.css b/stylesheet.css
index 2e7fc53..4a71286 100644
--- a/stylesheet.css
+++ b/stylesheet.css
@@ -72,8 +72,8 @@
 }
 
 .dashtopanelPanel.vertical .panel-button * {
-	padding: 1px 0;
-	margin: 0; 
+	padding: 0;
+	margin: 1px 0; 
 }
 
 #dashtopanelThumbnailList {