Если несколько раз подряд наложить выделение на один и тот же текст, то выделение становится всё жирнее и жирнее, а его прозрачность суммируется, от 10% до всех 100%.
Насколько я помню, раньше новое выделение, накладываемое на старое, снимало уже существующее выделение.
Это баг, или так и задумано?