GeoNode/geonode — pull request #1729 by ischneider (2014-10-21 17:56:47+00:00)
Title: some navbar tweaks for small devices

see #1697, follow up to bf2e9a0