General Housekeeping / Formatting Tasks #18
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Increase the markup.tableOfContents endLevel config to 4, so that some relatively deeply nested headers still show up in the individual page's ToC. This may be especially important for future pages such as template references, where we'll be using those higher-level headers fairly extensively. Signed-off-by: Luca Zeuch <[email protected]>
Remove most of the themes that have no use beyond changing a single colour around, or are just not very nice to look at / redundant compared to other themes. Internal voting has concluded that we want to keep the Zen theme. A custom theme based on YAGPDB's colours is also being considered and should hopefully be the default in the future. Signed-off-by: Luca Zeuch <[email protected]>
Increase the margin on menu sidebar items (`#R-Topics`). Prior to this change, the arrows of said items were quite close to the edge of the viewport / screen, which makes for an... interesting experience to look at. Personal testing and consulting with one other person has concluded that 0.5em is good enough(tm). Signed-off-by: Luca Zeuch <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
This CL is a combination of three commits. Due to the nature of this
branch ("general housekeeping"), I'll be merging this via a merge commit
rather than our usual squash-merge strategy, as the commits are
logically disjoint and don't really make sense to be squashed together.
hugo: increase ToC endLevel to 4
Increase the markup.tableOfContents endLevel config to 4, so that some
relatively deeply nested headers still show up in the individual page's
ToC.
This may be especially important for future pages such as template
references, where we'll be using those higher-level headers fairly
extensively.
Signed-off-by: Luca Zeuch [email protected]
hugo: remove some useless/ugly themes
Remove most of the themes that have no use beyond changing a single
colour around, or are just not very nice to look at / redundant compared
to other themes.
Internal voting has concluded that we want to keep the Zen theme. A
custom theme based on YAGPDB's colours is also being considered and
should hopefully be the default in the future.
Signed-off-by: Luca Zeuch [email protected]
layout: increase margin on menu sidebar items
Increase the margin on menu sidebar items (
#R-Topics).Prior to this change, the arrows of said items were quite close to the
edge of the viewport / screen, which makes for an... interesting
experience to look at.
Personal testing and consulting with one other person has concluded that
0.5em is good enough(tm).
Signed-off-by: Luca Zeuch [email protected]
Terms