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         }
   8
   9         &-header {
  10                 border-bottom: 1px solid #c8ccd1;
  11                 background: #f8f9fa;
  12                 overflow: hidden;
  13
  14                 &-highlight {
  15                         width: 1em;
  16                         vertical-align: middle;
  17                 }
  18
  19                 &-title {
  20                         width: 100%;
  21                         vertical-align: middle;
  22                 }
  23         }
  24
  25         &-noresults {
  26                 padding: 0.5em;
  27                 // TODO: Unify colors with official design palette
  28                 color: #666;
  29         }
  30 }