resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.WatchlistTopSectionWidget.less

   1 @import 'mediawiki.ui/variables';
   2
   3 .mw-rcfilters-ui-watchlistTopSectionWidget {
   4         &-watchlistDetails {
   5                 width: 100%;
   6         }
   7
   8         &-editWatchlistButton {
   9                 vertical-align: bottom;
  10
  11                 // actual button
  12                 .oo-ui-buttonWidget {
  13                         margin-left: 3em;
  14                 }
  15         }
  16
  17         &-savedLinks {
  18                 float: right;
  19         }
  20
  21         &-savedLinksTable {
  22                 margin-top: 1em;
  23         }
  24
  25         &-separator {
  26                 margin-top: 1em;
  27                 border-top: 2px solid @colorGray14;
  28         }
  29 }