make navigation highlighting dynamic
Merge pull request #23 from KaMaria/highlight_navigation

make navigation highlighting dynamic