rustdoc: remove hover gap in file picker#102799

Merged

bors merged 2 commits intorust-lang:masterfrom rol1510:issue-100421-fix

Oct 9, 2022

+22-1

Commits on Oct 7, 2022

rustdoc: remove hover gap in file picker
rol1510
committed

Commits on Oct 9, 2022

rustdoc: fix file picker marker renders twice on ios
rol1510
committed