followup of #4032 - makes the settings-button bigger and adds again padding at bottom of app-navigation