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

what would a `margin` have to do with a `border`? I can't reproduce what you're saying.