Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Actual mobile toc; dark mode; speed up site loading #3950
Actual mobile toc; dark mode; speed up site loading #3950
Changes from 1 commit
18f7b8f
0da2ebf
2bbe65f
90e30af
2881b23
b161535
32dcbc5
d3b7019
f71186f
da42c69
49d898d
d2ccf7c
cb1bd36
0103af0
72da5ec
0be1310
50ba5b6
54f5e4d
a28a588
0d43af2
673a53c
49bf5b8
6716e93
c82e538
ec51bb4
182494f
09738a5
f55d1e0
1bc73ff
f9e443f
5ec4770
11c7bcb
2bb249a
f945ba9
fd41a86
2ed5d08
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
This file was deleted.
This file was deleted.