push
github
chore: improve web navigation menu and sync with `master` (#2021) Another sync with `master` branch which also includes a small improvement in routes for being able to mark as active a route in multiple paths. Useful for having "Overview" highlighted in root path too. See commit https://github.com/agama-project/agama/pull/2021/commits/ff582d4fc
116 of 164 new or added lines in 22 files covered. (70.73%)
37 existing lines in 9 files now uncovered.19655 of 27135 relevant lines covered (72.43%)
42.59 hits per line