hidden proof styling, and navbar
Merge pull request #53 from BooksHTML/navbar1

hidden proof styling, and navbar