followup of #4032 - makes the settings-button bigger and adds again padd...

...ing at bottom of app-navigation (this got removed in some commit)