Created attachment 8212 Add launcher styleclass Patch included. Add a launcher style class to make it easier to style all launchers as a set. For example: .launcher image { -gtk-icon-transform: scale(0.5); } OR .launcher button { margin: 5px }
You can instead use the already available widget name #launcher-arrow, e.g. like this: #launcher-arrow image { -gtk-icon-transform: scale(0.5); } or #launcher-arrow { margin: 5px; } Personally I feel this is sufficient. In theory we can switch to a class instead of the widget name though - I know many prefer classes over names (although I'm not sure why exactly :))
That makes sense. Thanks.