geoserver/geoserver.github.io — pull request #8 by simboss (2014-05-16 13:44:30+00:00)
Title: Update nav.html

Making the navigation menu identical to the blog one