commit navbar resized

customized bootstrap css (with comments) to adjust the navbar to the
brand.