Improve the design of the navigation bar

Put the shortcuts on the left, buttons at the right, and insert placeholder icons
instead of hiding the links when necessary.

Move the book title into the page title.

https://bugzilla.gnome.org/show_bug.cgi?id=696570