Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add scroll-margin-top to headings which contain link targets.
This means when the link is followed, the page scrolls in such a way as to leave space for the fixed menu bar. Fixes rust-lang#1040
- Loading branch information