dart-lang/chromedeveditor — pull request #2955 by dinhviethoa (2014-07-24 20:49:33+00:00)
Title: Use bigger fonts for search

![screen shot 2014-07-24 at 1 48 49 pm](https://cloud.githubusercontent.com/assets/332168/3694607/f13f669c-1373-11e4-86f5-c172f0565a4f.png)

TBR: @devoncarew @ussuri