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

   1 .mw-rcfilters-ui-filtersListWidget {
   2         &-title {
   3                 font-size: 1.2em;
   4                 padding: 0.75em;
   5                 // TODO: Unify colors with official design palette
   6                 color: #54595d;
   7                 border-bottom: 1px solid #c8ccd1;
   8                 background: #f8f9fa;
   9         }
  10
  11         &-noresults {
  12                 padding: 0.5em;
  13                 // TODO: Unify colors with official design palette
  14                 color: #666;
  15         }
  16 }