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

   1 @import 'mediawiki.mixins';
   2
   3 .mw-rcfilters-ui-filterMenuHeaderWidget {
   4         &-title {
   5                 font-size: 1.2em;
   6                 padding: 0.75em 0.5em;
   7                 // TODO: Unify colors with official design palette
   8                 color: #54595d;
   9         }
  10
  11         &-header {
  12                 border-bottom: 1px solid #c8ccd1;
  13                 background: #f8f9fa;
  14
  15                 &-highlight {
  16                         width: 1em;
  17                         vertical-align: middle;
  18                         // Using the same padding that the filter item
  19                         // uses, so the button is aligned with the highlight
  20                         // buttons for the filters
  21                         padding-right: 0.5em;
  22                 }
  23
  24                 &-title {
  25                         width: 100%;
  26                         vertical-align: middle;
  27                 }
  28         }
  29 }