Merge pull request #712 from ngokevin/themesearch

allow searching for themes in reviewer tools (bug 855191)
style theme review queue nav links (bug 855612)