hidden proof styling, and navbar