Put <div class="container"> inside navbar

The effect of this change is that the navigation bar doesn't stretch to the edge of the browser window but instead has the same left/right extent as the page body. Most bootstrap pages do things that way. (Btw, most of the diff is caused by extra indentation. WIth `git diff -b` it's just four lines.)