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

   1 @background-color-base: #fff;
   2 @background-color-primary: #eaf3ff;
   3 @color-base--inverted: #fff;
   4
   5 // Colors not on WikimediaUI color palette
   6 @light-gray: #dee0e3;
   7 @light-green: #ccdecc;
   8
   9 // Highlight color definitions
  10 @highlight-none: #fff;
  11 @highlight-c1: #36c;
  12 @highlight-c2: #00af89;
  13 @highlight-c3: #fc3;
  14 @highlight-c4: #ff6d22;
  15 @highlight-c5: #d33;
  16 @highlight-bluedot: #1d4aad; // Simulates the 'known' browser <li> blue dot
  17 @highlight-grey: #54595d; // The color of full dots on Watchlist when highlight is enabled
  18
  19 // Muted state
  20 @muted-opacity: 0.5;
  21
  22 // Result list circle indicators
  23 // Defined and used in mw.rcfilters.ui.ChangesListWrapperWidget.less
  24 @result-circle-margin: 3px;
  25 @result-circle-general-margin: 0.5em;
  26 // In these small sizes, 'em' appears
  27 // squished and inconsistent.
  28 // Pixels are better for this use case:
  29 @result-circle-diameter: 6px;