mozilla/dxr — pull request #185 by ossreleasefeed (2013-11-27 21:37:21+00:00)
Title: Fix Bug 943835, implement new layout tweaks

@erikrose r? Note this does not include the new tree selector yet, that will come in a follow on PR