vufind-org/vufind — pull request #116 by datavoyager (2014-03-24 14:03:42+00:00)
Title: Bootstap menu

When a user is not logged in, links to log out, favourites etc show on the search history page. The menu should be hidden if the user is not logged in.