The size of the buttons are defined in px, and we want the buttons+text to look the same in every environment.