navigation bar (hide-able when using the html api)