Add CSS scroll-margin-top
to headings which contain link targets.#1077
Merged
ehuss merged 2 commits intorust-lang:master from mattheww:2019-10_scroll-marginOct 26, 2019
+12-4
scroll-margin-top
to headings which contain link targets.#1077