Change the theme in navigation.md.
Fix blackarch theme.