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

   1 .mw-rcfilters-ui-watchlistTopSectionWidget {
   2         &-editWatchlistButton {
   3                 float: right;
   4                 margin-left: 3em;
   5         }
   6
   7         &-savedLinks {
   8                 float: right;
   9         }
  10
  11         .mw-rcfilters-ui-table {
  12                 margin-top: 1em;
  13         }
  14
  15         &-separator {
  16                 margin-top: 1em;
  17                 border-top: 2px solid #eaecf0; // Base80 AAA
  18         }
  19 }