Skip to content
Discussion options

You must be logged in to vote

There's nothing in your ironbar styles directly that would add padding. I reckon it's the base GTK theme.
https://github.com/edpyt/dotfiles/blob/3da1d8729275d12b385b707f0dfd0f6f0c1e906e/.config/gtk-3.0/settings.ini#L2

If you run ironbar inspect you can use the GTK inspector tool to select one of the buttons, then change the dropdown in the top left to 'CSS Nodes'. That'll give you an overview of the current styles applying to that widget, and show you if it's coming from the theme.

Once you identify the property, you can override it by simply setting a new value in your style.css.

Alternatively you can probably just play around with some rules and see if anything happens.

button {
  margin: 

Replies: 1 comment 5 replies

Comment options

You must be logged in to vote
5 replies
@edpyt
Comment options

@JakeStanger
Comment options

@JakeStanger
Comment options

Answer selected by edpyt
@edpyt
Comment options

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants