optimize styling of search result highlighting
display tags
generate id based on url and indexing project to prevent collisions
add possibility to create static links as navigation items
Merge branch 'master' into gh-pages
move navigation onto own page
fix sorting of navigation
Merge branch 'master' into gh-pages