Only highlight doc search results via mouseover if mouse has moved#72968

Merged

bors merged 1 commit intorust-lang:masterfrom integer32llc:docs-arrow-keys

Jun 19, 2020

+24-13

Commits on Jun 4, 2020

Only highlight results via mouseover if mouse has moved
carols10cents
committed