Resolve "Improve navigation bar"

Closes #51 (closed)

assigned to @benoit

added 3 commits

• 40881628...545a171a - 2 commits from branch master
• 9810a1ce - Improve navigation bar

Compare with previous version

marked this merge request as ready

enabled an automatic merge when the pipeline for 9810a1ce succeeds

merged

mentioned in commit 5d22b55c