Max Rumpf 2473bd8ea9
Decrease size of search bar and remove outline (#3611)
This ensures that the close button stays in the first line, and doesn't get pushed below the search icon.
2017-10-21 09:56:22 +02:00
..
2014-12-21 12:17:37 -08:00
2014-12-21 12:17:37 -08:00
2017-06-22 00:17:49 -07:00
2014-12-21 12:17:37 -08:00
2014-12-21 12:17:37 -08:00
2014-12-21 12:17:37 -08:00
2015-10-27 23:50:52 -07:00