MediaWiki 1.30.2

[autoinstallsdev/mediawiki.git] / resources / src / mediawiki.rcfilters / styles / mw.rcfilters.ui.WatchlistTopSectionWidget.less

diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.WatchlistTopSectionWidget.less b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.WatchlistTopSectionWidget.less
new file mode 100644 (file)
index 0000000..5e1e118
--- /dev/null
+++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.WatchlistTopSectionWidget.less
@@ -0,0 +1,27 @@
+.mw-rcfilters-ui-watchlistTopSectionWidget {
+       &-watchlistDetails {
+               width: 100%;
+       }
+
+       &-editWatchlistButton {
+               vertical-align: bottom;
+
+               // actual button
+               .oo-ui-buttonWidget {
+                       margin-left: 3em;
+               }
+       }
+
+       &-savedLinks {
+               float: right;
+       }
+
+       .mw-rcfilters-ui-table {
+               margin-top: 1em;
+       }
+
+       &-separator {
+               margin-top: 1em;
+               border-top: 2px solid #eaecf0; // Base80 AAA
+       }
+}