Don't munge window.location.hash to fix scroll positions#873

Merged

jyn514 merged 2 commits intorust-lang:masterfrom

antifuchs:url-hash-modification

Jul 13, 2020

Commits on Jul 13, 2020

removed fixed

Kestrer
authored and
antifuchs
committed
Use scroll-padding-top to position anchors correctly in the viewport
antifuchs
committed