spasovski/zamboni — comment on commit 5c3589756a999a5de591d9d59d8539acb997bf32
File: media/css/devhub/search.less line 114
By cvan:

I would make this `.5em`