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

   1 @import 'mediawiki.mixins';
   2
   3 .mw-rcfilters-ui-filterGroupWidget {
   4         padding-bottom: 0.5em;
   5
   6         &-title {
   7                 // TODO: Unify colors with official design palette
   8                 background: #eaecf0;
   9                 padding: 0.5em 0.75em;
  10                 color: #555a5d;
  11                 .box-sizing( border-box );
  12         }
  13
  14         &-active {
  15                 .mw-rcfilters-ui-filterGroupWidget-title {
  16                         font-weight: bold;
  17                 }
  18         }
  19 }