The navigation bar of Library is now fixed (#375)