RFC: Navigation bar tweaks
See individual commits. Not entirely sure about all of this, mainly aiming at freeing a bit of space in the navigation bar so we don't end up with multiple line breaks on small screens for verbose translations there. Opinions?