spasovski/zamboni — comment on commit 8337cc012d314c9b24044459df07532330e371c4
File: media/css/devhub/search.less line 91
By cvan:

you may want to combine this with the styles on line 55. and not sure we need `margin` on this. if you can imitate the styles on `/extensions/`, that'd be fine I think.