Ensure that nav menu styles do not get merged during minification (#2011)
Ensure that nav menu styles do not get merged during minification (#2011)

* Ensure that styles do not get merged during minification

* Add comment

travis-ci/travis-web,travis-ci/travis-web,travis-ci/travis-web,travis-ci/travis-web