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

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