theme: add button padding and spacing (#2127)

While at it, separate corner width from button
width. Both are independed and having them
separately improves readability.
This commit is contained in:
Jens Peters 2024-09-09 17:43:38 +02:00 committed by Johan Malm
parent 8850368ab9
commit 824b0fa4e3
13 changed files with 105 additions and 39 deletions

View file

@ -7,6 +7,7 @@
# general
border.width: 1
padding.width: 0
padding.height: 3
# The following options has no default, but fallbacks back to
@ -29,8 +30,9 @@ window.active.label.text.color: #000000
window.inactive.label.text.color: #000000
window.label.text.justify: center
# window button width
# window button width and spacing
window.button.width: 26
window.button.spacing: 0
# window buttons
window.active.button.unpressed.image.color: #000000