resources/src/mediawiki.rcfilters/styles/mw.rcfilters.variables.less

   1 // Highlight color definitions
   2 @highlight-none: #fff;
   3 @highlight-c1: #36c;
   4 @highlight-c2: #00af89;
   5 @highlight-c3: #fc3;
   6 @highlight-c4: #ff6d22;
   7 @highlight-c5: #d33;
   8
   9 // Muted state
  10 @muted-opacity: 0.5;
  11
  12 // Result list circle indicators
  13 // Defined and used in mw.rcfilters.ui.ChangesListWrapperWidget.less
  14 @result-circle-margin: 3px;
  15 @result-circle-general-margin: 0.5em;
  16 // In these small sizes, 'em' appears
  17 // squished and inconsistent.
  18 // Pixels are better for this use case:
  19 @result-circle-diameter: 6px;