The source project of this merge request has been removed.
Improved navigation bar
Enlarge the navigation bar and move the favorite button to save space. I also hide the next button when it is not necessary
Enlarge the navigation bar and move the favorite button to save space. I also hide the next button when it is not necessary