min-height: @rcfilters-head-min-height;
margin-bottom: @rcfilters-head-margin-bottom;
}
// On the watchlist, reserve a bit more
min-height: @rcfilters-head-min-height;
margin-bottom: @rcfilters-head-margin-bottom;
}
// On the watchlist, reserve a bit more