Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix spacing of the icons #231
Description of the Change
This PR adds some margin to icons. Also, fixes padding/margin when the tiles are buttons.
Wide icons don't touch the text.
It may breaks themes that already added a "gap" in a different way, for example by using