navbar: link to docs, link to filelist (admin only), better mobile support