followup of #4032 - makes the settings-button bigger and adds again padding at bottom of app-navigation
parent
59e4ff7d24
commit
710d3f139f
Loading…
Reference in new issue