Make navigation.md prettier.