For example see `BUTTON_LIST_WIDTH`: <img width="652" alt="bildschirmfoto 2018-09-30 um 20 40 13" src="https://user-images.githubusercontent.com/11627131/46261243-0f709900-c4f1-11e8-8ff6-502281d61489.png">
