Fix smooth scrolling on index doc page#6390

Merged

smarter merged 1 commit intoscala:masterfrom

Jentsch:Fix-Scrolling

Apr 29, 2019

Commits on Apr 29, 2019

Fix smooth scrolling on index doc page
Jentsch
committed