Use a custom element name for highlight spans
Use the same trick that was applied to the adder in d9644a80 to reduce the likelihood of the page's own CSS styling modifying the appearance of highlights. Compared to alternative methods which would raise the precedence of highlight styling (inline styles, !important !all !the !things, selector precedence hacks), this approach is simpler as it makes the conflicting rule from the page's own styling not apply at all. Fixes hypothesis/h#3520
Showing
Please register or sign in to comment