The navbar now implements a collapsing list of projects. It was just a matter of implementing a standard Bootstrap drop-down navmenu, but having never done it, took me a while to sort out. (Hint for those who follow: Be sure you’re reading the Bootstrap docs for the version of Bootstrap you’re actually using. :-)
