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                 &-invert,
  16                 &-highlight {
  17                         width: 1em;
  18                         vertical-align: middle;
  19                         // Using the same padding that the filter item
  20                         // uses, so the button is aligned with the highlight
  21                         // buttons for the filters
  22                         padding-right: 0.5em;
  23                 }
  24
  25                 &-back {
  26                         width: 1em;
  27                         vertical-align: middle;
  28                         padding-left: 0.5em;
  29                 }
  30
  31                 &-title {
  32                         width: 100%;
  33                         vertical-align: middle;
  34                 }
  35         }
  36 }