Small icon buttons look odd

[trepidacious]

This is very minor, but since I really like everything else about the theme it seems worth mentioning. The very small buttons used in terminal-plus look odd with a border, since the icons get close to the edge of the button:

This looks better in some other themes that just have a slightly different coloured background for buttons, rather than a high contrast border. I guess this is also possibly a problem with terminal-plus - if the icons didn't get so close to the edge of the button, and were centered better, it would probably look fine.

[ignism]

streamlined since patch 0.7.18