shrink navbars a little
inherit bootstrap properly

need *both* bootstrap and responsive in style.less, neither in page.html.