Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fixing incorrect indentation in the right menu #2441

Merged
merged 1 commit into from
Dec 17, 2019
Merged

Fixing incorrect indentation in the right menu #2441

merged 1 commit into from
Dec 17, 2019

Conversation

jhromadik
Copy link
Contributor

@jhromadik jhromadik commented Dec 17, 2019

This happens when the difference between the last heading of the previous section and the first heading of the current section is more than 1.

Fixes #2440.

…ence between the last heading of the previous section and the first heading of the current section is more than 1
@jhromadik jhromadik changed the title Fixes #2440 - incorrect indentation in the right menu Fixing incorrect indentation in the right menu Dec 17, 2019
@matthid matthid changed the base branch from master to release/next December 17, 2019 15:17
@matthid
Copy link
Member

matthid commented Dec 17, 2019

Thanks, looks good to me!

@matthid matthid merged commit 91f5df8 into fsprojects:release/next Dec 17, 2019
@jhromadik jhromadik deleted the right-menu-indent-fix branch December 17, 2019 15:26
@matthid matthid mentioned this pull request Dec 17, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Incorrect indentation in the right menu in docs
2 participants