• Robert Knight's avatar
    Use a custom element name for highlight spans · 2d971124
    Robert Knight authored
    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
    2d971124
Name
Last commit
Last update
..
images/icons Loading commit data...
scripts Loading commit data...
styles Loading commit data...