Scale button icons

The user can tweak the icon size for the buttons. The tab icons will follow the font size but the button icons can be overruled by this setting making the theme a bit more adaptable.