// Highlight color definitions
@highlight-none: #fff;
@highlight-c1: #36c;
@highlight-c2: #00af89;
@highlight-c3: #fc3;
@highlight-c4: #ff6d22;
@highlight-c5: #d33;

// Muted state
@muted-opacity: 0.5;

// Result list circle indicators
// Defined and used in mw.rcfilters.ui.ChangesListWrapperWidget.less
@result-circle-margin: 3px;
@result-circle-general-margin: 0.5em;
// In these small sizes, 'em' appears
// squished and inconsistent.
// Pixels are better for this use case:
@result-circle-diameter: 6px;