mozilla/dxr — pull request #311 by ehsan (2014-08-18 17:52:07+00:00)
Title: Make sure that the Diff link in the navigation menu doesn't pick up the style for diff files

This fixes https://bugzilla.mozilla.org/show_bug.cgi?id=1055131