Merge "RCFilters: Basic implementation of live updates"
[lhc/web/wiklou.git] / resources / src / mediawiki.rcfilters / styles / mw.rcfilters.ui.FilterWrapperWidget.less
index dc8b013..5aa866d 100644 (file)
@@ -1,5 +1,14 @@
 .mw-rcfilters-ui-filterWrapperWidget {
+       margin-top: 1em;
        width: 100%;
        // Make sure this uses the interface direction, not the content direction
        direction: ltr;
+
+       &-viewToggleButtons {
+               margin-top: 1em;
+       }
+
+       &-bottom {
+               margin-top: 1em;
+       }
 }