--- a/src/eric7/Styles/eric7_Dark_Gray.qss Fri Oct 14 14:20:15 2022 +0200 +++ b/src/eric7/Styles/eric7_Dark_Gray.qss Fri Oct 14 14:46:40 2022 +0200 @@ -1335,7 +1335,10 @@ background-color: #323232; border: 1px solid #7e7e7e; border-radius: 4px; - padding: 2px; + padding-top: 2px; + padding-bottom: 2px; + padding-left: 4px; + padding-right: 4px } QToolButton:checked { @@ -1427,7 +1430,10 @@ background-color: #323232; border: 1px solid #7e7e7e; border-radius: 4px; - padding: 2px; + padding-top: 2px; + padding-bottom: 2px; + padding-left: 4px; + padding-right: 4px } QPushButton:default {