mozilla/dxr — pull request #203 by ossreleasefeed (2013-12-09 15:41:50+00:00)
Title: Fix Bug 928892, non ajax search result ui should match ajax results

@erikrose r?