• 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
.github Loading commit data...
docs Loading commit data...
h Loading commit data...
images Loading commit data...
scripts Loading commit data...
.eslintignore Loading commit data...
.eslintrc Loading commit data...
.gitignore Loading commit data...
.npmignore Loading commit data...
.npmrc Loading commit data...
.travis.yml Loading commit data...
CHANGELOG.md Loading commit data...
CODE_OF_CONDUCT Loading commit data...
Jenkinsfile Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
gulpfile.js Loading commit data...
npm-shrinkwrap.json Loading commit data...
package.json Loading commit data...