Add search capability to book repos and button to download the PDF and EPUB #108
Description
Phil made a quick mockup of one idea for doing this - http://mountainbunker.org/~schatz/kathi/mock-topbar.html
Attaching png also.
With all features expanded (forgot to show phil.../anatomy-... expands out when you hover):
