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         &-header {
   7                 background: #eaecf0;
   8                 padding: 0.5em 0.75em;
   9
  10                 &-title {
  11                         // TODO: Unify colors with official design palette
  12                         color: #555a5d;
  13                         .box-sizing( border-box );
  14                         display: inline-block;
  15                 }
  16         }
  17
  18         &-whatsThisButton {
  19                 display: inline-block;
  20                 margin-left: 1.5em;
  21
  22                 &.oo-ui-buttonElement {
  23                         vertical-align: text-bottom;
  24
  25                         & > .oo-ui-buttonElement-button {
  26                                 font-weight: normal;
  27                         }
  28                 }
  29
  30                 &-popup-content {
  31                         padding: 1em;
  32
  33                         &-header {
  34                                 font-weight: bold;
  35                                 margin-bottom: 1em;
  36                         }
  37
  38                         &-link {
  39                                 margin: 1em 0;
  40
  41                         }
  42
  43                         .oo-ui-buttonElement-frameless.oo-ui-labelElement > .oo-ui-buttonElement-button > .oo-ui-labelElement-label {
  44                                 margin-left: 0;
  45                         }
  46                 }
  47         }
  48
  49         &-active {
  50                 .mw-rcfilters-ui-filterGroupWidget-header-title {
  51                         font-weight: bold;
  52                 }
  53         }
  54 }