Initial styling for richtextblock elements.
Completed styling for REST JSON interface post.
Implement desktop version of dropdown menus.
Modifications for the mobile dropdown menus.
Correct mobile styles that leaked into desktop dropdowns.
Merging in fix-search.
Incomplete: Adding keyboard navigation to drop-down menus.
Rewrite of React-bootstrap navigation to handle events more consistently. Does minimal keyboard navigation.
Small correction to blur function in NavItem.js
Marking for coming experiment.
Back to basics; no keyboard navigation for now.
Updated Behave tests to work with dropdown menus; fixed bad link in Target menu.
Allow one menu click to close another menu.
Merging in master.
Merging in master.
Clicking an open menu title now closes it.
Reduced vertical spacing within a menu.
Merging in master.
Merge in master; update styles.
Merging in master.