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

   1 @import 'mediawiki.mixins';
   2
   3 .mw-rcfilters-ui-filterMenuSectionOptionWidget {
   4         background: #eaecf0;
   5         padding-bottom: 0.7em;
   6
   7         &-header {
   8                 padding: 0 0.75em;
   9                 // Use a high specificity to override OOUI
  10                 .oo-ui-optionWidget.oo-ui-labelElement &-title.oo-ui-labelElement-label {
  11                         // TODO: Unify colors with official design palette
  12                         color: #555a5d;
  13                         .box-sizing( border-box );
  14                         display: inline-block;
  15                         line-height: normal;
  16                 }
  17         }
  18
  19         &-whatsThisButton {
  20                 margin-left: 1.5em;
  21                 &.oo-ui-buttonElement {
  22                         vertical-align: text-bottom;
  23
  24                         & > .oo-ui-buttonElement-button {
  25                                 font-weight: normal;
  26                                 // Override OOUI's definitions for button
  27                                 border-color: transparent;
  28                                 padding: 0;
  29
  30                                 &:focus {
  31                                         box-shadow: none;
  32                                         outline: 0;
  33                                 }
  34                         }
  35                 }
  36
  37                 &-popup-content {
  38                         padding: 1em;
  39
  40                         &-header {
  41                                 font-weight: bold;
  42                                 margin-bottom: 1em;
  43                         }
  44
  45                         &-link {
  46                                 margin: 1em 0;
  47                         }
  48
  49                         .oo-ui-buttonElement-frameless.oo-ui-labelElement > .oo-ui-buttonElement-button > .oo-ui-labelElement-label {
  50                                 margin-left: 0;
  51                         }
  52                 }
  53         }
  54
  55         &-active {
  56                 .mw-rcfilters-ui-filterMenuSectionOptionWidget-header-title {
  57                         font-weight: bold;
  58                 }
  59         }
  60 }