A minimap binding for the highlight-selected package.
If you want to change the color of the minimap highlights use the following CSS rules in your user stylesheet:
/* The rule for normal highlights */.minimap .highlight-selected {background: blue;}/* The rule for selected highlights */.minimap .highlight-selected.selected {background: red;}
Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.