3 ms·

I believe all GTK3 themes are CSS so you might be able to edit the padding manually. However, this goes against it being easy to customize.

• skriticos2 12y ago
  It also quite undocumented so you spend a day or two googling around and breaks on random minor updates when the package manager overwrites your changes again. Sounds fun.
  • A_COMPUTER 12y ago
    They will probably never document it because they don't think anybody should change it. On the other hand, I can't stand invisible borders and I always need to increase the border grab range. So just a good, highly-googleranked blogpost would be nice. I think the "correct" way is to copy the theme from /usr/share/themes to ~/.themes and make your changes there, then it won't break if the package manager updates them.
  • deleted 12y ago
    [deleted]