various navigation bar improvements; closes #163; closes #147