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

doc: adjust TOC margins #28075

Closed
wants to merge 1 commit into from

Conversation

@silverwind
Copy link
Contributor

commented Jun 5, 2019

Checklist
  • make -j4 test (UNIX), or vcbuild test (Windows) passes
  • commit message follows commit guidelines

Adjusted the margins in the Documentation's TOC to be less weird and uniform within the elements of the TOC tree.

Before:

After:

@lpinca
lpinca approved these changes Jun 5, 2019
@trivikr
trivikr approved these changes Jun 5, 2019
@ZYSzys
ZYSzys approved these changes Jun 6, 2019
@Trott
Trott approved these changes Jun 6, 2019
@silverwind

This comment has been minimized.

Copy link
Contributor Author

commented Jun 7, 2019

Thanks! Landed in 6447be6.

@silverwind silverwind closed this Jun 7, 2019

@silverwind silverwind deleted the silverwind:doc-toc-margin branch Jun 7, 2019

silverwind added a commit that referenced this pull request Jun 7, 2019
doc: adjust TOC margins
PR-URL: #28075
Reviewed-By: Rich Trott <rtrott@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Trivikram Kamat <trivikr.dev@gmail.com>
Reviewed-By: Yongsheng Zhang <zyszys98@gmail.com>
BridgeAR added a commit that referenced this pull request Jun 17, 2019
doc: adjust TOC margins
PR-URL: #28075
Reviewed-By: Rich Trott <rtrott@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Trivikram Kamat <trivikr.dev@gmail.com>
Reviewed-By: Yongsheng Zhang <zyszys98@gmail.com>
@BridgeAR BridgeAR referenced this pull request Jun 17, 2019
BethGriggs added a commit that referenced this pull request Jul 9, 2019
doc: adjust TOC margins
PR-URL: #28075
Reviewed-By: Rich Trott <rtrott@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Trivikram Kamat <trivikr.dev@gmail.com>
Reviewed-By: Yongsheng Zhang <zyszys98@gmail.com>
BethGriggs added a commit that referenced this pull request Jul 17, 2019
doc: adjust TOC margins
PR-URL: #28075
Reviewed-By: Rich Trott <rtrott@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Trivikram Kamat <trivikr.dev@gmail.com>
Reviewed-By: Yongsheng Zhang <zyszys98@gmail.com>
@BethGriggs BethGriggs referenced this pull request Jul 17, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
6 participants
You can’t perform that action at this time.