Better active_navigation helper method.
Merge branch 'augmenting245_redesigning_website' into develop
Merge branch 'develop' into develop.ontohub.org
Show external repository URL if imported.
Merge branch 'augmenting245_redesigning_website' into develop
Merge branch 'develop' into develop.ontohub.org