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

   1 @import 'mediawiki.mixins';
   2 @import 'mediawiki.ui/variables';
   3 @import 'mw.rcfilters.variables';
   4
   5 .mw-rcfilters-ui-filterMenuHeaderWidget {
   6         &-title {
   7                 display: inline-block;
   8                 font-size: 1.2em;
   9                 padding: 0.75em 0 0.75em 0.5em;
  10                 color: @colorGray5;
  11         }
  12
  13         &-helpIcon {
  14                 position: absolute;
  15                 top: 50%;
  16                 .transform( translateY( -50% ) );
  17         }
  18
  19         &-header {
  20                 border-bottom: 1px solid @colorGray12;
  21                 background-color: @colorGray15;
  22
  23                 &-invert,
  24                 &-highlight {
  25                         min-width: 1em;
  26                         vertical-align: middle;
  27                         // Using the same padding that the filter item
  28                         // uses, so the button is aligned with the highlight
  29                         // buttons for the filters
  30                         padding-right: 12 / @font-size-system-ui / @font-size-vector;
  31                 }
  32
  33                 &-back {
  34                         width: 1em;
  35                         vertical-align: middle;
  36
  37                         .mw-rcfilters-ui-filterMenuHeaderWidget-backButton:first-child {
  38                                 // Overwrite `.oo-ui-buttonElement-frameless.oo-ui-iconElement:first-child`
  39                                 margin-left: 0;
  40                         }
  41                 }
  42
  43                 &-title {
  44                         position: relative;
  45                         width: 100%;
  46                         vertical-align: middle;
  47                 }
  48         }
  49 }