Update src/header/navigation.rs

Failed in 11m 31s
Build and Test (Tier 1)nix develop --command just tier1
Waited 1s
·
Ran in 11m 31s
Total Job Run Time: 11m 30s