bnmnetp/runestone — pull request #116 by isaacdontjelindell (2013-06-05 16:33:49+00:00)
Title: Put search, social media buttons, and user account management in dropdown menus

Lots of tweaks to layout in Bootstrap navbar.